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__)