Exemple #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)
Exemple #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"
Exemple #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"
Exemple #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"
Exemple #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"
Exemple #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)
Exemple #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"
Exemple #8
0
 def __init__(self, e, loc=[]):
     self.e = e
     self.reason = "CommonIntegral"
     self.latex = latex.convert_expr(e)
     self.loc = Location(loc)
Exemple #9
0
 def __init__(self, e, loc=[]):
     self.e = e
     self.reason = "Linearity"
     self.latex = latex.convert_expr(e)
     self.loc = Location(loc)
Exemple #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"
Exemple #11
0
 def __init__(self, e):
     self.e = e
     self.latex = latex.convert_expr(e)
     self.loc = Location()
Exemple #12
0
 def prepend_loc(self, prefix):
     self.loc = Location(prefix.data + self.loc.data)
Exemple #13
0
 def __init__(self, e, loc=[]):
     self.e = e
     self.latex = latex.convert_expr(e)
     self.loc = Location(loc)
     self.reason = "Solve equation"
Exemple #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)