Esempio n. 1
0
 def __init__(self, e, loc=[]):
     """comp is the integration method.
     """
     self.e = e
     self.reason = "Simplification"
     self.latex = latex.convert_expr(e)
     self.loc = Location(loc)
Esempio n. 2
0
 def __init__(self, e, denom, rhs, loc=[]):
     self.e = e
     self.denom = denom
     self.loc = Location(loc)
     self.rhs = rhs
     self.latex = latex.convert_expr(e)
     self.reason = "Rewrite fraction"
Esempio n. 3
0
 def __init__(self, e, rule_name, before_trig, after_trig, loc=[]):
     self.e = e
     self.rule_name = rule_name
     self.before_trig = before_trig
     self.after_trig = after_trig
     self.loc = Location(loc)
     self.reason = "Rewrite trigonometric"
Esempio n. 4
0
 def __init__(self, e, u, v, loc=[]):
     self.e = e
     self.u = u
     self.v = v
     self.loc = Location(loc)
     self.latex = latex.convert_expr(e)
     self.reason = "Integrate by parts"
Esempio n. 5
0
 def __init__(self, e, loc, old_trig, new_trig, tr_rule):
     self.e = e
     self.old_trig = old_trig
     self.new_trig = new_trig
     self.loc = Location(loc)
     self.latex = latex.convert_expr(e)
     self.tr_rule = tr_rule
     self.reason = "Rewrite trigonometric"
Esempio n. 6
0
 def __init__(self, e, var_name, var_subst, loc=[]):
     self.e = e
     self.reason = "Substitution inverse"
     self.latex = latex.convert_expr(e)
     self.var_name = var_name
     self.var_subst = var_subst
     self.comp = rules.Substitution2(var_name, var_subst).eval
     self.loc = Location(loc)
Esempio n. 7
0
 def __init__(self, e, var_name, var_subst, f, loc=[]):
     self.e = e
     self.var_name = var_name
     self.var_subst = var_subst
     self.f = f
     self.latex = latex.convert_expr(e)
     self.loc = Location(loc)
     self.reason = "Substitution"
Esempio n. 8
0
 def __init__(self, e, loc=[]):
     self.e = e
     self.reason = "CommonIntegral"
     self.latex = latex.convert_expr(e)
     self.loc = Location(loc)
Esempio n. 9
0
 def __init__(self, e, loc=[]):
     self.e = e
     self.reason = "Linearity"
     self.latex = latex.convert_expr(e)
     self.loc = Location(loc)
Esempio n. 10
0
 def __init__(self, e, loc, zero_point=None):
     self.e = e
     self.loc = Location(loc)
     self.zero_point = zero_point
     self.reason = "Elim abs"
Esempio n. 11
0
 def __init__(self, e):
     self.e = e
     self.latex = latex.convert_expr(e)
     self.loc = Location()
Esempio n. 12
0
 def prepend_loc(self, prefix):
     self.loc = Location(prefix.data + self.loc.data)
Esempio n. 13
0
 def __init__(self, e, loc=[]):
     self.e = e
     self.latex = latex.convert_expr(e)
     self.loc = Location(loc)
     self.reason = "Solve equation"
Esempio n. 14
0
 def __init__(self, e, loc=[]):
     self.e = e
     self.latex = latex.convert_expr(e)
     self.reason = "Unfold power"
     self.comp = rules.UnfoldPower.eval
     self.loc = Location(loc)