Skip to content

Commit 6602767

Browse files
author
Matthias Koeppe
committed
sage.rings.function_field: Update # needs using sage-fixdoctests --distribution sagemath-pari, sagemath-modules, sagemath-modules[pari]
1 parent 71382a6 commit 6602767

File tree

9 files changed

+160
-156
lines changed

9 files changed

+160
-156
lines changed

‎src/sage/rings/function_field/differential.py

Lines changed: 128 additions & 124 deletions
Large diffs are not rendered by default.

‎src/sage/rings/function_field/element.pyx

Lines changed: 7 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -325,7 +325,7 @@ cdef class FunctionFieldElement(FieldElement):
325325
sage: K.<x> = FunctionField(QQ); R.<y> = K[]
326326
sage: L.<y> = K.extension(y^2 - x*y + 4*x^3); R.<z> = L[] # needs sage.rings.function_field
327327
sage: M.<z> = L.extension(z^3 - y^2*z + x) # needs sage.rings.function_field
328-
sage: x.characteristic_polynomial('W') # needs sage.modules sage.rings.function_field
328+
sage: x.characteristic_polynomial('W') # needs sage.modules
329329
W - x
330330
sage: y.characteristic_polynomial('W') # needs sage.modules sage.rings.function_field
331331
W^2 - x*W + 4*x^3
@@ -346,7 +346,7 @@ cdef class FunctionFieldElement(FieldElement):
346346
sage: K.<x> = FunctionField(QQ); R.<y> = K[]
347347
sage: L.<y> = K.extension(y^2 - x*y + 4*x^3); R.<z> = L[] # needs sage.rings.function_field
348348
sage: M.<z> = L.extension(z^3 - y^2*z + x) # needs sage.rings.function_field
349-
sage: x.minimal_polynomial('W') # needs sage.modules sage.rings.function_field
349+
sage: x.minimal_polynomial('W') # needs sage.modules
350350
W - x
351351
sage: y.minimal_polynomial('W') # needs sage.modules sage.rings.function_field
352352
W^2 - x*W + 4*x^3
@@ -477,7 +477,7 @@ cdef class FunctionFieldElement(FieldElement):
477477
478478
sage: K.<x> = FunctionField(GF(2))
479479
sage: f = 1/(x^3 + x^2 + x)
480-
sage: f.divisor() # needs sage.modules sage.rings.finite_rings
480+
sage: f.divisor() # needs sage.libs.pari sage.modules
481481
3*Place (1/x)
482482
- Place (x)
483483
- Place (x^2 + x + 1)
@@ -507,7 +507,7 @@ cdef class FunctionFieldElement(FieldElement):
507507
508508
sage: K.<x> = FunctionField(GF(2))
509509
sage: f = 1/(x^3 + x^2 + x)
510-
sage: f.divisor_of_zeros() # needs sage.modules sage.rings.finite_rings
510+
sage: f.divisor_of_zeros() # needs sage.libs.pari sage.modules
511511
3*Place (1/x)
512512
513513
::
@@ -533,7 +533,7 @@ cdef class FunctionFieldElement(FieldElement):
533533
534534
sage: K.<x> = FunctionField(GF(2))
535535
sage: f = 1/(x^3 + x^2 + x)
536-
sage: f.divisor_of_poles() # needs sage.modules sage.rings.finite_rings
536+
sage: f.divisor_of_poles() # needs sage.libs.pari sage.modules
537537
Place (x)
538538
+ Place (x^2 + x + 1)
539539
@@ -560,7 +560,7 @@ cdef class FunctionFieldElement(FieldElement):
560560
561561
sage: K.<x> = FunctionField(GF(2))
562562
sage: f = 1/(x^3 + x^2 + x)
563-
sage: f.zeros() # needs sage.modules sage.rings.finite_rings
563+
sage: f.zeros() # needs sage.libs.pari sage.modules
564564
[Place (1/x)]
565565
566566
::
@@ -580,7 +580,7 @@ cdef class FunctionFieldElement(FieldElement):
580580
581581
sage: K.<x> = FunctionField(GF(2))
582582
sage: f = 1/(x^3 + x^2 + x)
583-
sage: f.poles() # needs sage.modules sage.rings.finite_rings
583+
sage: f.poles() # needs sage.libs.pari sage.modules
584584
[Place (x), Place (x^2 + x + 1)]
585585
586586
::

‎src/sage/rings/function_field/element_rational.pyx

