|
|
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 |
|
|
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', |
|
|
] |
|
|
|
