Go to the first, previous, next, last section, table of contents.
- sm1_saturation([I,J,V])
-
:
It returns saturation of I with respect to J^infty.
V is a list of variables.
Example:
sm1_saturation([[x2^2,x2*x4, x2, x4^2], [x2,x4], [x2,x4]]);
Go to the first, previous, next, last section, table of contents.