Skip to content

Commit 19222fb

Browse files
author
Matthias Koeppe
committed
./sage -fixdoctests --distribution sagemath-categories --probe sage.rings.finite_rings --only-tags src/sage/rings/finite_rings
1 parent c0118ba commit 19222fb

File tree

8 files changed

+421
-403
lines changed

8 files changed

+421
-403
lines changed

‎src/sage/rings/finite_rings/finite_field_base.pyx

Lines changed: 5 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -226,13 +226,14 @@ cdef class FiniteField(Field):
226226
227227
EXAMPLES::
228228
229-
sage: GF(97,'a')._magma_init_(magma) # optional - magma
229+
sage: # optional - magma
230+
sage: GF(97,'a')._magma_init_(magma)
230231
'GF(97)'
231-
sage: GF(9,'a')._magma_init_(magma) # optional - magma
232+
sage: GF(9,'a')._magma_init_(magma)
232233
'SageCreateWithNames(ext<GF(3)|_sage_[...]![GF(3)!2,GF(3)!2,GF(3)!1]>,["a"])'
233-
sage: magma(GF(9,'a')) # optional - magma
234+
sage: magma(GF(9,'a'))
234235
Finite field of size 3^2
235-
sage: magma(GF(9,'a')).1 # optional - magma
236+
sage: magma(GF(9,'a')).1
236237
a
237238
"""
238239
if self.degree() == 1:

‎src/sage/rings/finite_rings/finite_field_prime_modn.py

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -109,10 +109,10 @@ def _coerce_map_from_(self, S):
109109
1
110110
111111
sage: # needs sage.rings.finite_rings sage.rings.number_field
112-
sage: K.<w> = QuadraticField(337) # See trac 11319 # needs sage.rings.number_field
113-
sage: pp = K.ideal(13).factor()[0][0] # needs sage.rings.number_field
114-
sage: RF13 = K.residue_field(pp) # needs sage.rings.number_field
115-
sage: RF13.hom([GF(13)(1)]) # needs sage.rings.number_field
112+
sage: K.<w> = QuadraticField(337) # See trac 11319
113+
sage: pp = K.ideal(13).factor()[0][0]
114+
sage: RF13 = K.residue_field(pp)
115+
sage: RF13.hom([GF(13)(1)])
116116
Ring morphism:
117117
From: Residue field of Fractional ideal (-w - 18)
118118
To: Finite Field of size 13

‎src/sage/rings/finite_rings/integer_mod.pyx

Lines changed: 14 additions & 12 deletions
Original file line numberDiff line numberDiff line change
@@ -658,13 +658,14 @@ cdef class IntegerMod_abstract(FiniteRingElement):
658658
659659
A bigger example::
660660
661-
sage: FF = FiniteField(2^32 + 61) # needs sage.rings.finite_rings
662-
sage: c = FF(4294967356) # needs sage.rings.finite_rings
663-
sage: x = FF(2) # needs sage.rings.finite_rings
664-
sage: a = c.log(x) # needs sage.rings.finite_rings
665-
sage: a # needs sage.rings.finite_rings
661+
sage: # needs sage.rings.finite_rings
662+
sage: FF = FiniteField(2^32 + 61)
663+
sage: c = FF(4294967356)
664+
sage: x = FF(2)
665+
sage: a = c.log(x)
666+
sage: a
666667
2147483678
667-
sage: x^a # needs sage.rings.finite_rings
668+
sage: x^a
668669
4294967356
669670
670671
An example with a highly composite modulus::
@@ -1179,11 +1180,12 @@ cdef class IntegerMod_abstract(FiniteRingElement):
11791180
11801181
::
11811182
1182-
sage: t = FiniteField(next_prime(2^100))(4) # needs sage.rings.finite_rings
1183-
sage: t.sqrt(extend=False, all=True) # needs sage.rings.finite_rings
1183+
sage: # needs sage.rings.finite_rings
1184+
sage: t = FiniteField(next_prime(2^100))(4)
1185+
sage: t.sqrt(extend=False, all=True)
11841186
[2, 1267650600228229401496703205651]
1185-
sage: t = FiniteField(next_prime(2^100))(2) # needs sage.rings.finite_rings
1186-
sage: t.sqrt(extend=False, all=True) # needs sage.rings.finite_rings
1187+
sage: t = FiniteField(next_prime(2^100))(2)
1188+
sage: t.sqrt(extend=False, all=True)
11871189
[]
11881190
11891191
Modulo a power of 2::
@@ -1931,8 +1933,8 @@ cdef class IntegerMod_abstract(FiniteRingElement):
19311933
EXAMPLES::
19321934
19331935
sage: F.<a> = GF(13)
1934-
sage: V = F.vector_space(map=False)
1935-
sage: V(a)
1936+
sage: V = F.vector_space(map=False) # needs sage.modules
1937+
sage: V(a) # needs sage.modules
19361938
(1)
19371939
"""
19381940
return self.parent().vector_space(map=False)([self])

‎src/sage/rings/finite_rings/integer_mod_ring.py

Lines changed: 10 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -639,13 +639,14 @@ def multiplicative_subgroups(self):
639639
640640
EXAMPLES::
641641
642-
sage: Integers(5).multiplicative_subgroups() # needs sage.groups
642+
sage: # needs sage.groups
643+
sage: Integers(5).multiplicative_subgroups()
643644
((2,), (4,), ())
644-
sage: Integers(15).multiplicative_subgroups() # needs sage.groups
645+
sage: Integers(15).multiplicative_subgroups()
645646
((11, 7), (11, 4), (2,), (11,), (14,), (7,), (4,), ())
646-
sage: Integers(2).multiplicative_subgroups() # needs sage.groups
647+
sage: Integers(2).multiplicative_subgroups()
647648
((),)
648-
sage: len(Integers(341).multiplicative_subgroups()) # needs sage.groups
649+
sage: len(Integers(341).multiplicative_subgroups())
649650
80
650651
651652
TESTS::
@@ -960,13 +961,14 @@ def square_roots_of_one(self):
960961
961962
::
962963
963-
sage: v = Integers(9*5).square_roots_of_one(); v # needs sage.libs.pari
964+
sage: # needs sage.libs.pari
965+
sage: v = Integers(9*5).square_roots_of_one(); v
964966
(1, 19, 26, 44)
965-
sage: [x^2 for x in v] # needs sage.libs.pari
967+
sage: [x^2 for x in v]
966968
[1, 1, 1, 1]
967-
sage: v = Integers(9*5*8).square_roots_of_one(); v # needs sage.libs.pari
969+
sage: v = Integers(9*5*8).square_roots_of_one(); v
968970
(1, 19, 71, 89, 91, 109, 161, 179, 181, 199, 251, 269, 271, 289, 341, 359)
969-
sage: [x^2 for x in v] # needs sage.libs.pari
971+
sage: [x^2 for x in v]
970972
[1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1]
971973
"""
972974
try:

0 commit comments

Comments
 (0)