Context Navigation

trans_ext_std.tst @ 61a050

spielwiese

Last change on this file since 61a050 was 61a050, checked in by Burcin Erocal <burcin@…>, 12 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
1	LIB "tst.lib"; tst_init();
2	ring 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);
3	ideal Id;
4	Id[1]=i^2+1;
5	Id[2]=cx^2+sx^2-1;
6	Id[3]=cy^2+sy^2-1;
7	std(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 ]!
8	ring abP = (0,a,b),(p4,p5),dp;
9	ideal abE;
10	abE[1]=-p4+p5+(ab+a+b2+3b);
11	abE[2]=-p5+(a2+2a);
12	abE[3]=(a-b)p4+(-a)p5+(-a2+b3+3b2);
13	abE;
14	option(redSB);
15	option(redTail);
16	std(abE);
17	tst_status(1);$
18

Note: See TracBrowser for help on using the repository browser.