コード例 #1
0
 def latex(self, **kwargs):
     inner_str = NumberSet.latex(self, **kwargs)
     # only fence if forceFence=True (nested exponents is an
     # example of when fencing must be forced)
     kwargs['fence'] = (kwargs['forceFence']
                        if 'forceFence' in kwargs else False)
     return maybeFencedString(inner_str, **kwargs)
コード例 #2
0
ファイル: rationals.py プロジェクト: wdcraft01/Prove-It
 def __init__(self):
     NumberSet.__init__(self, 'Rationals', r'\mathbb{Q}', context=__file__)
コード例 #3
0
ファイル: complexes.py プロジェクト: shoelbling/Prove-It
 def __init__(self):
     NumberSet.__init__(self, 'Complexes', r'\mathbb{C}', context=__file__)
コード例 #4
0
 def __init__(self):
     NumberSet.__init__(self, 'Reals', r'\mathbb{R}', context=__file__)
コード例 #5
0
 def __init__(self):
     NumberSet.__init__(self,
                        'RealsNonNeg',
                        r'\mathbb{R}^{\ge 0}',
                        context=__file__)
コード例 #6
0
ファイル: rationals.py プロジェクト: shoelbling/Prove-It
 def __init__(self):
     NumberSet.__init__(self, 'NaturalsNonNeg', r'\mathbb{Q}^{\geq 0}',
                        context=__file__)
コード例 #7
0
ファイル: rationals.py プロジェクト: shoelbling/Prove-It
 def __init__(self):
     NumberSet.__init__(self, 'NaturalsPos', r'\mathbb{Q}^+',
                        context=__file__)
コード例 #8
0
ファイル: integers.py プロジェクト: rmmilewi/Prove-It
 def __init__(self):
     NumberSet.__init__(self, 'Integers', r'\mathbb{Z}', context=__file__)