Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

sage.rings.function_field: Update # needs #35957

Merged
merged 20 commits into from
Jul 30, 2023
Merged

sage.rings.function_field: Update # needs #35957

Show file tree
Hide file tree
Changes from 8 commits
Commits
Show all changes
20 commits
Select commit Hold shift + click to select a range
d0fbcd9
sage.rings: Fix # optional
mkoeppe May 13, 2023
242d010
sage.rings: More # optional
mkoeppe Jun 2, 2023
3a8e6b5
sage.rings: More # optional
mkoeppe Jun 15, 2023
9f672a2
src/sage/rings/polynomial/polynomial_ring.py: Use '# needs sage.libs.…
mkoeppe Jul 8, 2023
74641bb
./sage -fixdoctests --distribution sagemath-categories --probe all --…
mkoeppe Jul 13, 2023
72a7277
sage.rings: Update # needs
mkoeppe Jul 14, 2023
744e1f1
./sage -fixdoctests --only-tags src/sage/rings/function_field
mkoeppe Jul 14, 2023
71382a6
sage.rings.function_field: Update from #35095
mkoeppe Jul 14, 2023
6602767
sage.rings.function_field: Update # needs using sage-fixdoctests --di…
mkoeppe Jul 15, 2023
e061052
src/sage/rings/function_field/function_field.py: Remove tag sage.ring…
mkoeppe Jul 15, 2023
9736edd
src/sage/rings/function_field/ideal.py: Remove tag sage.rings.finite_…
mkoeppe Jul 16, 2023
79d2b42
src/sage/rings/function_field: Remove tag sage.rings.finite_rings whe…
mkoeppe Jul 16, 2023
f20ddc2
src/sage/rings/function_field: Remove tag sage.rings.finite_rings whe…
mkoeppe Jul 16, 2023
d0cafb4
src/sage/rings/function_field: Fix # needs
mkoeppe Jul 16, 2023
4e02c24
src/sage/rings/function_field: Use more block # needs
mkoeppe Jul 16, 2023
17cb18b
src/sage/rings/function_field: Fix ups
mkoeppe Jul 16, 2023
3535b98
FunctionField._test_derivation: Do not test what cannot be tested
mkoeppe Jul 16, 2023
bd8b942
sage.rings.function_field: Update # needs
mkoeppe Jul 16, 2023
2f27e8c
sage.rings.function_field: Update # needs
mkoeppe Jul 17, 2023
61654eb
./sage -fixdoctests --distribution 'sagemath-modules[pari]' --only-ta…
mkoeppe Jul 17, 2023
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
36 changes: 18 additions & 18 deletions src/sage/rings/function_field/constructor.py
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -57,10 +57,10 @@ class FunctionFieldFactory(UniqueFactory):

sage: K.<x> = FunctionField(QQ); K
Rational function field in x over Rational Field
sage: L.<y> = FunctionField(GF(7)); L # optional - sage.rings.finite_rings
sage: L.<y> = FunctionField(GF(7)); L
Rational function field in y over Finite Field of size 7
sage: R.<z> = L[] # optional - sage.rings.finite_rings
sage: M.<z> = L.extension(z^7 - z - y); M # optional - sage.rings.finite_rings sage.rings.function_field
sage: R.<z> = L[]
sage: M.<z> = L.extension(z^7 - z - y); M # needs sage.rings.finite_rings sage.rings.function_field
Function field in z defined by z^7 + 6*z + 6*y

