multCC -- Computes a list containing the coefficient associated to each term in the characteristic cycle of the constructable function corresponding to the input.
multCC(MutableHashTable) -- Computes a list containing the coefficient associated to each term in the characteristic cycle of the constructable function corresponding to the input.
nonProperSet (missing documentation)
polarSequence (missing documentation)
polarVars -- Computes the list of all polar varieties of a variety
polarVars(Ideal) -- Computes the list of all polar varieties of a variety
StratsToFind (missing documentation)
WhitneyStratifications -- Computes Whitney Statifications of real and complex varieties and of algebraic maps between them.
whitneyStratify -- Computes a Whitney stratification of the real and complex varieties using conormal methods.
whitneyStratify(Ideal) -- Computes a Whitney stratification of the real and complex varieties using conormal methods.
whitneyStratifyPol -- Computes a Whitney stratification of the real and complex varieties.