#### D.5.12.7 Edatalist

Procedure from library `resbinomial.lib` (see resbinomial_lib).

Usage:
  Edatalist(Coef,Exp,k,n,flaglist);
  Coef,Exp,flaglist lists, k,n, integers
  Exp is a list of lists of exponents, k=size(Exp)

Compute:
  computes a list with the E-order of each term

Return:
  a list with the E-order of each term

Example:

    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(5)*y(2)-x(7)*y(4)^2,x(6)^2*(1-y(4)*y(8)^5);
    list L=data(J,3,8);
    list EL=Edatalist(L[1],L[2],3,8,flag);
    EL; // E-order of each term
    ==> [1]:
    ==>    [1]:
    ==> 4
    ==>    [2]:
    ==> 0
    ==> [2]:
    ==>    [1]:
    ==> 1
    ==>    [2]:
    ==> 1
    ==> [3]:
    ==>    [1]:
    ==> 2
    ==>    [2]:
    ==> 2
    ring r = 2,(x(1),y(2),x(3),y(4),x(5..7),y(8)),dp;
    ==> // ** redefining r (ring r = 2,(x(1),y(2),x(3),y(4),x(5..7),y(8)),dp;) ./\
       examples/Edatalist.sing:8
    list flag=identifyvar();
    ==> // ** redefining flag (list flag=identifyvar();) ./examples/Edatalist.sin\
       g:9
    ideal J=x(1)^3*x(3)-y(2)*y(4)^2,x(5)*y(2)-x(7)*y(4)^2,x(6)^2*(1-y(4)*y(8)^5);
    list L=data(J,3,8);
    list EL=Edatalist(L[1],L[2],3,8,flag);
    EL; // E-order of each term IN CHAR 2, COMPUTATIONS NEED TO BE DONE IN CHAR 0
    ==> [1]:
    ==>    [1]:
    ==> 0
    ==>    [2]:
    ==> 0
    ==> [2]:
    ==>    [1]:
    ==> 1
    ==>    [2]:
    ==> 1
    ==> [3]:
    ==>    [1]:
    ==> 0
    ==>    [2]:
    ==> 0
    ring r = 0,(x(1..3)),dp;
    ==> // ** redefining r (ring r = 0,(x(1..3)),dp;) ./examples/Edatalist.sing:1\
       4
    list flag=identifyvar();
    ==> // ** redefining flag (list flag=identifyvar();) ./examples/Edatalist.sin\
       g:15
    ideal J=x(1)^4*x(2)^2, x(1)^2-x(3)^3;
    list L=data(J,2,3);
    list EL=Edatalist(L[1],L[2],2,3,flag);
    EL; // E-order of each term
    ==> [1]:
    ==>    [1]:
    ==> 6
    ==> [2]:
    ==>    [1]:
    ==> 3
    ==>    [2]:
    ==> 2

User manual for Singular version 4.4.1, 2025, generated by texi2html.