def _element_constructor_(self, x):
"""
TESTS::
sage: K2 = GF(2)
sage: K3 = GF(3)
sage: K8 = GF(8,'a')
sage: K8(5) # indirect doctest
1
sage: K8('a+1')
a + 1
sage: K8(K2(1))
1
The following test refers to :trac:`6468`::
sage: class foo_parent(Parent):
....: pass
sage: class foo(RingElement):
....: def lift(self):
....: raise PariError
sage: P = foo_parent()
sage: F = foo(P)
sage: GF(2)(F)
Traceback (most recent call last):
...
TypeError: error coercing to finite field
The following test refers to :trac:`8970`::
sage: R = Zmod(13); a = R(2)
sage: a == R(gap(a))
True
libgap interface (:trac:`23714`)::
sage: a = libgap.eval("Z(13)^2")
sage: a.sage()
4
sage: libgap(a.sage()) == a
True
"""
try:
return integer_mod.IntegerMod(self, x)
except (NotImplementedError, PariError):
raise TypeError("error coercing to finite field")
except TypeError:
if sage.interfaces.gap.is_GapElement(x):
from sage.interfaces.gap import intmod_gap_to_sage
y = intmod_gap_to_sage(x)
return integer_mod.IntegerMod(self, y)
raise # Continue up with the original TypeError
def _element_constructor_(self, x):
"""
TESTS::
sage: K2 = GF(2)
sage: K3 = GF(3)
sage: K8 = GF(8,'a')
sage: K8(5) # indirect doctest
1
sage: K8('a+1')
a + 1
sage: K8(K2(1))
1
The following test refers to :trac:`6468`::
sage: class foo_parent(Parent):
....: pass
sage: class foo(RingElement):
....: def lift(self):
....: raise PariError
sage: P = foo_parent()
sage: F = foo(P)
sage: GF(2)(F)
Traceback (most recent call last):
...
TypeError: error coercing to finite field
The following test refers to :trac:`8970`::
sage: R = Zmod(13); a = R(2)
sage: a == R(gap(a))
True
libgap interface (:trac:`23714`)::
sage: a = libgap.eval("Z(13)^2")
sage: a.sage()
4
sage: libgap(a.sage()) == a
True
"""
try:
return integer_mod.IntegerMod(self, x)
except (NotImplementedError, PariError):
raise TypeError("error coercing to finite field")
except TypeError:
if sage.interfaces.gap.is_GapElement(x):
from sage.interfaces.gap import intmod_gap_to_sage
y = intmod_gap_to_sage(x)
return integer_mod.IntegerMod(self, y)
raise # Continue up with the original TypeError
def _element_constructor_(self, x):
"""
TESTS::
sage: K2 = GF(2)
sage: K3 = GF(3)
sage: K8 = GF(8,'a')
sage: K8(5) # indirect doctest
1
sage: K8('a+1')
a + 1
sage: K8(K2(1))
1
The following test refers to Trac Ticket number 6468::
sage: class foo_parent(Parent):
... pass
sage: class foo(RingElement):
... def lift(self):
... raise PariError
sage: P = foo_parent()
sage: F = foo(P)
sage: GF(2)(F)
Traceback (most recent call last):
...
TypeError: error coercing to finite field
The following test refers to ticket #8970::
sage: R = Zmod(13); a = R(2)
sage: a == R(gap(a))
True
"""
try:
return integer_mod.IntegerMod(self, x)
except (NotImplementedError, PariError):
raise TypeError, "error coercing to finite field"
except TypeError:
if sage.interfaces.all.is_GapElement(x):
from sage.interfaces.gap import intmod_gap_to_sage
try:
y = intmod_gap_to_sage(x)
return self.coerce(y)
except (ValueError, IndexError, TypeError), msg:
raise TypeError, "%s\nerror coercing to finite field" % msg
else:
raise
def _element_constructor_(self, x):
"""
TESTS::
sage: K2 = GF(2)
sage: K3 = GF(3)
sage: K8 = GF(8,'a')
sage: K8(5) # indirect doctest
1
sage: K8('a+1')
a + 1
sage: K8(K2(1))
1
The following test refers to :trac:`6468`::
sage: class foo_parent(Parent):
... pass
sage: class foo(RingElement):
... def lift(self):
... raise PariError
sage: P = foo_parent()
sage: F = foo(P)
sage: GF(2)(F)
Traceback (most recent call last):
...
TypeError: error coercing to finite field
The following test refers to :trac:`8970`::
sage: R = Zmod(13); a = R(2)
sage: a == R(gap(a))
True
"""
try:
return integer_mod.IntegerMod(self, x)
except (NotImplementedError, PariError):
raise TypeError("error coercing to finite field")
except TypeError:
if sage.interfaces.gap.is_GapElement(x):
from sage.interfaces.gap import intmod_gap_to_sage
try:
y = intmod_gap_to_sage(x)
return self.coerce(y)
except (ValueError, IndexError, TypeError) as msg:
raise TypeError(
"{}\nerror coercing to finite field".format(msg))
raise # Continue up with the original TypeError
def _element_constructor_(self, x):
"""
TESTS::
sage: K2 = GF(2)
sage: K3 = GF(3)
sage: K8 = GF(8,'a')
sage: K8(5) # indirect doctest
1
sage: K8('a+1')
a + 1
sage: K8(K2(1))
1
The following test refers to Trac Ticket number 6468::
sage: class foo_parent(Parent):
... pass
sage: class foo(RingElement):
... def lift(self):
... raise PariError
sage: P = foo_parent()
sage: F = foo(P)
sage: GF(2)(F)
Traceback (most recent call last):
...
TypeError: error coercing to finite field
The following test refers to ticket #8970::
sage: R = Zmod(13); a = R(2)
sage: a == R(gap(a))
True
"""
try:
return integer_mod.IntegerMod(self, x)
except (NotImplementedError, PariError):
raise TypeError, "error coercing to finite field"
except TypeError:
if sage.interfaces.all.is_GapElement(x):
from sage.interfaces.gap import intmod_gap_to_sage
try:
y = intmod_gap_to_sage(x)
return self.coerce(y)
except (ValueError, IndexError, TypeError), msg:
raise TypeError, "%s\nerror coercing to finite field" % msg
else:
raise
def _element_constructor_(self, x):
"""
TESTS::
sage: K2 = GF(2)
sage: K3 = GF(3)
sage: K8 = GF(8,'a')
sage: K8(5) # indirect doctest
1
sage: K8('a+1')
a + 1
sage: K8(K2(1))
1
The following test refers to :trac:`6468`::
sage: class foo_parent(Parent):
... pass
sage: class foo(RingElement):
... def lift(self):
... raise PariError
sage: P = foo_parent()
sage: F = foo(P)
sage: GF(2)(F)
Traceback (most recent call last):
...
TypeError: error coercing to finite field
The following test refers to :trac:`8970`::
sage: R = Zmod(13); a = R(2)
sage: a == R(gap(a))
True
"""
try:
return integer_mod.IntegerMod(self, x)
except (NotImplementedError, PariError):
raise TypeError("error coercing to finite field")
except TypeError:
if sage.interfaces.gap.is_GapElement(x):
from sage.interfaces.gap import intmod_gap_to_sage
try:
y = intmod_gap_to_sage(x)
return self.coerce(y)
except (ValueError, IndexError, TypeError) as msg:
raise TypeError("{}\nerror coercing to finite field".format(msg))
raise # Continue up with the original TypeError
