@@ -53,16 +53,16 @@ cdef class FiniteFieldHomomorphism_prime(FiniteFieldHomomorphism_generic):
53
53
54
54
sage: from sage.rings.finite_rings.hom_prime_finite_field import FiniteFieldHomomorphism_prime
55
55
sage: k = GF(3)
56
- sage: K.<T> = GF(3^4) # optional - sage.rings.finite_rings
57
- sage: f = FiniteFieldHomomorphism_prime(Hom(k, K)); f # optional - sage.rings.finite_rings
56
+ sage: K.<T> = GF(3^4) # needs sage.rings.finite_rings
57
+ sage: f = FiniteFieldHomomorphism_prime(Hom(k, K)); f # needs sage.rings.finite_rings
58
58
Ring morphism:
59
59
From: Finite Field of size 3
60
60
To: Finite Field in T of size 3^4
61
61
Defn: 1 |--> 1
62
62
63
- sage: k.<t> = GF(3^2) # optional - sage.rings.finite_rings
64
- sage: K.<T> = GF(3^4) # optional - sage.rings.finite_rings
65
- sage: f = FiniteFieldHomomorphism_prime(Hom(k, K)); f # optional - sage.rings.finite_rings
63
+ sage: k.<t> = GF(3^2) # needs sage.rings.finite_rings
64
+ sage: K.<T> = GF(3^4) # needs sage.rings.finite_rings
65
+ sage: f = FiniteFieldHomomorphism_prime(Hom(k, K)); f # needs sage.rings.finite_rings
66
66
Traceback (most recent call last):
67
67
...
68
68
TypeError: The domain is not a finite prime field
@@ -81,11 +81,11 @@ cdef class FiniteFieldHomomorphism_prime(FiniteFieldHomomorphism_generic):
81
81
82
82
sage: from sage.rings.finite_rings.hom_prime_finite_field import FiniteFieldHomomorphism_prime
83
83
sage: k = GF(3)
84
- sage: K.<t> = GF(3^5) # optional - sage.rings.finite_rings
85
- sage: f = FiniteFieldHomomorphism_prime(Hom(k, K)) # optional - sage.rings.finite_rings
86
- sage: a = f(4); a
84
+ sage: K.<t> = GF(3^5) # needs sage.rings.finite_rings
85
+ sage: f = FiniteFieldHomomorphism_prime(Hom(k, K)) # needs sage.rings.finite_rings
86
+ sage: a = f(4); a # needs sage.rings.finite_rings
87
87
1
88
- sage: a.parent()
88
+ sage: a.parent() # needs sage.rings.finite_rings
89
89
Finite Field in t of size 3^5
90
90
"""
91
91
return self ._codomain._element_constructor(x)
0 commit comments