Elements of finitely presented module
Hello everyone,
I am computing group homology and have to deal with huge boundary matrices. The result should be a finitely presented Z-module. But I got the following problem
M = Matrix(ZZ,3,[2,1,0,0,0,0,0,0,0])
V = M.left_kernel()
N = Matrix(ZZ,2,[0,2,2,0,0,0])
W = N.image()
Q = V/W
Q.0
Then I got the warning
"repr(sage.modules.fg_pid.fgp_module.FGP_Module_class_with_category.element_class at 0x7ff4aad554b0) failed: AttributeError: 'sage.matrix.matrix_integer_sparse.Matrix_integer_sparse' object has no attribute '_clear_denom'
Do you have any idea how I can get through this? I want to know information about the generators of Q.
I can't even ask for its additive order
x = Q.0
x.additive_order()
Thank you!
It works for me (Sage 8.9.rc0 complied on Debian jessie 64bit, run from the command line).
Could you please give us some informations so that someone can try to reproduce your problem:
Works fine for me too in 8.9.rc0
You can also use the
ChainComplex
construction in Sage: given yourM
andN
, you could doC = ChainComplex({0: M, 1: N})
, where the numbers 0 and 1 indicate the dimensions indexing those matrices, and then you can ask forC.homology()
orH = C.homology(2); H.gen(0).additive_order()
, etc.