source: git/Tst/New/trans_ext_std.tst @ 64daec

spielwiese
Last change on this file since 64daec was 61a050, checked in by Burcin Erocal <burcin@…>, 13 years ago
Setting ShortOut on the command line now effects coeffient rings as well. If the current ring is over an extension field, the ShortOut parameter was not set on the coefficient domains. We now recurse down the coefficient rings to set this.
  • Property mode set to 100644
File size: 462 bytes
Line 
1LIB "tst.lib"; tst_init();
2ring R = (0, I, T, Px, Py, Cx, Cy, Sx, Sy, a, b, dt, dx, dy), (i, t, x, y, cx, cy, sx, sy), (c,lp);
3ideal Id;
4Id[1]=i^2+1;
5Id[2]=cx^2+sx^2-1;
6Id[3]=cy^2+sy^2-1;
7std(Id); // GB in Q( I,T,Px,Py,Cx,Cy,Sx,Sy,a,b,dt,dx,dy )[ i,t,x,y,cx,cy,sx,sy ]!
8ring abP = (0,a,b),(p4,p5),dp;
9ideal abE;
10abE[1]=-p4+p5+(ab+a+b2+3b);
11abE[2]=-p5+(a2+2a);
12abE[3]=(a-b)*p4+(-a)*p5+(-a2+b3+3b2);
13abE;
14option(redSB);
15option(redTail);
16std(abE);
17tst_status(1);$
18
Note: See TracBrowser for help on using the repository browser.