Spaces:
Running
Running
File size: 1,642 Bytes
6a86ad5 |
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 |
"""Implementation of :class:`CompositeDomain` class. """
from sympy.polys.domains.domain import Domain
from sympy.polys.polyerrors import GeneratorsError
from sympy.utilities import public
@public
class CompositeDomain(Domain):
"""Base class for composite domains, e.g. ZZ[x], ZZ(X). """
is_Composite = True
gens, ngens, symbols, domain = [None]*4
def inject(self, *symbols):
"""Inject generators into this domain. """
if not (set(self.symbols) & set(symbols)):
return self.__class__(self.domain, self.symbols + symbols, self.order)
else:
raise GeneratorsError("common generators in %s and %s" % (self.symbols, symbols))
def drop(self, *symbols):
"""Drop generators from this domain. """
symset = set(symbols)
newsyms = tuple(s for s in self.symbols if s not in symset)
domain = self.domain.drop(*symbols)
if not newsyms:
return domain
else:
return self.__class__(domain, newsyms, self.order)
def set_domain(self, domain):
"""Set the ground domain of this domain. """
return self.__class__(domain, self.symbols, self.order)
@property
def is_Exact(self):
"""Returns ``True`` if this domain is exact. """
return self.domain.is_Exact
def get_exact(self):
"""Returns an exact version of this domain. """
return self.set_domain(self.domain.get_exact())
@property
def has_CharacteristicZero(self):
return self.domain.has_CharacteristicZero
def characteristic(self):
return self.domain.characteristic()
|