Nemo.jl icon indicating copy to clipboard operation
Nemo.jl copied to clipboard

problem with inverting a matrix over a residue class ring

Open ThomasBreuer opened this issue 5 years ago • 5 comments

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

ThomasBreuer avatar Nov 20 '18 13:11 ThomasBreuer