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