On Tuesday, April 7, 2020 at 11:42:41 PM UTC-7, vdelecroix wrote:
>
> Hi Nils,
>
> How do you make the Weil restriction happen? Is this the following
>
>Let K = Q[a] be of degree d. For each row v of the matrix, make
>d new rows for the new matrix with a, a*v, a^2*v, ..., a^(d-1)*v
>
Le 08/04/2020 à 01:03, Nils Bruin a écrit :
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
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
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.
You might also look into what Pari is capable of, since we're getting our
number fields
