diff --git a/lmfdb/tests/snippet_tests/number_fields/code-1.1.1.1-sage.log b/lmfdb/tests/snippet_tests/number_fields/code-1.1.1.1-sage.log index 4f05700ad5..ce8f08ae22 100644 --- a/lmfdb/tests/snippet_tests/number_fields/code-1.1.1.1-sage.log +++ b/lmfdb/tests/snippet_tests/number_fields/code-1.1.1.1-sage.log @@ -1,44 +1,44 @@ -# snippet evaluation file generated by generate_snippet_tests.py -sage: x = polygen(QQ); K. = NumberField(x) -sage: K.defining_polynomial() +# snippet evaluation file generated by generate_snippet_tests.py +sage: x = polygen(QQ); K. = NumberField(x) +sage: K.defining_polynomial() x -sage: K.degree() +sage: K.degree() 1 -sage: K.signature() +sage: K.signature() (1, 0) -sage: K.disc() +sage: K.disc() 1 -sage: K.disc().support() +sage: K.disc().support() [] -sage: K.automorphisms() +sage: K.automorphisms() [ Ring endomorphism of Number Field in a with defining polynomial x Defn: 0 |--> 0 ] -sage: K.integral_basis() +sage: K.integral_basis() [1] -sage: K.class_group().invariants() +sage: K.class_group().invariants() () -sage: UK = K.unit_group() -sage: UK.rank() +sage: UK = K.unit_group() +sage: UK.rank() 0 -sage: UK.torsion_generator() +sage: UK.torsion_generator() u -sage: UK.fundamental_units() +sage: UK.fundamental_units() [] -sage: K.regulator() +sage: K.regulator() 1.00000000000000 -sage: x = polygen(QQ); K. = NumberField(x) -sage: DK = K.disc(); r1,r2 = K.signature(); RK = K.regulator(); RR = RK.parent() -sage: hK = K.class_number(); wK = K.unit_group().torsion_generator().order(); -sage: 2^r1 * (2*RR(pi))^r2 * RK * hK / (wK * RR(sqrt(abs(DK)))) +sage: x = polygen(QQ); K. = NumberField(x) +sage: DK = K.disc(); r1,r2 = K.signature(); RK = K.regulator(); RR = RK.parent() +sage: hK = K.class_number(); wK = K.unit_group().torsion_generator().order(); +sage: 2^r1 * (2*RR(pi))^r2 * RK * hK / (wK * RR(sqrt(abs(DK)))) 1.00000000000000 -sage: K.subfields()[1:-1] +sage: K.subfields()[1:-1] [ ] -sage: K.galois_group() +sage: K.galois_group() Galois group 1T1 (S1) with order 1 of x -sage: p = 7; [(e, pr.norm().valuation(p)) for pr,e in K.factor(p)] +sage: p = 7; [(e, pr.norm().valuation(p)) for pr,e in K.factor(p)] [(1, 1)] sage: \ No newline at end of file diff --git a/lmfdb/tests/snippet_tests/number_fields/code-2.0.4.1-sage.log b/lmfdb/tests/snippet_tests/number_fields/code-2.0.4.1-sage.log index 6ff8741bff..547987e9e7 100644 --- a/lmfdb/tests/snippet_tests/number_fields/code-2.0.4.1-sage.log +++ b/lmfdb/tests/snippet_tests/number_fields/code-2.0.4.1-sage.log @@ -1,46 +1,46 @@ -# snippet evaluation file generated by generate_snippet_tests.py -sage: x = polygen(QQ); K. = NumberField(x^2 + 1) -sage: K.defining_polynomial() +# snippet evaluation file generated by generate_snippet_tests.py +sage: x = polygen(QQ); K. = NumberField(x^2 + 1) +sage: K.defining_polynomial() x^2 + 1 -sage: K.degree() +sage: K.degree() 2 -sage: K.signature() +sage: K.signature() (0, 1) -sage: K.disc() +sage: K.disc() -4 -sage: K.disc().support() +sage: K.disc().support() [2] -sage: K.automorphisms() +sage: K.automorphisms() [ Ring endomorphism of Number Field in a with defining polynomial x^2 + 1 Defn: a |--> a, Ring endomorphism of Number Field in a with defining polynomial x^2 + 1 Defn: a |--> -a ] -sage: K.integral_basis() +sage: K.integral_basis() [1, a] -sage: K.class_group().invariants() +sage: K.class_group().invariants() () -sage: UK = K.unit_group() -sage: UK.rank() +sage: UK = K.unit_group() +sage: UK.rank() 0 -sage: UK.torsion_generator() +sage: UK.torsion_generator() u -sage: UK.fundamental_units() +sage: UK.fundamental_units() [] -sage: K.regulator() +sage: K.regulator() 1.00000000000000 -sage: x = polygen(QQ); K. = NumberField(x^2 + 1) -sage: DK = K.disc(); r1,r2 = K.signature(); RK = K.regulator(); RR = RK.parent() -sage: hK = K.class_number(); wK = K.unit_group().torsion_generator().order(); -sage: 2^r1 * (2*RR(pi))^r2 * RK * hK / (wK * RR(sqrt(abs(DK)))) +sage: x = polygen(QQ); K. = NumberField(x^2 + 1) +sage: DK = K.disc(); r1,r2 = K.signature(); RK = K.regulator(); RR = RK.parent() +sage: hK = K.class_number(); wK = K.unit_group().torsion_generator().order(); +sage: 2^r1 * (2*RR(pi))^r2 * RK * hK / (wK * RR(sqrt(abs(DK)))) 0.785398163397448 -sage: K.subfields()[1:-1] +sage: K.subfields()[1:-1] [ ] -sage: K.galois_group() +sage: K.galois_group() Galois group 2T1 (S2) with order 2 of x^2 + 1 -sage: p = 7; [(e, pr.norm().valuation(p)) for pr,e in K.factor(p)] +sage: p = 7; [(e, pr.norm().valuation(p)) for pr,e in K.factor(p)] [(1, 2)] sage: \ No newline at end of file