D.6.4.1 basicinvariants

Usage:

basicinvariants(f); f = poly

Compute:

Compute basic invariants of f: an upper bound d for the determinacy, the milnor number mu and the corank c of f

Return:

intvec: d, mu, c

LIB "classify.lib";
ring r=0,(x,y,z),ds;
basicinvariants((x2+3y-2z)^2+xyz-(x-y3+x2*z3)^3);
==> 5,4,2