spielwiese
|
Last change
on this file since ef52d6 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:
649 bytes
|
| Line | |
|---|
| 1 | LIB "tst.lib"; tst_init(); |
|---|
| 2 | LIB "hnoether.lib"; |
|---|
| 3 | ring exring = 7,(x,y),ds; |
|---|
| 4 | list Hne=develop(4x98+2x49y7+x11y14+2y14); |
|---|
| 5 | print(Hne[1]); |
|---|
| 6 | // therefore the HNE is: |
|---|
| 7 | // z(-1)= 3*z(0)^7 + z(0)^7*z(1), |
|---|
| 8 | // z(0) = z(1)*z(2), (there is 1 zero in the 2nd row before x) |
|---|
| 9 | // z(1) = z(2)^3*z(3), (there are 3 zeroes in the 3rd row) |
|---|
| 10 | // z(2) = z(3)*z(4), |
|---|
| 11 | // z(3) = -z(4)^2 + 0*z(4)^3 +...+ 0*z(4)^8 + ?*z(4)^9 + ... |
|---|
| 12 | // (the missing x in the last line indicates that it is not complete.) |
|---|
| 13 | Hne[2]; |
|---|
| 14 | param(Hne); |
|---|
| 15 | // parametrization: x(t)= -t^14+O(t^21), y(t)= -3t^98+O(t^105) |
|---|
| 16 | // (the term -t^109 in y may have a wrong coefficient) |
|---|
| 17 | displayHNE(Hne); |
|---|
| 18 | tst_status(1);$ |
|---|
Note: See
TracBrowser
for help on using the repository browser.
