37 lines
1.0 KiB
Python
37 lines
1.0 KiB
Python
|
from .sets import (Set, Interval, Union, FiniteSet, ProductSet,
|
||
|
|
Intersection, imageset, Complement, SymmetricDifference,
|
||
|
|
DisjointUnion)
|
||
|
|
|
||
|
|
from .fancysets import ImageSet, Range, ComplexRegion
|
||
|
|
from .contains import Contains
|
||
|
|
from .conditionset import ConditionSet
|
||
|
|
from .ordinals import Ordinal, OmegaPower, ord0
|
||
|
|
from .powerset import PowerSet
|
||
|
|
from ..core.singleton import S
|
||
|
|
from .handlers.comparison import _eval_is_eq # noqa:F401
|
||
|
|
Complexes = S.Complexes
|
||
|
|
EmptySet = S.EmptySet
|
||
|
|
Integers = S.Integers
|
||
|
|
Naturals = S.Naturals
|
||
|
|
Naturals0 = S.Naturals0
|
||
|
|
Rationals = S.Rationals
|
||
|
|
Reals = S.Reals
|
||
|
|
UniversalSet = S.UniversalSet
|
||
|
|
|
||
|
|
__all__ = [
|
||
|
|
'Set', 'Interval', 'Union', 'EmptySet', 'FiniteSet', 'ProductSet',
|
||
|
|
'Intersection', 'imageset', 'Complement', 'SymmetricDifference', 'DisjointUnion',
|
||
|
|
|
||
|
|
'ImageSet', 'Range', 'ComplexRegion', 'Reals',
|
||
|
|
|
||
|
|
'Contains',
|
||
|
|
|
||
|
|
'ConditionSet',
|
||
|
|
|
||
|
|
'Ordinal', 'OmegaPower', 'ord0',
|
||
|
|
|
||
|
|
'PowerSet',
|
||
|
|
|
||
|
|
'Reals', 'Naturals', 'Naturals0', 'UniversalSet', 'Integers', 'Rationals',
|
||
|
|
]
|