spielwiese
|
Last change
on this file since 197c4e was
75f460,
checked in by Hans Schoenemann <hannes@…>, 9 years ago
|
|
format
|
-
Property mode set to
100644
|
|
File size:
391 bytes
|
| Line | |
|---|
| 1 | LIB "tst.lib"; |
|---|
| 2 | tst_init(); |
|---|
| 3 | ring r=32003,(y,t,x,z,w),(dp, c); |
|---|
| 4 | ideal i=6*t^5*x^3*z^4+5*x^5*z^7+4*t^4*y*z^3*w^4, |
|---|
| 5 | 5*t^3*x^2*y^7*z^4+5*t^6*x*y^3*z^3*w^3+4*t^5*x^5*y*w^5, |
|---|
| 6 | 2*t^8*z^6+6*t^5*y*z^7*w+6*t^4*y^2*z^3*w^5; |
|---|
| 7 | resolution rs = sres(std(i), 0);rs; |
|---|
| 8 | resolution rl = lres(i, 0);rl; |
|---|
| 9 | intmat is = betti(rs);is; |
|---|
| 10 | intmat il = betti(rl);il; |
|---|
| 11 | if (size(is) != size(il)) {"ERROR: is != il";} |
|---|
| 12 | tst_status(1); |
|---|
| 13 | $ |
|---|
Note: See
TracBrowser
for help on using the repository browser.
