AlgebraicExtensionFunctor should not make an assumption on the ordering of parameters

[saraedum]

Currently, AlgebraicExtensionFunctor assumes that the .extension() function of a field takes the generators' names as the second argument. This is not always the case:

sage: K = Qp(3,3)
sage: R.<a> = K[]
sage: AEF = sage.categories.pushout.AlgebraicExtensionFunctor([a^2-3], ['a'], [None])
sage: AEF(K)
ValueError: must specify name of generator of extension

The attached patch resolves this problem.

Component: categories

Keywords: sd59

Author: Julian Rueth

Branch/Commit: 717ce89

Reviewer: Peter Bruin

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

[saraedum]

Attachment: trac_13538.patch.gz

[saraedum]

Branch: u/saraedum/ticket/13538

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. New commits:

76af209

Cleaned up docstring for #13538

[sagetrac-git]

Commit: 76af209

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. This was a forced push. New commits:

717ce89

Trac 13538: AlgebraicExtensionFunctor does not make an assumption on the args order

[sagetrac-git]

Changed commit from 76af209 to 717ce89

[saraedum]

Changed keywords from none to sd59

[pjbruin]

comment:10

Looks good and the patchbot is happy.

[pjbruin]

Reviewer: Peter Bruin

[vbraun]

Changed branch from u/saraedum/ticket/13538 to 717ce89