Python Operation.remakeConstructor示例

示例#1

文件： exp.py 项目： wdcraft01/Prove-It

 def remakeConstructor(self):
     if self.getStyle('exponent') == 'radical':
         # Use a different constructor if using the 'radical' style.
         if self.exponent == frac(one, two):
             return 'sqrt' 
         else:
             raise ValueError("Unkown radical type, exponentiating to the power "
                              "of %s"%str(self.exponent))
     return Operation.remakeConstructor(self)

示例#2

文件： divide.py 项目： rmmilewi/Prove-It

 def remakeConstructor(self):
     if self.getStyle('division') == 'fraction':
         return 'Frac' # use a different constructor if using the fraction style
     return Operation.remakeConstructor(self)