def __init__(self, *, styles=None):
NumberSet.__init__(self,
'ComplexNonZero',
r'\mathbb{C}^{\neq 0}',
theory=__file__,
styles=styles,
fence_when_forced=True)
def __init__(self, *, styles=None):
NumberSet.__init__(self,
'IntegerNonPos',
r'\mathbb{Z}^{\leq 0}',
theory=__file__,
styles=styles,
fence_when_forced=True)
def latex(self, **kwargs):
inner_str = NumberSet.latex(self, **kwargs)
# only fence if force_fence=True (nested exponents is an example of
# when fencing must be forced)
kwargs['fence'] = kwargs[
'force_fence'] if 'force_fence' in kwargs else False
return maybe_fenced_string(inner_str, **kwargs)
def __init__(self):
NumberSet.__init__(self, 'Integer', r'\mathbb{Z}', theory=__file__)
def __init__(self, *, styles=None):
NumberSet.__init__(self,
'Complex',
r'\mathbb{C}',
theory=__file__,
styles=styles)
def __init__(self):
NumberSet.__init__(self,
'Digits',
r'\mathbb{N}^{\leq 9}',
theory=__file__)
def __init__(self):
NumberSet.__init__(self,
'RationalPos',
r'\mathbb{Q}^+',
theory=__file__)
def __init__(self):
NumberSet.__init__(self, 'Natural', r'\mathbb{N}', theory=__file__)
def __init__(self):
NumberSet.__init__(self, 'Complex', r'\mathbb{C}', theory=__file__)
def __init__(self):
NumberSet.__init__(self, 'Real', r'\mathbb{R}', theory=__file__)
def __init__(self):
NumberSet.__init__(self,
'RealNonNeg',
r'\mathbb{R}^{\ge 0}',
theory=__file__)
def __init__(self, *, styles=None):
NumberSet.__init__(self, 'RealNonNeg', r'\mathbb{R}^{\ge 0}',
theory=__file__, styles=styles,
fence_when_forced=True)
def __init__(self, *, styles=None):
NumberSet.__init__(self, 'Rational', r'\mathbb{Q}',
theory=__file__, styles=styles)
def __init__(self, *, styles=None):
NumberSet.__init__(self, 'RationalNeg', r'\mathbb{Q}^-',
theory=__file__, styles=styles,
fence_when_forced=True)
def __init__(self, *, styles=None):
NumberSet.__init__(self,
'Integer',
r'\mathbb{Z}',
theory=__file__,
styles=styles)
def __init__(self, *, styles=None):
NumberSet.__init__(self,
'Natural',
r'\mathbb{N}',
theory=__file__,
styles=styles)
def includes(self, other_set):
'''
Return True if this NumberSet includes the 'other_set' set.
'''
from proveit.numbers.number_sets.number_set import NumberSet
return NumberSet.includes(self, other_set)
def __init__(self, *, styles=None):
NumberSet.__init__(self,
'Digits',
r'\mathbb{N}^{\leq 9}',
theory=__file__,
styles=styles)
def __init__(self):
NumberSet.__init__(self,
'RationalNonZero',
r'\mathbb{Q}^{\neq 0}',
theory=__file__)