TESTS::
Expand All @@ -69,8 +69,8 @@ class FunctionFieldFactory(UniqueFactory):
sage: L.<x> = FunctionField(QQ)
sage: K is L
True
sage: M.<x> = FunctionField(GF(7)) # optional - sage.rings.finite_rings
sage: K is M # optional - sage.rings.finite_rings
sage: M.<x> = FunctionField(GF(7))
sage: K is M
False
sage: N.<y> = FunctionField(QQ)
sage: K is N
Expand Down Expand Up @@ -136,9 +136,9 @@ class FunctionFieldExtensionFactory(UniqueFactory):
sage: y2 = y*1
sage: y2 is y
False
sage: L.<w> = K.extension(x - y^2) # optional - sage.rings.function_field
sage: M.<w> = K.extension(x - y2^2) # optional - sage.rings.function_field
sage: L is M # optional - sage.rings.function_field
sage: L.<w> = K.extension(x - y^2) # needs sage.rings.function_field
sage: M.<w> = K.extension(x - y2^2) # needs sage.rings.function_field
sage: L is M # needs sage.rings.function_field
True
"""
def create_key(self,polynomial,names):
Expand All @@ -150,20 +150,20 @@ def create_key(self,polynomial,names):

sage: K.<x> = FunctionField(QQ)
sage: R.<y> = K[]
sage: L.<w> = K.extension(x - y^2) # indirect doctest # optional - sage.rings.function_field
sage: L.<w> = K.extension(x - y^2) # indirect doctest # needs sage.rings.function_field

TESTS:

Verify that :trac:`16530` has been resolved::

sage: K.<x> = FunctionField(QQ)
sage: R.<y> = K[]
sage: L.<y> = K.extension(y^2 - x) # optional - sage.rings.function_field
sage: R.<z> = L[] # optional - sage.rings.function_field
sage: M.<z> = L.extension(z - 1) # optional - sage.rings.function_field
sage: L.<y> = K.extension(y^2 - x) # needs sage.rings.function_field
sage: R.<z> = L[] # needs sage.rings.function_field
sage: M.<z> = L.extension(z - 1) # needs sage.rings.function_field
sage: R.<z> = K[]
sage: N.<z> = K.extension(z - 1) # optional - sage.rings.function_field
sage: M is N # optional - sage.rings.function_field
sage: N.<z> = K.extension(z - 1) # needs sage.rings.function_field
sage: M is N # needs sage.rings.function_field
False

"""
Expand All @@ -182,10 +182,10 @@ def create_object(self,version,key,**extra_args):

sage: K.<x> = FunctionField(QQ)
sage: R.<y> = K[]
sage: L.<w> = K.extension(x - y^2) # indirect doctest # optional - sage.rings.function_field
sage: y2 = y*1 # optional - sage.rings.function_field
sage: M.<w> = K.extension(x - y2^2) # indirect doctest # optional - sage.rings.function_field
sage: L is M # optional - sage.rings.function_field
sage: L.<w> = K.extension(x - y^2) # indirect doctest # needs sage.rings.function_field
sage: y2 = y*1
sage: M.<w> = K.extension(x - y2^2) # indirect doctest # needs sage.rings.function_field
sage: L is M # needs sage.rings.function_field
True
"""
from . import function_field_polymod, function_field_rational
Expand Down
9 changes: 5 additions & 4 deletions src/sage/rings/function_field/derivations.py
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -4,10 +4,11 @@
For global function fields, which have positive characteristics, the higher
derivation is available::

sage: K.<x> = FunctionField(GF(2)); _.<Y> = K[] # optional - sage.rings.finite_rings
sage: L.<y> = K.extension(Y^3 + x + x^3*Y) # optional - sage.rings.finite_rings sage.rings.function_field
sage: h = L.higher_derivation() # optional - sage.rings.finite_rings sage.rings.function_field
sage: h(y^2, 2) # optional - sage.rings.finite_rings sage.rings.function_field
sage: # needs sage.rings.finite_rings
sage: K.<x> = FunctionField(GF(2)); _.<Y> = K[]
sage: L.<y> = K.extension(Y^3 + x + x^3*Y) # needs sage.rings.function_field
sage: h = L.higher_derivation() # needs sage.rings.function_field
sage: h(y^2, 2) # needs sage.rings.function_field
((x^7 + 1)/x^2)*y^2 + x^3*y

AUTHORS:
Expand Down
Loading