characteristiczero.py 382 B

123456789101112131415
  1. """Implementation of :class:`CharacteristicZero` class. """
  2. from sympy.polys.domains.domain import Domain
  3. from sympy.utilities import public
  4. @public
  5. class CharacteristicZero(Domain):
  6. """Domain that has infinite number of elements. """
  7. has_CharacteristicZero = True
  8. def characteristic(self):
  9. """Return the characteristic of this domain. """
  10. return 0