示例#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
文件: min.py 项目: PyProveIt/Prove-It
 def __init__(self, *operands, styles=None):
     NumberOperation.__init__(self, Min._operator_, operands, styles=styles)
示例#4
0
 def __init__(self, A, *, styles=None):
     NumberOperation.__init__(self, Abs._operator_, A, styles=styles)
示例#5
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]