Skip to content

Commit f9e0342

Browse files
author
Matthias Koeppe
committed
src/sage/rings/number_field: More block tags
1 parent 69d6265 commit f9e0342

File tree

2 files changed

+20
-14
lines changed

2 files changed

+20
-14
lines changed

src/sage/rings/number_field/galois_group.py

Lines changed: 12 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -98,11 +98,13 @@ def __eq__(self, other):
9898
sage: G = GaloisGroup_v1(K.absolute_polynomial().galois_group(pari_group=True), K)
9999
...DeprecationWarning: GaloisGroup_v1 is deprecated; please use GaloisGroup_v2
100100
See https://github.com/sagemath/sage/issues/28782 for details.
101-
sage: L = QQ[sqrt(2)] # needs sage.symbolic
102-
sage: H = GaloisGroup_v1(L.absolute_polynomial().galois_group(pari_group=True), L) # needs sage.symbolic
103-
sage: H == G # needs sage.symbolic
101+
102+
sage: # needs sage.symbolic
103+
sage: L = QQ[sqrt(2)]
104+
sage: H = GaloisGroup_v1(L.absolute_polynomial().galois_group(pari_group=True), L)
105+
sage: H == G
104106
False
105-
sage: H == H # needs sage.symbolic
107+
sage: H == H
106108
True
107109
sage: G == G
108110
True
@@ -127,11 +129,13 @@ def __ne__(self, other):
127129
sage: G = GaloisGroup_v1(K.absolute_polynomial().galois_group(pari_group=True), K)
128130
...DeprecationWarning: GaloisGroup_v1 is deprecated; please use GaloisGroup_v2
129131
See https://github.com/sagemath/sage/issues/28782 for details.
130-
sage: L = QQ[sqrt(2)] # needs sage.symbolic
131-
sage: H = GaloisGroup_v1(L.absolute_polynomial().galois_group(pari_group=True), L) # needs sage.symbolic
132-
sage: H != G # needs sage.symbolic
132+
133+
sage: # needs sage.symbolic
134+
sage: L = QQ[sqrt(2)]
135+
sage: H = GaloisGroup_v1(L.absolute_polynomial().galois_group(pari_group=True), L)
136+
sage: H != G
133137
True
134-
sage: H != H # needs sage.symbolic
138+
sage: H != H
135139
False
136140
sage: G != G
137141
False

src/sage/rings/number_field/number_field.py

Lines changed: 8 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -4614,27 +4614,29 @@ def _gap_init_(self):
46144614
46154615
EXAMPLES::
46164616
4617+
sage: # needs sage.libs.gap
46174618
sage: z = QQ['z'].0
46184619
sage: K.<zeta> = NumberField(z^2 - 2)
4619-
sage: K._gap_init_() # the following variable name $sage1 represents the F.base_ring() in gap and is somehow random # needs sage.libs.gap
4620+
sage: K._gap_init_() # the following variable name $sage1 represents the F.base_ring() in gap and is somehow random
46204621
'CallFuncList(function() local z,E; z:=Indeterminate($sage1,"z"); E:=AlgebraicExtension($sage1,z^2 - 2,"zeta"); return E; end,[])'
4621-
sage: k = gap(K); k # needs sage.libs.gap
4622+
sage: k = gap(K); k
46224623
<algebraic extension over the Rationals of degree 2>
4623-
sage: k.GeneratorsOfDivisionRing() # needs sage.libs.gap
4624+
sage: k.GeneratorsOfDivisionRing()
46244625
[ zeta ]
46254626
46264627
The following tests that it is possible to use a defining
46274628
polynomial in the variable ``E``, even though by default
46284629
``E`` is used as a local variable in the above GAP
46294630
``CallFuncList``::
46304631
4632+
sage: # needs sage.libs.gap
46314633
sage: P.<E> = QQ[]
46324634
sage: L.<tau> = NumberField(E^3 - 2)
4633-
sage: l = gap(L); l # needs sage.libs.gap
4635+
sage: l = gap(L); l
46344636
<algebraic extension over the Rationals of degree 3>
4635-
sage: l.GeneratorsOfField() # needs sage.libs.gap
4637+
sage: l.GeneratorsOfField()
46364638
[ tau ]
4637-
sage: gap(tau)^3 # needs sage.libs.gap
4639+
sage: gap(tau)^3
46384640
!2
46394641
"""
46404642
if not self.is_absolute():

0 commit comments

Comments
 (0)