1 | LIB "tst.lib"; |
---|

2 | tst_init(); |
---|

3 | |
---|

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

5 | |
---|

6 | example signatureBrieskorn; |
---|

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; |
---|

16 | a = signaturePuiseux(N,f); |
---|

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

18 | a; |
---|

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

20 | |
---|

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

22 | signatureNemethi(N,g1); |
---|

23 | |
---|

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

25 | signatureNemethi(N,g3); |
---|

26 | |
---|

27 | |
---|

28 | N = 6; |
---|

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

30 | a = signaturePuiseux(N,f); |
---|

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

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

33 | a; |
---|

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

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

36 | |
---|

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

38 | a = signaturePuiseux(N,g1); |
---|

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

40 | a; |
---|

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

42 | |
---|

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

44 | a = signaturePuiseux(N,g2); |
---|

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

46 | a; |
---|

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

48 | |
---|

49 | |
---|

50 | N = 7; |
---|

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

52 | a = signaturePuiseux(N,f); |
---|

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

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

55 | a; |
---|

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

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

58 | |
---|

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

60 | b = signatureNemethi(N,g1,1); |
---|

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

62 | b; |
---|

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

64 | |
---|

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

66 | a = signaturePuiseux(N,g2); |
---|

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

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; |
---|

76 | a = signaturePuiseux(N,f); |
---|

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

78 | a; |
---|

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

80 | |
---|

81 | |
---|

82 | N = 12; |
---|

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

84 | b = signatureNemethi(N,f,1); |
---|

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

86 | b; |
---|

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

88 | |
---|

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

90 | b = signatureNemethi(N,f,1); |
---|

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

92 | b; |
---|

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

94 | |
---|

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