| Classify |
| Coding |
| Deformations |
| Equidim Part |
| Existence |
| Finite Groups |
| Flatness |
| Genus |
| Hilbert Series |
| Membership |
| Monodromy |
| Normalization |
| Primdec |
| Puiseux |
| Plane Curves |
| Solving |
| Space Curves |
| Spectrum |
LIB "matrix.lib";
ring A=0,(x(0..4)),dp;
// module M defined by its presentation matrix
matrix M[2][4] = x(0),x(1),x(2),x(3),x(1),x(2),x(3),x(4);
flatteningStrat(M);
==>
[1]:
_[1]=x(3)^2-x(2)*x(4)
_[2]=x(2)*x(3)-x(1)*x(4)
_[3]=x(1)*x(3)-x(0)*x(4)
_[4]=x(2)^2-x(0)*x(4)
_[5]=x(1)*x(2)-x(0)*x(3)
_[6]=x(1)^2-x(0)*x(2)
[2]:
_[1]=x(4)
_[2]=x(3)
_[3]=x(2)
_[4]=x(1)
_[5]=x(0)