Home Online Manual
Top
Back: identifyvar
Forward: EOrdlist
FastBack:
FastForward:
Up: resbinomial_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

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