1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
|
0 True
--------
K_1^3 K_3 K_4^2 False
Exception caught
Exception caught
K_1^3 K_3 K_4^2 False
2 K_1^3 K_3 K_4^2 False K_1^3 K_3 K_4^2 False
0 True K_1^3 K_3 K_4^2 False
--------
Exception caught
Exception caught
(-A^2 + 2 A^-1) + (-A^-1 + 3 A^-2) K_1 False
--------
(-A^-1 + 3 A^-2) K_1
(-A^2 + 2 A^-1) + (-2 A^-1 + 6 A^-2) K_1
-A^2 + 2 A^-1
(-A^2 + 2 A^-1) + (-2 A^-1 + 6 A^-2) K_1
A^2 - 2 A^-1
(A^2 - 2 A^-1) + (A^-1 - 3 A^-2) K_1
--------
(-A^2 + 2 A^-1) + (-2 A^-1 + 6 A^-2) K_1
(-A^2 + 2 A^-1) + (-A^-1 + 3 A^-2) K_1
-A^2 + 2 A^-1
--------
(-A^2 + 2 A^-1) + (-A^-1 + 3 A^-2) K_1 vs (-A^-1 + 3 A^-2) K_1
(-A^-1 + 3 A^-2) K_1 vs (-A^2 + 2 A^-1) + (-A^-1 + 3 A^-2) K_1
(-A^2 + 2 A^-1) + (-A^-1 + 3 A^-2) K_1 vs (-A^-1 + 3 A^-2) K_1
--------
(3 A^2 - 6 A^-1) + (3 A^-1 - 9 A^-2) K_1
(3 A^2 - 6 A^-1) + (3 A^-1 - 9 A^-2) K_1
(-A^4 + 2 A) + (-A + 3) K_1
(-A^4 + 2 A) + (-A + 3) K_1
--------
-x^2 + 2 x^-1
-x^-1 + 3 x^-2
0
0
(-A^2 + 2 A^-1) + (-5 A^5 + 2 A^3) K_2 + (-A^-1 + 3 A^-2) K_1
-5 x^5 + 2 x^3
Exception caught
(-A^2 + 2 A^-1) + (-A^-1 + 3 A^-2) K_1
--------
(3 A^2 - 6 A^-1) + (3 A^-1 - 9 A^-2) K_1
(3 A^4 - 6 A) + (3 A - 9) K_1
--------
(3 A^2 - 6 A^-1) + (3 A^-1 - 9 A^-2) K_1
(-3 A^2 + 6 A^-1) + (-3 A^-1 + 9 A^-2) K_1
(6 A - 3 A^-2) + (9 A^2 - 3 A) K_1
(6 A^2 - 3 A^-4) + (9 A^4 - 3 A^2) K_1
(-3 A^2 + 6 A^-1) + (-3 A^-1 + 9 A^-2) K_1
--------
SLJOMMVKJLMNNM
(-3 A^2 + 6 A^-1) + (-3 A^-1 + 9 A^-2) K_1
0 True
M
0
--------
A^-4 + (A^-6 - A^-10) K_1
A^-4 + (A^-6 - A^-10) K_1
3 A^-4 + (A^-6 - A^-10) K_1
(A^-6 - A^-10) K_1
Exception caught
Exception caught
True
False
False
True
--------
1-crossing, 2-component virtual link: - ( ^0 ) ( _0 )
-A^2 - A^4 K_1
3-crossing virtual knot: ++- ( ^0 _1 ^2 _0 ^1 _2 )
A^-8 + (1 - A^-8) K_1^2
4-crossing virtual knot: +-+- ( ^0 _1 ^3 _2 _3 ^2 _0 ^1 )
(A^4 + 1 + A^-4) + 2 K_2 + (-A^4 - 2 - A^-4) K_1^2
5-crossing virtual knot: ++--- ( ^0 _2 ^3 _0 ^1 _4 ^2 _3 ^4 _1 )
1
4-crossing virtual knot: +-++ ( ^0 _1 _2 _0 ^2 ^3 ^1 _3 )
(2 A^-4 + A^-8) + (A^-4 + A^-8) K_2 + (A^-6 - A^-10) K_1 + (-2 A^-4 - 2 A^-8) K_1^2
4-crossing virtual knot: ---+ ( ^0 ^1 ^2 ^3 _0 _2 _1 _3 )
A^8 + A^10 K_3 + A^6 K_1 + (-A^10 - A^6) K_1 K_2 + (-A^8 + 1) K_1^2
4-crossing virtual knot: ---+ ( ^0 ^1 _2 ^3 _1 _0 ^2 _3 )
A^8 + A^6 K_3 + A^10 K_1 + (-A^10 - A^6) K_1 K_2 + (-A^8 + 1) K_1^2
3-crossing, 2-component virtual link: +++ ( ^0 _1 ^2 ) ( _0 ^1 _2 )
-A^-6 + (-A^-8 + A^-12 - A^-16) K_1
3-crossing, 2-component virtual link: --- ( ^2 _1 ^0 ) ( _0 ^1 _2 )
(-A^10 + A^6 - A^2) - A^12 K_1
|
