[fricas-devel] -0$DFLOAT ~= 0$DFLOAT causes bug in rowEchelon

Konrad Schrempf reports the following bug: (1) -> A := matrix([[0]])$Matrix(DFLOAT) (1) [0.0] Type: Matrix(DoubleFloat) (2) -> rowEchelon(A) (2) [0.0] Type: Matrix(DoubleFloat) (3) ->

[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