spielwiese
|
Last change
on this file was
cf4277e,
checked in by Adi Popescu <adi_popescum@…>, 10 years ago
|
|
Bug Fix: updates, added fixed bug in tests
|
-
Property mode set to
100644
|
|
File size:
361 bytes
|
| Line | |
|---|
| 1 | LIB "tst.lib"; |
|---|
| 2 | tst_init(); |
|---|
| 3 | |
|---|
| 4 | ring q = (integer,2,3),(r,s,a,b,b_2,b_1,b_0),lp; |
|---|
| 5 | poly p0 = b -1*b_0 -2*b_1 -4*b_2; |
|---|
| 6 | poly p1 = r-a*b_0; |
|---|
| 7 | poly p2 = s*b_0; |
|---|
| 8 | poly p3 = s*b_1; |
|---|
| 9 | poly p4 = s*b_2; |
|---|
| 10 | ideal I = (p0,p1,p2,p3,p4); |
|---|
| 11 | poly goal = r- a*b; |
|---|
| 12 | poly p = 1 - s; |
|---|
| 13 | I = std(I); |
|---|
| 14 | print("-------std(I+p)-------"); |
|---|
| 15 | std(I+p); |
|---|
| 16 | print("-------std(I,p)-------"); |
|---|
| 17 | std(I,p); |
|---|
| 18 | |
|---|
| 19 | tst_status(1); |
|---|
| 20 | $ |
|---|
Note: See
TracBrowser
for help on using the repository browser.
