isdifferentiable は、piecewise または abs, signum, max, ... のような区分的な関数を含む式が C^class 級であるかどうかを判定します。それは、true か false のどちらかを返します。

オプション引数 varparam は、関数に渡すことができ、 expr が C^n 級でない場合に、varparam は関数がどの C^n 級に属すかの情報と n+1 次導関数の不連続点のリストを含んでいます。

piecewise(x<-1,-x,x<1,x*x,x);

isdifferentiable(%,x,1);

isdifferentiable(%%,x,2,'la');

la;

isdifferentiable(abs(x),x,2);

isdifferentiable(abs(x),x,2,'la');

la;