On Tuesday, April 7, 2020 at 3:10:00 PM UTC-7, David Roe wrote: > > For matrices over Q there's > sage.matrix.misc.matrix_rational_echelon_form_multimodular, which is the > default for matrices with more than 25 rows/columns. It should be possible > to adapt this to number fields. > > In particular, by Weil restriction you can consider your matrix as a matrix over Q. You'll get a subspace of Q^(20*30), but the multimodular methods implemented for that should be able to get you good rank information fairly quickly: the rank over K should just be that rank divided by 20 (if it doesn't come out as a multiple of 20, something went wrong).
-- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/100dd3e9-e75b-420b-8d88-ee250b145dbc%40googlegroups.com.
