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)
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"
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"
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"
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"
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)
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"
def __init__(self, e, loc=[]): self.e = e self.reason = "CommonIntegral" self.latex = latex.convert_expr(e) self.loc = Location(loc)
def __init__(self, e, loc=[]): self.e = e self.reason = "Linearity" self.latex = latex.convert_expr(e) self.loc = Location(loc)
def __init__(self, e, loc, zero_point=None): self.e = e self.loc = Location(loc) self.zero_point = zero_point self.reason = "Elim abs"
def __init__(self, e): self.e = e self.latex = latex.convert_expr(e) self.loc = Location()
def prepend_loc(self, prefix): self.loc = Location(prefix.data + self.loc.data)
def __init__(self, e, loc=[]): self.e = e self.latex = latex.convert_expr(e) self.loc = Location(loc) self.reason = "Solve equation"
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)