示例#1
0
 def __init__(self, base, exponent, *, styles=None):
     r'''
     Raise base to exponent power.
     '''
     self.base = base
     self.exponent = exponent
     NumberOperation.__init__(self, Exp._operator_, (base, exponent),
                              styles=styles)
示例#2
0
 def __init__(self, numerator, denominator, *, styles=None):
     r'''
     Divide two operands.
     '''
     NumberOperation.__init__(self,
                              Div._operator_, [numerator, denominator],
                              styles=styles)
     self.numerator = self.operands[0]
     self.denominator = self.operands[1]
示例#3
0
 def shallow_simplification(self,
                            *,
                            must_evaluate=False,
                            **defaults_config):
     if self.base == self.antilog:
         from . import log_eq_1
         return log_eq_1.instantiate({a: self.base})
     return NumberOperation.shallow_simplification(
         self, must_evaluate=must_evaluate)
示例#4
0
 def latex(self, **kwargs):
     if self.get_style('division') == 'fraction':
         # only fence if force_fence=True (a fraction within an
         # exponentiation is an example of when fencing should be forced)
         kwargs['fence'] = kwargs[
             'force_fence'] if 'force_fence' in kwargs else False
         return maybe_fenced_latex(
             r'\frac{' + self.numerator.latex() + '}{' +
             self.denominator.latex() + '}', **kwargs)
     else:
         # normal division
         return NumberOperation.latex(self, **kwargs)
示例#5
0
 def style_options(self):
     '''
     Return the StyleOptions object for this Div.
     '''
     options = NumberOperation.style_options(self)
     options.add_option(name='division',
                        description=("'inline': uses '/'; 'fraction': "
                                     "numerator over the denominator "
                                     "(also see 'frac' function)"),
                        default='fraction',
                        related_methods=('with_inline_style',
                                         'with_fraction_style'))
     return options
示例#6
0
文件: min.py 项目: PyProveIt/Prove-It
 def __init__(self, *operands, styles=None):
     NumberOperation.__init__(self, Min._operator_, operands, styles=styles)
示例#7
0
 def __init__(self, A, *, styles=None):
     NumberOperation.__init__(self, Abs._operator_, A, styles=styles)
示例#8
0
 def __init__(self, dividend, divisor, *, styles=None):
     NumberOperation.__init__(self, Mod._operator_, (dividend, divisor),
                              styles=styles)
     self.dividend = self.operands[0]
     self.divisor = self.operands[1]