This is how FriCAS currently differentiates the absolute value function. fricas differentiate(abs(x),
Type: Expression(Integer)The fricas Abs(x)==sqrt(x^2) Type: Voidso comparison with the following is perhaps a surprize. fricas differentiate(Abs(x), fricas Compiling function Abs with type Variable(x) -> Expression(Integer)
Type: Expression(Integer)Are these expressions really equivalent? The derivative of fricas differentiate(abs(x),
Type: Expression(Integer)fricas differentiate(Abs(x),
Type: Expression(Integer) |