Revision history [back]

You're not doing something wrong. You are just asking something that hasn't been implemented. As a workaround you can look at the kernel over the fraction field:

M.change_ring(Gr.fraction_field()).kernel()

From that you may be able to glean enough information on the kernel over your laurent polynomial ring. In general, modules over polynomial rings can get pretty involved.