spielwiese
Last change
on this file since b207eb was
c1b787,
checked in by Hans Schönemann <hannes@…>, 14 years ago
|
bug in quotient fixed (see Short/bug_quotient.tst)
git-svn-id: file:///usr/local/Singular/svn/trunk@12413 2c84dea3-7e68-4137-9b89-c4e89433aadc
|
-
Property mode set to
100644
|
File size:
506 bytes
|
Line | |
---|
1 | LIB "tst.lib"; |
---|
2 | tst_init(); |
---|
3 | |
---|
4 | ring S=0,(x,y,z,u,v),dp; |
---|
5 | ideal I; |
---|
6 | I[1]=6z-1; |
---|
7 | I[2]=6y-1; |
---|
8 | I[3]=12x+6u+6v+1; |
---|
9 | I[4]=12u2+12v2-1; |
---|
10 | I[5]=432v4-36v2+1; |
---|
11 | dim(std(I)); |
---|
12 | //option(prot); |
---|
13 | def J=quot(module(I),module(ideal(xyzuv)),1); |
---|
14 | dim(std(J));kill J; |
---|
15 | def J=quot(module(I),module(ideal(xyzuv)),2); |
---|
16 | dim(std(J));kill J; |
---|
17 | def J=quot(module(I),module(ideal(xyzuv)),3); |
---|
18 | dim(std(J));kill J; |
---|
19 | def J=quot(module(I),module(ideal(xyzuv)),4); |
---|
20 | dim(std(J)); |
---|
21 | J;kill J; |
---|
22 | def J=quotient(I,ideal(xyzuv)); |
---|
23 | dim(std(J)); |
---|
24 | J;kill S; |
---|
25 | tst_status(1);$ |
---|
Note: See
TracBrowser
for help on using the repository browser.