spielwiese
|
Last change
on this file since 6fb723 was
e197f5,
checked in by Oleksandr Motsak <motsak@…>, 12 years ago
|
|
fix due to case sensitive file systems
fix: tests from Manual/ with only case different names
chg: updated *.uu results as well!
chg: updated regress.cmd to remote the leading _ for tests starting with "_[a-z0-9]" during the TC output
NOTE: the tests with lower case names got a leading underscore character (_)
|
-
Property mode set to
100644
|
|
File size:
592 bytes
|
| Line | |
|---|
| 1 | LIB "tst.lib"; tst_init(); |
|---|
| 2 | LIB "ainvar.lib"; |
|---|
| 3 | //Winkelmann: free action but Spec(k[x(1),...,x(5)]) --> Spec(invariant ring) |
|---|
| 4 | //is not surjective |
|---|
| 5 | ring rw=0,(x(1..5)),dp; |
|---|
| 6 | matrix m[5][1]; |
|---|
| 7 | m[3,1]=x(1); |
|---|
| 8 | m[4,1]=x(2); |
|---|
| 9 | m[5,1]=1+x(1)*x(4)+x(2)*x(3); |
|---|
| 10 | ideal in=invariantRing(m,x(3),x(1),0); //compute full invarint ring |
|---|
| 11 | in; |
|---|
| 12 | //Deveney/Finston: The ring of invariants is not finitely generated |
|---|
| 13 | ring rf=0,(x(1..7)),dp; |
|---|
| 14 | matrix m[7][1]; |
|---|
| 15 | m[4,1]=x(1)^3; |
|---|
| 16 | m[5,1]=x(2)^3; |
|---|
| 17 | m[6,1]=x(3)^3; |
|---|
| 18 | m[7,1]=(x(1)*x(2)*x(3))^2; |
|---|
| 19 | ideal in=invariantRing(m,x(4),x(1),6); //all invariants up to degree 6 |
|---|
| 20 | in; |
|---|
| 21 | tst_status(1);$ |
|---|
Note: See
TracBrowser
for help on using the repository browser.
