source: git/Tst/Long/surfacesignature.tst @ 0b9911

spielwiese
Last change on this file since 0b9911 was 012ff8, checked in by Stefan Steidel <steidel@…>, 13 years ago
Changes respecting changes in surfacesignature.lib: brieskornSign --> signatureBrieskorn; signature --> signatureNemethi. git-svn-id: file:///usr/local/Singular/svn/trunk@14047 2c84dea3-7e68-4137-9b89-c4e89433aadc
  • Property mode set to 100755
File size: 1.5 KB
RevLine 
[f20cf7]1LIB "tst.lib";
2tst_init();
3
4LIB "surfacesignature.lib";
5
[012ff8]6example signatureBrieskorn;
[f20cf7]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;
[012ff8]16a = signatureNemethi(N,f,1);
17b = signatureNemethi(N,f,2);
[f20cf7]18a;
19a == b;
20
21g1 = f^3 + x9y8;
[012ff8]22signatureNemethi(N,g1,2);
[f20cf7]23
24g3 = f^5 + x20y20;
[012ff8]25signatureNemethi(N,g3,2);
[f20cf7]26
27
28N = 6;
29f = y4+2x3y2+x6+x5y;
[012ff8]30a = signatureNemethi(N,f,1);
31b = signatureNemethi(N,f,2);
32c = signatureNemethi(N,f,3);
[f20cf7]33a;
34a == b;
35b == c;
36
37g1 = f^2 + x5y5;
[012ff8]38a = signatureNemethi(N,g1,1);
39b = signatureNemethi(N,g1,2);
[f20cf7]40a;
41a == b;
42
43g2 = f^3 + x11y11;
[012ff8]44a = signatureNemethi(N,g2,1);
45b = signatureNemethi(N,g2,2);
[f20cf7]46a;
47a == b;
48
49
50N = 7;
51f = x5+y11;
[012ff8]52a = signatureNemethi(N,f,1);
53b = signatureNemethi(N,f,2);
54c = signatureNemethi(N,f,3);
[f20cf7]55a;
56a == b;
57b == c;
58
59g1 = f^2 + x5y5;
[012ff8]60b = signatureNemethi(N,g1,2);
61c = signatureNemethi(N,g1,3);
[f20cf7]62b;
63b == c;
64
65g2 = f^3 + x11y11;
[012ff8]66a = signatureNemethi(N,g2,1);
67b = signatureNemethi(N,g2,2);
[f20cf7]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;
[012ff8]76a = signatureNemethi(N,f,1);
77b = signatureNemethi(N,f,2);
[f20cf7]78a;
79a == b;
80
81
82N = 12;
83f = 2x3y3-2y5+x4-xy2;
[012ff8]84b = signatureNemethi(N,f,2);
85c = signatureNemethi(N,f,3);
[f20cf7]86b;
87b == c;
88
89f = -x3y3+x6y+xy6-x4y4;
[012ff8]90b = signatureNemethi(N,f,2);
91c = signatureNemethi(N,f,3);
[f20cf7]92b;
93b == c;   
94
95tst_status(1);$
Note: See TracBrowser for help on using the repository browser.