|  |  D.5.5.9 maxEord Procedure from libraryresbinomial.lib(see  resbinomial_lib).
 
Example:Usage:
maxEord(Coef,Exp,k,n,flaglist);
Coef,Exp,flaglist lists, k,n, integers
 Exp is a list of lists of exponents, k=size(Exp)
 
Return:
computes de maximal E-order of an ideal given by Coef,Exp
 |  | LIB "resbinomial.lib";
ring r = 0,(x(1),y(2),x(3),y(4),x(5..7),y(8)),dp;
list flag=identifyvar();
ideal J=x(1)^3*x(3)-y(2)*y(4)^2*x(3),x(5)*y(2)-x(7)*y(4)^2,x(6)^2*(1-y(4)*y(8)^5),x(7)^4*y(8)^2;
list L=data(J,4,8);
list M=maxEord(L[1],L[2],4,8,flag);
M[1];    // E-order
==> 1
 | 
 
 |