source: git/Tst/Long/surfacesignature.tst @ 8930f2c

spielwiese
Last change on this file since 8930f2c was 8930f2c, checked in by Hans Schoenemann <hannes@…>, 13 years ago
surfacesignature tests git-svn-id: file:///usr/local/Singular/svn/trunk@13375 2c84dea3-7e68-4137-9b89-c4e89433aadc
  • Property mode set to 100755
File size: 1.3 KB
RevLine 
[f20cf7]1LIB "tst.lib";
2tst_init();
3
4LIB "surfacesignature.lib";
5
6example brieskornSign;
7
8ring R = 0, (x,y), dp;
9poly f, g, g1, g2, g3;
10int N;
11number a,b,c;
12
13N = 5;
14f = x15-21x14+8x13y-6x13-16x12y+20x11y2-x12+8x11y-36x10y2   
15   +24x9y3+4x9y2-16x8y3+26x7y4-6x6y4+8x5y5+4x3y6-y8;
16a = signature(N,f,1);
17b = signature(N,f,2);
18a;
19a == b;
20
21g1 = f^3 + x9y8;
22signature(N,g1,2);
23
24g3 = f^5 + x20y20;
25signature(N,g3,2);
26
27
28N = 6;
29f = y4+2x3y2+x6+x5y;
30a = signature(N,f,1);
31b = signature(N,f,2);
32c = signature(N,f,3);
33a;
34a == b;
35b == c;
36
37g1 = f^2 + x5y5;
38a = signature(N,g1,1);
39b = signature(N,g1,2);
40a;
41a == b;
42
43g2 = f^3 + x11y11;
44a = signature(N,g2,1);
45b = signature(N,g2,2);
46a;
47a == b;
48
49
50N = 7;
51f = x5+y11;
52a = signature(N,f,1);
53b = signature(N,f,2);
54c = signature(N,f,3);
55a;
56a == b;
57b == c;
58
59g1 = f^2 + x5y5;
60b = signature(N,g1,2);
61c = signature(N,g1,3);
62b;
63b == c;
64
65g2 = f^3 + x11y11;
66a = signature(N,g2,1);
67b = signature(N,g2,2);
68a;
69a == b;
70
71
72N = 6;     
73f = x71+6x65+15x59-630x52y6+20x53+6230x46y6+910x39y12+15x47
74    -7530x40y6+14955x33y12-285x26y18+6x41+1230x34y6+4680x27y12
75    +1830x20y18+30x13y24+x35-5x28y6+10x21y12-10x14y18+5x7y24-y30;
76a = signature(N,f,1);
77b = signature(N,f,2);
78a;
79a == b;
80
81
82N = 12;
83f = 2x3y3-2y5+x4-xy2;
84b = signature(N,f,2);
85c = signature(N,f,3);
86b;
87b == c;
88
89f = -x3y3+x6y+xy6-x4y4;
90b = signature(N,f,2);
91c = signature(N,f,3);
92b;
93b == c;   
94
95tst_status(1);$
Note: See TracBrowser for help on using the repository browser.