spielwiese
|
Last change
on this file since db24361 was
db24361,
checked in by Oleksandr Motsak <motsak@…>, 12 years ago
|
|
ADD: test for a GB in a polynomial ring over a transcendental field extension
|
-
Property mode set to
100644
|
|
File size:
287 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 | tst_status(1);$ |
|---|
| 9 | |
|---|
Note: See
TracBrowser
for help on using the repository browser.
