[f20cf7] | 1 | LIB "tst.lib"; |
---|

| 2 | tst_init(); |
---|

| 3 | |
---|

| 4 | LIB "surfacesignature.lib"; |
---|

| 5 | |
---|

[012ff8] | 6 | example signatureBrieskorn; |
---|

[f20cf7] | 7 | |
---|

| 8 | ring R = 0, (x,y), dp; |
---|

| 9 | poly f, g, g1, g2, g3; |
---|

| 10 | int N; |
---|

| 11 | number a,b,c; |
---|

| 12 | |
---|

| 13 | N = 5; |
---|

| 14 | f = x15-21x14+8x13y-6x13-16x12y+20x11y2-x12+8x11y-36x10y2 |
---|

| 15 | +24x9y3+4x9y2-16x8y3+26x7y4-6x6y4+8x5y5+4x3y6-y8; |
---|

[012ff8] | 16 | a = signatureNemethi(N,f,1); |
---|

| 17 | b = signatureNemethi(N,f,2); |
---|

[f20cf7] | 18 | a; |
---|

| 19 | a == b; |
---|

| 20 | |
---|

| 21 | g1 = f^3 + x9y8; |
---|

[012ff8] | 22 | signatureNemethi(N,g1,2); |
---|

[f20cf7] | 23 | |
---|

| 24 | g3 = f^5 + x20y20; |
---|

[012ff8] | 25 | signatureNemethi(N,g3,2); |
---|

[f20cf7] | 26 | |
---|

| 27 | |
---|

| 28 | N = 6; |
---|

| 29 | f = y4+2x3y2+x6+x5y; |
---|

[012ff8] | 30 | a = signatureNemethi(N,f,1); |
---|

| 31 | b = signatureNemethi(N,f,2); |
---|

| 32 | c = signatureNemethi(N,f,3); |
---|

[f20cf7] | 33 | a; |
---|

| 34 | a == b; |
---|

| 35 | b == c; |
---|

| 36 | |
---|

| 37 | g1 = f^2 + x5y5; |
---|

[012ff8] | 38 | a = signatureNemethi(N,g1,1); |
---|

| 39 | b = signatureNemethi(N,g1,2); |
---|

[f20cf7] | 40 | a; |
---|

| 41 | a == b; |
---|

| 42 | |
---|

| 43 | g2 = f^3 + x11y11; |
---|

[012ff8] | 44 | a = signatureNemethi(N,g2,1); |
---|

| 45 | b = signatureNemethi(N,g2,2); |
---|

[f20cf7] | 46 | a; |
---|

| 47 | a == b; |
---|

| 48 | |
---|

| 49 | |
---|

| 50 | N = 7; |
---|

| 51 | f = x5+y11; |
---|

[012ff8] | 52 | a = signatureNemethi(N,f,1); |
---|

| 53 | b = signatureNemethi(N,f,2); |
---|

| 54 | c = signatureNemethi(N,f,3); |
---|

[f20cf7] | 55 | a; |
---|

| 56 | a == b; |
---|

| 57 | b == c; |
---|

| 58 | |
---|

| 59 | g1 = f^2 + x5y5; |
---|

[012ff8] | 60 | b = signatureNemethi(N,g1,2); |
---|

| 61 | c = signatureNemethi(N,g1,3); |
---|

[f20cf7] | 62 | b; |
---|

| 63 | b == c; |
---|

| 64 | |
---|

| 65 | g2 = f^3 + x11y11; |
---|

[012ff8] | 66 | a = signatureNemethi(N,g2,1); |
---|

| 67 | b = signatureNemethi(N,g2,2); |
---|

[f20cf7] | 68 | a; |
---|

| 69 | a == b; |
---|

| 70 | |
---|

| 71 | |
---|

| 72 | N = 6; |
---|

| 73 | f = 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] | 76 | a = signatureNemethi(N,f,1); |
---|

| 77 | b = signatureNemethi(N,f,2); |
---|

[f20cf7] | 78 | a; |
---|

| 79 | a == b; |
---|

| 80 | |
---|

| 81 | |
---|

| 82 | N = 12; |
---|

| 83 | f = 2x3y3-2y5+x4-xy2; |
---|

[012ff8] | 84 | b = signatureNemethi(N,f,2); |
---|

| 85 | c = signatureNemethi(N,f,3); |
---|

[f20cf7] | 86 | b; |
---|

| 87 | b == c; |
---|

| 88 | |
---|

| 89 | f = -x3y3+x6y+xy6-x4y4; |
---|

[012ff8] | 90 | b = signatureNemethi(N,f,2); |
---|

| 91 | c = signatureNemethi(N,f,3); |
---|

[f20cf7] | 92 | b; |
---|

| 93 | b == c; |
---|

| 94 | |
---|

| 95 | tst_status(1);$ |
---|