Lines changed: 10 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -59,7 +59,7 @@ cdef class FunctionFieldElement_rational(FunctionFieldElement):
5959
EXAMPLES::
6060
6161
sage: K.<a> = FunctionField(QQ)
62-
sage: ((a+1)/(a-1)).__pari__() # needs sage.rings.finite_rings
62+
sage: ((a+1)/(a-1)).__pari__() # needs sage.libs.pari
6363
(a + 1)/(a - 1)
6464
6565
"""
@@ -77,7 +77,7 @@ cdef class FunctionFieldElement_rational(FunctionFieldElement):
7777
sage: type(t.element()) # needs sage.rings.finite_rings
7878
<... 'sage.rings.fraction_field_FpT.FpTElement'>
7979
80-
sage: K.<t> = FunctionField(GF(131101)) # needs sage.rings.finite_rings
80+
sage: K.<t> = FunctionField(GF(131101)) # needs sage.libs.pari
8181
sage: t.element()
8282
t
8383
sage: type(t.element())
@@ -298,8 +298,8 @@ cdef class FunctionFieldElement_rational(FunctionFieldElement):
298298
-3
299299
300300
sage: K.<x> = FunctionField(GF(2))
301-
sage: p = K.places_finite()[0] # needs sage.rings.finite_rings
302-
sage: (1/x^2).valuation(p) # needs sage.rings.finite_rings
301+
sage: p = K.places_finite()[0] # needs sage.libs.pari
302+
sage: (1/x^2).valuation(p) # needs sage.libs.pari
303303
-2
304304
"""
305305
from .place import FunctionFieldPlace
@@ -328,9 +328,9 @@ cdef class FunctionFieldElement_rational(FunctionFieldElement):
328328
True
329329
330330
sage: K.<t> = FunctionField(GF(5))
331-
sage: (-t^2).is_square() # needs sage.rings.finite_rings
331+
sage: (-t^2).is_square() # needs sage.libs.pari
332332
True
333-
sage: (-t^2).sqrt() # needs sage.rings.finite_rings
333+
sage: (-t^2).sqrt() # needs sage.libs.pari
334334
2*t
335335
"""
336336
return self._x.is_square()
@@ -477,13 +477,13 @@ cdef class FunctionFieldElement_rational(FunctionFieldElement):
477477
478478
sage: K.<t> = FunctionField(QQ)
479479
sage: f = (t+1) / (t^2 - 1/3)
480-
sage: f.factor() # needs sage.rings.finite_rings
480+
sage: f.factor() # needs sage.libs.pari
481481
(t + 1) * (t^2 - 1/3)^-1
482-
sage: (7*f).factor() # needs sage.rings.finite_rings
482+
sage: (7*f).factor() # needs sage.libs.pari
483483
(7) * (t + 1) * (t^2 - 1/3)^-1
484-
sage: ((7*f).factor()).unit() # needs sage.rings.finite_rings
484+
sage: ((7*f).factor()).unit() # needs sage.libs.pari
485485
7
486-
sage: (f^3).factor() # needs sage.rings.finite_rings
486+
sage: (f^3).factor() # needs sage.libs.pari
487487
(t + 1)^3 * (t^2 - 1/3)^-3
488488
"""
489489
P = self.parent()

‎src/sage/rings/function_field/extensions.py

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -16,11 +16,11 @@
1616
sage: L # needs sage.rings.number_field
1717
Rational function field in x over Number Field in a with defining
1818
polynomial x^2 - 2 with a = 1.4142... over its base
19-
sage: d = (x^2 - 2).divisor() # needs sage.rings.number_field
20-
sage: d # needs sage.rings.number_field
19+
sage: d = (x^2 - 2).divisor() # needs sage.libs.pari
20+
sage: d # needs sage.libs.pari
2121
-2*Place (1/x)
2222
+ Place (x^2 - 2)
23-
sage: L.conorm_divisor(d) # needs sage.rings.number_field
23+
sage: L.conorm_divisor(d) # needs sage.libs.pari sage.rings.number_field
2424
-2*Place (1/x)
2525
+ Place (x - a)
2626
+ Place (x + a)

‎src/sage/rings/function_field/function_field.py

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -121,7 +121,7 @@
121121
122122
TESTS::
123123
124-
sage: TestSuite(J).run() # needs sage.rings.finite_rings
124+
sage: TestSuite(J).run()
125125
sage: TestSuite(K).run(max_runs=256) # long time (10s) # needs sage.rings.number_field
126126
sage: TestSuite(L).run(max_runs=8) # long time (25s) # needs sage.rings.function_field sage.rings.number_field
127127
sage: TestSuite(M).run(max_runs=8) # long time (35s) # needs sage.rings.finite_rings sage.rings.function_field

