spielwiese
|
Last change
on this file since 8f4794 was
8f4794,
checked in by Adi Popescu <adi_popescum@…>, 10 years ago
|
|
Added tests Tst/New/qring_with_constant
|
-
Property mode set to
100644
|
|
File size:
951 bytes
|
| Line | |
|---|
| 1 | LIB "tst.lib"; |
|---|
| 2 | tst_init(); |
|---|
| 3 | |
|---|
| 4 | ring rng = (integer),(x,y,z),dp; |
|---|
| 5 | |
|---|
| 6 | ideal iq = 14,x2-2; |
|---|
| 7 | iq = std(iq); |
|---|
| 8 | |
|---|
| 9 | ideal bla= 7y-28z,yz; |
|---|
| 10 | |
|---|
| 11 | qring rngQ = iq; |
|---|
| 12 | |
|---|
| 13 | def bla1=imap(rng,bla); |
|---|
| 14 | bla1; |
|---|
| 15 | |
|---|
| 16 | def bla2=fetch(rng,bla); |
|---|
| 17 | bla2; |
|---|
| 18 | |
|---|
| 19 | map mapi=rng,x,y,z; |
|---|
| 20 | def bla3=mapi(bla); |
|---|
| 21 | bla3; |
|---|
| 22 | |
|---|
| 23 | |
|---|
| 24 | ring rng1 = (integer,100),(x,y,z),dp; |
|---|
| 25 | |
|---|
| 26 | ideal iq = 20,x2-2; |
|---|
| 27 | iq = std(iq); |
|---|
| 28 | |
|---|
| 29 | ideal bla= 7y-28z,yz; |
|---|
| 30 | |
|---|
| 31 | qring rngQ = iq; |
|---|
| 32 | |
|---|
| 33 | def bla1=imap(rng1,bla); |
|---|
| 34 | bla1; |
|---|
| 35 | |
|---|
| 36 | def bla2=fetch(rng1,bla); |
|---|
| 37 | bla2; |
|---|
| 38 | |
|---|
| 39 | map mapi=rng1,x,y,z; |
|---|
| 40 | def bla3=mapi(bla); |
|---|
| 41 | bla3; |
|---|
| 42 | |
|---|
| 43 | |
|---|
| 44 | ring rng2 = (integer,2,5),(x,y,z),dp; |
|---|
| 45 | |
|---|
| 46 | ideal iq = 28,x2-2; |
|---|
| 47 | iq = std(iq); |
|---|
| 48 | |
|---|
| 49 | ideal bla= 7y-28z,yz; |
|---|
| 50 | |
|---|
| 51 | qring rngQ = iq; |
|---|
| 52 | |
|---|
| 53 | def bla1=imap(rng2,bla); |
|---|
| 54 | bla1; |
|---|
| 55 | |
|---|
| 56 | def bla2=fetch(rng2,bla); |
|---|
| 57 | bla2; |
|---|
| 58 | |
|---|
| 59 | map mapi=rng2,x,y,z; |
|---|
| 60 | def bla3=mapi(bla); |
|---|
| 61 | bla3; |
|---|
| 62 | |
|---|
| 63 | ring rng3 = (integer,7,5),(x,y,z),dp; |
|---|
| 64 | |
|---|
| 65 | ideal iq = 49,x2-2; |
|---|
| 66 | iq = std(iq); |
|---|
| 67 | |
|---|
| 68 | ideal bla= 7y-96z,yz; |
|---|
| 69 | |
|---|
| 70 | qring rngQ = iq; |
|---|
| 71 | |
|---|
| 72 | def bla1=imap(rng3,bla); |
|---|
| 73 | bla1; |
|---|
| 74 | |
|---|
| 75 | def bla2=fetch(rng3,bla); |
|---|
| 76 | bla2; |
|---|
| 77 | |
|---|
| 78 | map mapi=rng3,x,y,z; |
|---|
| 79 | def bla3=mapi(bla); |
|---|
| 80 | bla3; |
|---|
| 81 | |
|---|
| 82 | tst_status(1); |
|---|
| 83 | $ |
|---|
Note: See
TracBrowser
for help on using the repository browser.
