| Classify |
| Coding |
| Deformations |
| Equidim Part |
| Existence |
| Finite Groups |
| Flatness |
| Genus |
| Hilbert Series |
| Membership |
| Monodromy |
| Normalization |
| Primdec |
| Puiseux |
| Plane Curves |
| Solving |
| Space Curves |
| Spectrum |
From the Fitting ideals of an A-module M, we obtain inclusions of subvarieties of Spec(A)
The flattening stratum of rank k of M is the locally closed set given by
We know that
We compute the flattening stratification of a module M, that is
the set of flattening strata of M, in the following example:
Interpreting the output