‎src/sage/rings/function_field/function_field_rational.py

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -905,7 +905,7 @@ def places(self, degree=1):
905905
EXAMPLES::
906906
907907
sage: F.<x> = FunctionField(GF(5))
908-
sage: F.places() # needs sage.rings.finite_rings
908+
sage: F.places() # needs sage.libs.pari
909909
[Place (1/x),
910910
Place (x),
911911
Place (x + 1),
@@ -929,7 +929,7 @@ def places_finite(self, degree=1):
929929
EXAMPLES::
930930
931931
sage: F.<x> = FunctionField(GF(5))
932-
sage: F.places_finite() # needs sage.rings.finite_rings
932+
sage: F.places_finite() # needs sage.libs.pari
933933
[Place (x), Place (x + 1), Place (x + 2), Place (x + 3), Place (x + 4)]
934934
"""
935935
return list(self._places_finite(degree))

‎src/sage/rings/function_field/ideal_rational.py

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -207,7 +207,7 @@ def is_prime(self):
207207
sage: K.<x> = FunctionField(QQ)
208208
sage: O = K.maximal_order()
209209
sage: I = O.ideal(x^3 + x^2)
210-
sage: [f.is_prime() for f,m in I.factor()] # needs sage.rings.finite_rings
210+
sage: [f.is_prime() for f,m in I.factor()] # needs sage.libs.pari
211211
[True, True]
212212
"""
213213
return self._gen.denominator() == 1 and self._gen.numerator().is_prime()
@@ -296,7 +296,7 @@ def valuation(self, ideal):
296296
sage: F.<x> = FunctionField(QQ)
297297
sage: O = F.maximal_order()
298298
sage: I = O.ideal(x^2*(x^2+x+1)^3)
299-
sage: [f.valuation(I) for f,_ in I.factor()] # needs sage.rings.finite_rings
299+
sage: [f.valuation(I) for f,_ in I.factor()] # needs sage.libs.pari
300300
[2, 3]
301301
"""
302302
if not self.is_prime():
@@ -319,13 +319,13 @@ def _valuation(self, ideal):
319319
sage: F.<x> = FunctionField(QQ)
320320
sage: O = F.maximal_order()
321321
sage: p = O.ideal(x)
322-
sage: p.valuation(O.ideal(x + 1)) # indirect doctest # needs sage.rings.finite_rings
322+
sage: p.valuation(O.ideal(x + 1)) # indirect doctest # needs sage.libs.pari
323323
0
324-
sage: p.valuation(O.ideal(x^2)) # indirect doctest # needs sage.rings.finite_rings
324+
sage: p.valuation(O.ideal(x^2)) # indirect doctest # needs sage.libs.pari
325325
2
326-
sage: p.valuation(O.ideal(1/x^3)) # indirect doctest # needs sage.rings.finite_rings
326+
sage: p.valuation(O.ideal(1/x^3)) # indirect doctest # needs sage.libs.pari
327327
-3
328-
sage: p.valuation(O.ideal(0)) # indirect doctest # needs sage.rings.finite_rings
328+
sage: p.valuation(O.ideal(0)) # indirect doctest # needs sage.libs.pari
329329
+Infinity
330330
"""
331331
return ideal.gen().valuation(self.gen())

‎src/sage/rings/function_field/order_basis.py

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -179,7 +179,7 @@ def ideal_with_gens_over_base(self, gens):
179179
sage: O = L.equation_order() # needs sage.rings.function_field
180180
sage: I = O.ideal_with_gens_over_base([y]); I # needs sage.rings.function_field
181181
Ideal (y) of Order in Function field in y defined by y^2 + 6*x^3 + 6
182-
sage: y in I # needs sage.rings.function_field
182+
sage: y in I
183183
True
184184
sage: y^2 in I # needs sage.rings.function_field
185185
False
@@ -476,7 +476,7 @@ def ideal_with_gens_over_base(self, gens):
476476
sage: O = L.equation_order() # needs sage.rings.function_field
477477
sage: I = O.ideal_with_gens_over_base([y]); I # needs sage.rings.function_field
478478
Ideal (y) of Order in Function field in y defined by y^2 + 6*x^3 + 6
479-
sage: y in I # needs sage.rings.function_field
479+
sage: y in I
480480
True
481481
sage: y^2 in I # needs sage.rings.function_field
482482
False

‎src/sage/rings/function_field/place.py

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -258,7 +258,7 @@ def __radd__(self, other):
258258
259259
sage: k.<a> = GF(2)
260260
sage: K.<x> = FunctionField(k)
261-
sage: sum(K.places_finite()) # needs sage.rings.finite_rings
261+
sage: sum(K.places_finite()) # needs sage.libs.pari
262262
Place (x) + Place (x + 1)
263263
264264
Note that this does not work, as wanted::

0 commit comments

Comments
 (0)