Files
2024-10-30 22:14:35 +01:00

16 lines
382 B
Python

"""Implementation of :class:`CharacteristicZero` class. """
from sympy.polys.domains.domain import Domain
from sympy.utilities import public
@public
class CharacteristicZero(Domain):
"""Domain that has infinite number of elements. """
has_CharacteristicZero = True
def characteristic(self):
"""Return the characteristic of this domain. """
return 0