eulerObsMatrix -- Computes a matrix containing the strata-wise values of the local Euler obstruction function.
fiberContAssocPrimes (missing documentation)
isProper (missing documentation)
mapStratify -- Computes a Whitney stratification of a polynomial map $f:X\to Y$ between real or complex varieties.
mapStratifyPol -- Computes a Whitney stratification of a polynomial map $f:X\to Y$ between real or complex varieties.
minCoarsenWS -- Coarsens a given Whitney stratification to the unique minimal one.
multCC -- 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
StratsToFind (missing documentation)
whitneyStratify -- Computes a Whitney stratification of the real and complex varieties using conormal methods.
whitneyStratifyPol -- Computes a Whitney stratification of the real and complex varieties.