Nemo.jl
Nemo.jl copied to clipboard
problem with inverting a matrix over a residue class ring
Currently the following happens.
julia> using Nemo
Welcome to Nemo version 0.10.3
Nemo comes with absolutely no warranty whatsoever
julia> r = Nemo.ResidueRing( Nemo.ZZ, 6 );
julia> m = matrix( r, 2, 2, [ 4, 3, 3, 4 ] )
[4 3]
[3 4]
julia> isone( m * m )
true
julia> inv( m )
Flint exception (Impossible inverse):
Cannot invert modulo 2*0
ERROR: Problem in the Flint-Subsystem
Stacktrace:
[1] error(::String) at ./error.jl:33
[2] flint_abort() at .../packages/Nemo/XNd31/src/Nemo.jl:99
[3] inv(::nmod_mat) at .../packages/Nemo/XNd31/src/flint/nmod_mat.jl:428
[4] top-level scope at none:0