Re: [fricas-devel] Defining a rewrite rule when calculation is failing

Slawomir Kolodynski wrote: > > I am trying to figure out a way to tell FriCAS that > limit(erf(sqrt(c)*x),x=%plusInfinity) is 1 (say, I know that c>0). > To do that I define a rule: > > limerf := rule limit(erf(sqrt(c)*x),x=%plusInfinity) == 1 > > However, when I try to apply the rule: > >

[fricas-devel] Defining a rewrite rule when calculation is failing

I am trying to figure out a way to tell FriCAS that limit(erf(sqrt(c)*x),x=%plusInfinity) is 1 (say, I know that c>0). To do that I define a rule: limerf := rule limit(erf(sqrt(c)*x),x=%plusInfinity) == 1 However, when I try to apply the rule: limerf(limit(erf(sqrt(c)*x),x=%plusInfinity)) I