spielwiese
Last change
on this file since ef52d6 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.