Getting the extra information from higher levels of verbose in Magma interface

asked 2022-04-20 09:38:09 +0200

I want to compute the minimum distance of a code in SageMath using Magma's interface. I'm also interested in the information showed by Magma while computing it with a higher level of verbose: it shows the estimated time for the computation and the current bounds.

I use magma.SetVerbose("Code",true) to set the verbose level to 1, but when computing the minimum distance SageMath doesn't show anything until it finishes the computation (and then it only gives the result).

edit retag flag offensive close merge delete