MR33: Relative Extensions of Finite Fields #28485

Open f588ca1e-f96a-4dea-804d-c55eab873dab opened 5 years ago

supersedes #23316.

The GitLab MR is here: https://gitlab.com/sagemath/sage/-/merge_requests/33

Depends on #21413 Depends on #26105 Depends on #33373

Component: finite rings

Keywords: padicBordeaux

Author: Julian Rüth

Issue created by migration from https://trac.sagemath.org/ticket/28485

comment:30

New commits added to merge request. I updated the commit SHA-1. New commits:

`eef22fd`	`Fixing doctests`
`4e4fdb3`	`Merge branch 'finite-field-relative' of gitlab.com:sagemath/dev/sage into finite-field-relative`

comment:31

New commits added to merge request. I updated the commit SHA-1. New commits:

6d45965 Restore old behavior of augmented valuations

Changed commit from 4e4fdb3 to 6d45965

comment:32

New commits added to merge request. I updated the commit SHA-1. New commits:

4be14a1 Fix embeddings between trivial extensions

Changed commit from 6d45965 to 4be14a1

Changed commit from 4be14a1 to 9ebe027

comment:33

New commits added to merge request. I updated the commit SHA-1. New commits:

`285cac9`	`Make more tests pass, speed up sections of finite field embeddings`
`9ebe027`	`Merge branch 'finite-field-relative' of gitlab.com:sagemath/dev/sage into finite-field-relative`

comment:34

New commits added to merge request. I updated the commit SHA-1. New commits:

fcda115 Trivial fixes in doctests

Changed commit from 9ebe027 to fcda115

comment:35

New commits added to merge request. I updated the commit SHA-1. New commits:

`6c3c6e9`	`Allow specifying backend in GF`
`edc78b9`	`Merge branch 'finite-field-relative' of gitlab.com:sagemath/dev/sage into finite-field-relative`

Changed commit from fcda115 to edc78b9

comment:36

New commits added to merge request. I updated the commit SHA-1. New commits:

f93f973 Working on making sections work

Changed commit from edc78b9 to f93f973

comment:37

New commits added to merge request. I updated the commit SHA-1. New commits:

b1c2bde Working on better support for trivial extensions and susing the category framework for inverse image

Changed commit from f93f973 to b1c2bde

Changed branch from u/roed/mrs/33/finite-field-relative to u/caruso/finite-field-relative

comment:38

Merge with sage 9.6.beta1

Changed commit from b1c2bde to 4174c33

comment:39

New commits added to merge request. I updated the commit SHA-1. This was a forced push. Last 10 new commits:

`285cac9`	`Make more tests pass, speed up sections of finite field embeddings`
`6d45965`	`Restore old behavior of augmented valuations`
`4be14a1`	`Fix embeddings between trivial extensions`
`9ebe027`	`Merge branch 'finite-field-relative' of gitlab.com:sagemath/dev/sage into finite-field-relative`
`6c3c6e9`	`Allow specifying backend in GF`
`fcda115`	`Trivial fixes in doctests`
`edc78b9`	`Merge branch 'finite-field-relative' of gitlab.com:sagemath/dev/sage into finite-field-relative`
`f93f973`	`Working on making sections work`
`b1c2bde`	`Working on better support for trivial extensions and susing the category framework for inverse image`
`35f7e93`	`Fixing some doctests, fix bug in polynomial constructor`

Changed commit from 4174c33 to 35f7e93

Changed commit from 35f7e93 to 9e723d0

comment:40

New commits added to merge request. I updated the commit SHA-1. New commits:

9e723d0 Fix bug in constructor

Changed commit from 9e723d0 to a8e2ed3

comment:41

New commits added to merge request. I updated the commit SHA-1. New commits:

`600f372`	`Merge remote-tracking branch 'origin/develop' into finite-field-relative`
`c8f6a67`	`Make backend morphisms in ring extensions explicit`
`a8e2ed3`	`Make coercion/conversion of ring extensions and their backend explicit`

comment:42

New commits added to merge request. I updated the commit SHA-1. New commits:

`0c5f0ba`	`Fixing bugs and test`
`434cc97`	`In progress trying to make things deterministic`
`689538c`	`Merge branch 'finite-field-relative' of gitlab.com:sagemath/dev/sage into finite-field-relative`

Changed commit from a8e2ed3 to 689538c

comment:43

New commits added to merge request. I updated the commit SHA-1. New commits:

4d8404c Implement _vector_

Changed commit from 689538c to 4d8404c

comment:44

New commits added to merge request. I updated the commit SHA-1. New commits:

`57b869d`	`Fix minpoly calls in doctests`
`3407788`	`Fix doctest output for changed latex rendering`

Changed commit from 4d8404c to 3407788

comment:45

New commits added to merge request. I updated the commit SHA-1. New commits:

1a3bc10 Adapt valuation code to use relative field extensions sometimes

Changed commit from 3407788 to 1a3bc10

Changed commit from 1a3bc10 to c44129b

comment:46

New commits added to merge request. I updated the commit SHA-1. New commits:

c44129b Fix doctest output for residue rings

comment:47

New commits added to merge request. I updated the commit SHA-1. New commits:

b7179f7 Do not test for exact factorization

Changed commit from c44129b to b7179f7

comment:48

New commits added to merge request. I updated the commit SHA-1. New commits:

72668c9 Fix error reporting for ring extension gens()

Changed commit from b7179f7 to 72668c9

comment:49

New commits added to merge request. I updated the commit SHA-1. New commits:

18ea144 Fixing some finite field tests

Changed commit from 72668c9 to 18ea144

Changed commit from 18ea144 to 1f7d77e

comment:50

New commits added to merge request. I updated the commit SHA-1. New commits:

1f7d77e Making tests pass

Changed commit from 1f7d77e to 3b17346

comment:51

New commits added to merge request. I updated the commit SHA-1. New commits:

3b17346 Testing gitlab comments

comment:52

New commits added to merge request. I updated the commit SHA-1. New commits:

`1f6f02b`	`Fixing various subtle bugs`
`e5e97de`	`Merge branch 'finite-field-relative' of gitlab.com:sagemath/dev/sage into finite-field-relative`

Changed commit from 3b17346 to e5e97de

Changed commit from e5e97de to 4174c33

New commits:

4174c33 Merge branch 'develop' into t/28485/mrs/33/finite-field-relative

Changed dependencies from #21413, #26105 to #21413, #26105, #33373

comment:54

New commits added to merge request. I updated the commit SHA-1. This was a forced push. Last 10 new commits:

`c44129b`	`Fix doctest output for residue rings`
`b7179f7`	`Do not test for exact factorization`
`72668c9`	`Fix error reporting for ring extension gens()`
`18ea144`	`Fixing some finite field tests`
`1f7d77e`	`Making tests pass`
`1f6f02b`	`Fixing various subtle bugs`
`3b17346`	`Testing gitlab comments`
`e5e97de`	`Merge branch 'finite-field-relative' of gitlab.com:sagemath/dev/sage into finite-field-relative`
`03a15e1`	`Convert result of multivariate polynomial evaluation into correct parent`
`8185765`	`Merge branch 't/33373/incorrect_parent_when_evaluating_constant_multivariate_polynomial' into finite-field-relative`

sagemath / sage

MR33: Relative Extensions of Finite Fields #28485