def __init__(self, name):
self.__name = name
self.__coerce_name = '_' + name.lower() + '_'
self.__seq = -1
self._available_vars = []
self._seed = None
ParentWithBase.__init__(self, self)
def __init__(self, name):
self.__name = name
self.__coerce_name = '_' + name.lower() + '_'
self.__seq = -1
self._available_vars = []
self._seed = None
ParentWithBase.__init__(self, self)
def __init__(self, number_field):
"""
See ``NFCusps`` for full documentation.
EXAMPLES::
sage: k.<a> = NumberField(x^3 + x^2 + 13)
sage: kCusps = NFCusps(k); kCusps
Set of all cusps of Number Field in a with defining polynomial x^3 + x^2 + 13
"""
self.__number_field = number_field
ParentWithBase.__init__(self, self)
def __init__(self):
r"""
The set of cusps, i.e. `\mathbb{P}^1(\QQ)`.
EXAMPLES::
sage: C = sage.modular.cusps.Cusps_class() ; C
Set P^1(QQ) of all cusps
sage: Cusps == C
True
"""
ParentWithBase.__init__(self, self)
def __init__(self):
r"""
The set of cusps, i.e. `\mathbb{P}^1(\QQ)`.
EXAMPLES::
sage: C = sage.modular.cusps.Cusps_class() ; C
Set P^1(QQ) of all cusps
sage: Cusps == C
True
"""
ParentWithBase.__init__(self, self)
def __init__(self, number_field):
"""
See ``NFCusps`` for full documentation.
EXAMPLES::
sage: k.<a> = NumberField(x^3 + x^2 + 13)
sage: kCusps = NFCusps(k); kCusps
Set of all cusps of Number Field in a with defining polynomial x^3 + x^2 + 13
"""
self.__number_field = number_field
ParentWithBase.__init__(self, self)
def __init__(self, base_ring):
"""
INPUT:
- ``R`` -- a ring (default: ZZ).
EXAMPLES::
sage: FormalSums(ZZ)
Abelian Group of all Formal Finite Sums over Integer Ring
sage: FormalSums(GF(7))
Abelian Group of all Formal Finite Sums over Finite Field of size 7
"""
ParentWithBase.__init__(self, base_ring)
def __init__(self, base_ring):
"""
INPUT:
- ``R`` -- a ring (default: ZZ).
EXAMPLES::
sage: FormalSums(ZZ)
Abelian Group of all Formal Finite Sums over Integer Ring
sage: FormalSums(GF(7))
Abelian Group of all Formal Finite Sums over Finite Field of size 7
"""
ParentWithBase.__init__(self, base_ring)
def __init__(self, p, base_ring):
r"""
Initialisation function.
EXAMPLES::
sage: pAdicWeightSpace(17)
Space of 17-adic weight-characters defined over '17-adic Field with capped relative precision 20'
"""
ParentWithBase.__init__(self, base=base_ring)
p = ZZ(p)
if not p.is_prime():
raise ValueError("p must be prime")
self._p = p
self._param = Qp(p)((p == 2 and 5) or (p + 1))
def __init__(self, p, base_ring):
r"""
Initialisation function.
EXAMPLE::
sage: pAdicWeightSpace(17)
Space of 17-adic weight-characters defined over '17-adic Field with capped relative precision 20'
"""
ParentWithBase.__init__(self, base=base_ring)
p = ZZ(p)
if not p.is_prime():
raise ValueError, "p must be prime"
self._p = p
self._param = Qp(p)((p == 2 and 5) or (p + 1))
def __init__(self, arguments):
"""
EXAMPLES:
We verify that coercion works in the case where ``x`` is not an
instance of SymbolicExpression, but its parent is still the
SymbolicRing::
sage: f(x) = 1
sage: f*e
x |--> e
"""
self._arguments = arguments
ParentWithBase.__init__(self, SR)
self._populate_coercion_lists_(coerce_list=[SR])
self.symbols = SR.symbols # Use the same list of symbols as SR
def __init__(self, arguments):
"""
EXAMPLES:
We verify that coercion works in the case where ``x`` is not an
instance of SymbolicExpression, but its parent is still the
SymbolicRing::
sage: f(x) = 1
sage: f*e
x |--> e
"""
self._arguments = arguments
ParentWithBase.__init__(self, SR)
self._populate_coercion_lists_(coerce_list=[SR])
self.symbols = SR.symbols # Use the same list of symbols as SR
def __getattr__(self, attrname):
"""
TESTS::
sage: ParentWithBase.__getattribute__(singular, '_coerce_map_from_')
<built-in method _coerce_map_from_ of Singular object at ...>
"""
try:
return ParentWithBase.__getattribute__(self, attrname)
except AttributeError:
if attrname[:1] == "_":
raise AttributeError
return self._function_class()(self, attrname)
def __init__(self, name):
"""
Initialize ``self``.
EXAMPLES::
sage: Maxima() == maxima
False
sage: maxima == maxima
True
sage: Maxima() != maxima
True
sage: maxima != maxima
False
"""
self.__name = name
self.__coerce_name = '_' + name.lower() + '_'
self.__seq = -1
self._available_vars = []
self._seed = None
ParentWithBase.__init__(self, self)
def __getattr__(self, attrname):
"""
TESTS::
sage: ParentWithBase.__getattribute__(singular, '_coerce_map_from_')
<bound method Singular._coerce_map_from_ of Singular>
"""
try:
return ParentWithBase.__getattribute__(self, attrname)
except AttributeError:
if attrname[:1] == "_":
raise
return self._function_class()(self, attrname)
def __init__(self, name):
"""
Initialize ``self``.
EXAMPLES::
sage: Maxima() == maxima
False
sage: maxima == maxima
True
sage: Maxima() != maxima
True
sage: maxima != maxima
False
"""
self.__name = name
self.__coerce_name = '_' + name.lower() + '_'
self.__seq = -1
self._available_vars = []
self._seed = None
ParentWithBase.__init__(self, self)
def __init__(self, base=ZZ):
ParentWithBase.__init__(self, base)
def __init__(self, X, RR):
if not is_ProbabilitySpace(X):
raise TypeError, "Argument X (= %s) must be a probability space" % X
ParentWithBase.__init__(self, X)
self._codomain = RR
def __init__(self, X, RR):
if not is_ProbabilitySpace(X):
raise TypeError("Argument X (= %s) must be a probability space" %
X)
ParentWithBase.__init__(self, X)
self._codomain = RR
def __init__(self, base=ZZ):
ParentWithBase.__init__(self, base)
