|
D.5.8.1 Minimus
Procedure from library JMBTest.lib (see JMBTest_lib).
- Usage:
- Minimus(L); G list, c int
- Return:
- list: V
- Notes:
- it returns the minimal variable generating the ideal L.
The input must be an ideal generated by variables.
Example:
| LIB "JMBTest.lib";
ring r=0, (x,y,z), rp;
ideal I=y,x,z;
Minimus(I);
==> x
|
|