|
D.2.4.11 cantreetoMaple
Procedure from library grobcov.lib (see grobcov_lib).
- Return:
- writes the list provided by grobcovold to a file
containing the table representing it in Maple.
- Note:
- It can be called from the output of grobcovold with option ("out",1)
Example:
| LIB "grobcov.lib";
ring R=(0,b,c,d,e,f),(x,y),dp;
ideal F=x^2+b*y^2+2*c*x*y+2*d*x+2*e*y+f, 2*x+2*c*y+2*d, 2*b*y+2*c*x+2*e;
def T=grobcovold(F,"out",1);
T;
==> [1]:
==> [1]:
==> 0
==> [2]:
==> 4
==> [3]:
==> _[1]=1
==> _[2]=y
==> _[3]=y
==> _[4]=x
==> [4]:
==> _[1]=(bd2-bf+c2f-2cde+e2)
==> _[2]=(cd-e)*y+(d2-f)
==> _[3]=(b-c2)*y+(-cd+e)
==> _[4]=x+(c)*y+(d)
==> [5]:
==> [1]:
==> _[1]=0
==> [2]:
==> _[1]=1
==> [3]:
==> [1]:
==> _[1]=0
==> [6]:
==> CRCGS
==> [2]:
==> [1]:
==> 1
==> [2]:
==> 1
==> [3]:
==> _[1]=1
==> [4]:
==> _[1]=1
==> [3]:
==> [1]:
==> 1,1
==> [2]:
==> 1
==> [3]:
==> _[1]=0
==> [4]:
==> [1]:
==> 1,1,1
==> [2]:
==> 0
==> [3]:
==> _[1]=(bd2-bf+c2f-2cde+e2)
==> [5]:
==> [1]:
==> 2
==> [2]:
==> 1
==> [3]:
==> _[1]=y
==> _[2]=x
==> [4]:
==> _[1]=(b-c2)*y+(-cd+e)
==> _[2]=(b-c2)*x+(bd-ce)
==> [6]:
==> [1]:
==> 2,1
==> [2]:
==> 1
==> [3]:
==> _[1]=(bd2-bf+c2f-2cde+e2)
==> [7]:
==> [1]:
==> 2,1,1
==> [2]:
==> 0
==> [3]:
==> _[1]=(cd-e)
==> _[2]=(b-c2)
==> [8]:
==> [1]:
==> 3
==> [2]:
==> 1
==> [3]:
==> _[1]=1
==> [4]:
==> _[1]=1
==> [9]:
==> [1]:
==> 3,1
==> [2]:
==> 1
==> [3]:
==> _[1]=(cd-e)
==> _[2]=(b-c2)
==> [10]:
==> [1]:
==> 3,1,1
==> [2]:
==> 0
==> [3]:
==> _[1]=(d2-f)
==> _[2]=(cf-de)
==> _[3]=(cd-e)
==> _[4]=(b-c2)
==> [11]:
==> [1]:
==> 4
==> [2]:
==> 1
==> [3]:
==> _[1]=x
==> [4]:
==> _[1]=x+(c)*y+(d)
==> [12]:
==> [1]:
==> 4,1
==> [2]:
==> 1
==> [3]:
==> _[1]=(d2-f)
==> _[2]=(cf-de)
==> _[3]=(cd-e)
==> _[4]=(b-c2)
==> [13]:
==> [1]:
==> 4,1,1
==> [2]:
==> 0
==> [3]:
==> _[1]=1
cantreetoMaple(T,"Tm","Tm.txt");
|
|