Ref.
fricas
s1:=D(abs(x),x)
Type: Expression(Integer)
fricas
D(s1,x)
Type: Expression(Integer)
fricas
D(tanh(a*x),x)
Type: Expression(Integer)
fricas
limit(%,a=%plusInfinity)
Type: Union("failed",...)
fricas
limit(abs(x)/x,x=0,"right")
Type: Union(OrderedCompletion
?(Expression(Integer)),
...)
fricas
limit(abs(x)/x,x=0,"left")
Type: Union(OrderedCompletion
?(Expression(Integer)),
...)
fricas
abs:=operator('abs)
fricas
D(abs(x),x)
Type: Expression(Integer)
fricas
signum:=operator('signum)
fricas
diracDelta:=operator('diracDelta)
fricas
signum(x)
Type: Expression(Integer)
fricas
D(signum(x),[x,x])
Type: Expression(Integer)
fricas
diff1:=rule
signum(x) == abs(x)/x
D(abs(x),x) == signum(x) + 2*x*diracDelta(x)
D(signum(x),x) == 2*diracDelta(x)
Type: Ruleset(Integer,Integer,Expression(Integer))
fricas
diff(x,y)==diff1 D(x,y)
Type: Void
fricas
diff(abs(x),x)
fricas
Compiling function diff with type (Expression(Integer),Variable(x))
-> Expression(Integer)
Type: Expression(Integer)
fricas
diff(abs(x)/x,x)
Type: Expression(Integer)