source: git/Tst/Short/arcAtPoint.tst @ b7d0a9c

spielwiese
Last change on this file since b7d0a9c was 8f296a, checked in by Oleksandr Motsak <motsak@…>, 11 years ago
Updated 'Singular/singular-libs' (for tested libs only) + The rest of updated tests due to master [mmm]! fix: corrected some wrong library names in tests (TODO: update test results afterwards) TODO/NOTE: some of LIB/*.lib are not installed and not yet tested in Tst/ NOTE: some more changes to Interpreter are needed for several further (incompatible with master) tests !!!
  • Property mode set to 100644
File size: 1.9 KB
Line 
1LIB "arcpoint.lib"; // TODO: update test result!
2LIB "tst.lib";
3tst_init();
4ring R=0,(x,y,z),dp;
5poly f=z4+y3-x2;
6// We obtain six families in Tr(i) for
7// i sufficiently large, and the following
8// corresponding sequences of
9// Nash multiplicities:
10//
11// a(1)=b(1)=c(1)^4-a(2)^2=0,
12// c(1)!=0,a(2)!=0     
13// from (2,2,1) ==> two families
14//
15// a(1)=b(1)=a(2)=c(1)=b(2)^3-a(3)^2=0,
16// b(2)!=0,a(3)!=0 from (2,2,2,1)
17//
18// a(1)=b(1)=c(1)=a(2)=b(2)=a(3)
19//     =c(2)^4-a(4)^2=0,
20// c(2)!=0,a(4)!=0
21// from (2,2,2,2,1) ==> two families
22//
23// a(1)=b(1)=c(1)=a(2)=b(2)=c(2)=a(3)=b(3)
24//     =a(4)=a(5)=c(3)^4+b(4)^3-a(6)^2=0,
25// a(6)!=0,c(3)^4+b(4)^3!=0
26// from (2,2,2,2,2,2,1)
27
28def S1=nashmult(f,6);
29setring S1;
30allsteps;
31
32
33setring R;
34// we allow only for positive integer
35// arguments
36def S2=nashmult(f,-6);
37
38//----------------------------------------
39kill R;
40
41ring R=0,(x,y,z),dp;
42ideal I=x,y2,z3;
43ideal J=x2+y3;
44// J in I but I not in J
45
46equalJinI(I,J);
47
48ideal I1=x+y,xy,z;
49ideal J1=x2+y2,z2;
50// J1 in I1 but I1 not in J1
51
52equalJinI(I1,J1);
53
54ideal I2=x,y,z;
55ideal J2=x+y,y+z,y;
56// I2==J2
57
58equalJinI(I2,J2);
59
60
61kill R;
62//----------------------------------------
63
64ring R=0,(a(1..3),b(1..3),c(1..3)),dp;
65ideal I=a(1)^3,a(2)^7,a(3),b(1)^34,b(2)*b(3),c(1)*a(1),c(3)^4;
66// I has generators
67//
68// I[1]=a(1)^3
69// I[2]=a(2)^7
70// I[3]=a(3)
71// I[4]=b(1)^34
72// I[5]=b(2)*b(3)
73// I[6]=a(1)*c(1)
74// I[7]=c(3)^4
75//
76// and replacing powers of variables by the
77// respective variables leads to an ideal
78// generated by
79// a(1),a(2),a(3),b(1),b(2)*b(3),a(1)*c(1),c(3)
80
81removepower(I);
82
83kill R;
84//----------------------------------------
85
86ring R=0,(a(1..3),b(1..3),c(1..3)),dp;
87ideal I=a(1)^3,a(2)^7,a(3),b(1)^34,b(2)*b(3),c(1)*a(1),c(3)^4;
88
89// pairwise reduction of the generators of I gives
90// an ideal J (such that V(I)=V(J)) generated by
91// a(1),a(2),a(3),b(1),b(2)*b(3),c(3)
92
93idealsimplify(I,10);
94
95// .. but we admit only positive integer
96// arguments:
97
98idealsimplify(I,-10);
99
100tst_status(1);$
Note: See TracBrowser for help on using the repository browser.