fieker-DuValspielwiese
|
Last change
on this file since 76ce4e6 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:
487 bytes
|
| Line | |
|---|
| 1 | LIB "tst.lib"; tst_init(); |
|---|
| 2 | LIB "rinvar.lib"; |
|---|
| 3 | ring B = 0,(s(1..5), t(1..3)),dp; |
|---|
| 4 | ideal G = s(3)-s(4), s(2)-s(5), s(4)*s(5), s(1)^2*s(4)+s(1)^2*s(5)-1, s(1)^2*s(5)^2-s(5), s(4)^4-s(5)^4+s(1)^2, s(1)^4+s(4)^3-s(5)^3, s(5)^5-s(1)^2*s(5); |
|---|
| 5 | ideal action = -s(4)*t(1)+s(5)*t(1), -s(4)^2*t(2)+2*s(4)^2*t(3)^2+s(5)^2*t(2), s(4)*t(3)+s(5)*t(3); |
|---|
| 6 | LinearActionQ(action, 5); |
|---|
| 7 | def R = LinearizeAction(G, action, 5); |
|---|
| 8 | setring R; |
|---|
| 9 | R; |
|---|
| 10 | actionid; |
|---|
| 11 | embedid; |
|---|
| 12 | groupid; |
|---|
| 13 | LinearActionQ(actionid, 5); |
|---|
| 14 | tst_status(1);$ |
|---|
Note: See
TracBrowser
for help on using the repository browser.
