Definition at line 1368 of file dpoly.cpp.
1369{
1370 if (f == nullptr) return nullptr;
1371 if (level == 0)
return diff_0(f);
1372 return diff_n(level, whichvar, f);
1373}
TowerPolynomial diff_0(const TowerPolynomial f)
TowerPolynomial diff_n(int level, int whichvar, const TowerPolynomial f)
References diff_0(), and diff_n().
Referenced by diff_n().