spielwiese
|
Last change
on this file since 42ea848 was
894057,
checked in by Oleksandr Motsak <motsak@…>, 13 years ago
|
|
ADD: Tests from online manual (res+stat on mamawutz): short ones Tst/Manual/s.lst
|
-
Property mode set to
100644
|
|
File size:
696 bytes
|
| Line | |
|---|
| 1 | LIB "tst.lib"; tst_init(); |
|---|
| 2 | ring r = 0,(x(1..3)),dp; |
|---|
| 3 | list l = ringlist(r); |
|---|
| 4 | l; |
|---|
| 5 | // Now change l and create a new ring, by |
|---|
| 6 | //- changing the base field to the function field with parameter a, |
|---|
| 7 | //- introducing one extra variable y, |
|---|
| 8 | //- defining the block ordering (dp(2),wp(3,4)). |
|---|
| 9 | //- define the minpoly after creating the function field |
|---|
| 10 | l[1]=list(0,list("a"),list(list("lp",1)),ideal(0)); |
|---|
| 11 | l[2][size(l[2])+1]="y"; |
|---|
| 12 | l[3][3]=l[3][2]; // save the module ordering |
|---|
| 13 | l[3][1]=list("dp",intvec(1,1)); |
|---|
| 14 | l[3][2]=list("wp",intvec(3,4)); |
|---|
| 15 | def ra = ring(l); //creates the newring |
|---|
| 16 | ra; setring ra; |
|---|
| 17 | list lra = ringlist(ra); |
|---|
| 18 | lra[1][4]=ideal(a2+1); |
|---|
| 19 | def Ra = ring(lra); |
|---|
| 20 | setring Ra; Ra; |
|---|
| 21 | tst_status(1);$ |
|---|
Note: See
TracBrowser
for help on using the repository browser.
