checking complex:
Vecsmall([2, 2])

[1 0]

[1 1]

[Vecsmall([1, 1]), [[[Vecsmall([1]), Vecsmall([-1])]~]]]
checking complex:
Vecsmall([1, 1])

[-1]

[Vecsmall([0, 0]), [[]]]
checking complex:
Vecsmall([0, 0])
[;]


checking complex:
Vecsmall([1, 3, 3, 1])

[-1 1 1]


[1  0 1]

[1  1 1]

[0 -1 0]


[ 1]

[ 0]

[-1]

[Vecsmall([0, 0, 0, 0]), [[], [], []]]
checking complex:
Vecsmall([0, 0, 0, 0])
[;]
[;]
[;]

Lampret Remarks 1.4 (i)
checking complex:
Vecsmall([2, 3])

[1  1 0]

[1 -1 0]

[Vecsmall([1, 2]), [[[Vecsmall([1]), Vecsmall([2])]~, [Vecsmall([]), Vecsmal
l([])]]]]
checking complex:
Vecsmall([1, 2])

[2 0]


Lampret Remarks 2.6 (a)
checking complex:
Vecsmall([2, 2])

[3 4]

[2 3]

[Vecsmall([2, 2]), [[[Vecsmall([1, 2]), Vecsmall([3, 2])]~, [Vecsmall([1, 2]
), Vecsmall([4, 3])]~]]]
checking complex:
Vecsmall([2, 2])

[3 4]

[2 3]


Lampret Remarks 2.6 (b)
checking complex:
Vecsmall([6, 6])

[0 0 0 0 1 1]

[0 0 0 1 1 0]

[0 0 1 1 0 0]

[0 1 1 0 0 0]

[1 1 0 0 0 0]

[1 0 0 0 0 0]

[Vecsmall([5, 5]), [[[Vecsmall([4, 5]), Vecsmall([1, 1])]~, [Vecsmall([3, 4]
), Vecsmall([1, 1])]~, [Vecsmall([2, 3]), Vecsmall([1, 1])]~, [Vecsmall([1, 
2]), Vecsmall([1, 1])]~, [Vecsmall([1]), Vecsmall([1])]~]]]
checking complex:
Vecsmall([5, 5])

[0 0 0 1 1]

[0 0 1 1 0]

[0 1 1 0 0]

[1 1 0 0 0]

[1 0 0 0 0]


Lampret Remarks 2.6 (b) reversed
checking complex:
Vecsmall([6, 6])

[1 1 0 0 0 0]

[0 1 1 0 0 0]

[0 0 1 1 0 0]

[0 0 0 1 1 0]

[0 0 0 0 1 1]

[0 0 0 0 0 1]

[Vecsmall([0, 0]), [[]]]
checking complex:
Vecsmall([0, 0])
[;]

Lampret Remarks 2.6 (c)
checking complex:
Vecsmall([2, 2])

[0 1]

[1 1]

[Vecsmall([1, 1]), [[[Vecsmall([1]), Vecsmall([1])]~]]]
checking complex:
Vecsmall([1, 1])

[1]


Lampret Remarks 2.6 (c) reversed
checking complex:
Vecsmall([2, 2])

[1 1]

[0 1]

[Vecsmall([0, 0]), [[]]]
checking complex:
Vecsmall([0, 0])
[;]

Lampret Example 3.1 (a)
checking complex:
Vecsmall([4, 3])

[1 0 0]

[1 0 0]

[1 0 0]

[1 1 1]

[Vecsmall([3, 2]), [[[Vecsmall([1, 2, 3]), Vecsmall([-1, -1, -1])]~, [Vecsma
ll([1, 2, 3]), Vecsmall([-1, -1, -1])]~]]]
checking complex:
Vecsmall([3, 2])

[-1 -1]

[-1 -1]

[-1 -1]


Lampret Example 3.1 (b)
checking complex:
Vecsmall([4, 3])

[1 1 1]

[1 0 0]

[1 0 0]

[1 0 0]

[Vecsmall([3, 2]), [[[Vecsmall([1]), Vecsmall([1])]~, [Vecsmall([1]), Vecsma
ll([1])]~]]]
checking complex:
Vecsmall([3, 2])

[1 1]

[0 0]

[0 0]


Lampret Example 3.1 (c)
checking complex:
Vecsmall([4, 3])

[1 1 1]

[0 0 1]

[0 0 1]

[0 0 1]

[Vecsmall([2, 1]), [[[Vecsmall([]), Vecsmall([])]~]]]
checking complex:
Vecsmall([2, 1])

[0]

[0]


Lampret Example 1.3 (trefoil knot)
checking complex:
Vecsmall([4, 6, 12, 8])

[0 0  0  0 0 0]

[1 0 -1  0 1 0]

[1 0 -1  0 1 0]

[0 1  0 -1 0 1]


[-1  0  0 0  1  0  0 0 0 0 0 0]

[ 0 -1 -1 0  0  1  1 0 0 0 0 0]

[-1  0  0 0  0  0  0 0 1 0 0 0]

[ 0 -1 -1 0  0  0  0 0 0 1 1 0]

[ 0  0  0 0 -1  0  0 0 1 0 0 0]

[ 0  0  0 0  0 -1 -1 0 0 1 1 0]


[1 0 0 0 0 0 0 0]

[0 0 1 0 0 0 0 0]

[0 1 0 0 1 0 0 0]

[0 0 0 1 0 0 1 0]

[1 0 0 0 0 0 0 0]

[0 1 0 0 0 0 0 0]

[0 0 1 0 1 0 0 0]

[0 0 0 1 0 1 0 0]

[1 0 0 0 0 0 0 0]

[0 1 1 0 0 0 0 0]

[0 0 0 0 1 0 0 0]

[0 0 0 0 0 1 1 0]

[Vecsmall([2, 0, 3, 3]), [[], [[Vecsmall([]), Vecsmall([])]~, [Vecsmall([]),
 Vecsmall([])], [Vecsmall([]), Vecsmall([])]~], [[Vecsmall([1, 3]), Vecsmall
([-1, 1])]~, [Vecsmall([2]), Vecsmall([2])]~, [Vecsmall([]), Vecsmall([])]]]
]
checking complex:
Vecsmall([2, 0, 3, 3])
[;]
matrix(0,3)

[-1 0 0]

[ 0 2 0]

[ 1 0 0]


Lampret Examples 2.5 RP1 first ordering
checking complex:
Vecsmall([6, 15, 10])

[-1 -1 -1 -1 -1  0  0  0  0  0  0  0  0  0  0]

[ 1  0  0  0  0 -1 -1 -1 -1  0  0  0  0  0  0]

[ 0  1  0  0  0  1  0  0  0 -1 -1 -1  0  0  0]

[ 0  0  1  0  0  0  1  0  0  1  0  0 -1 -1  0]

[ 0  0  0  1  0  0  0  1  0  0  1  0  1  0 -1]

[ 0  0  0  0  1  0  0  0  1  0  0  1  0  1  1]


[ 1  1  0  0  0  0  0  0  0  0]

[ 0  0  1  1  0  0  0  0  0  0]

[-1  0 -1  0  0  0  0  0  0  0]

[ 0 -1  0  0  1  0  0  0  0  0]

[ 0  0  0 -1 -1  0  0  0  0  0]

[ 0  0  0  0  0  1  1  0  0  0]

[ 1  0  0  0  0  0  0  1  0  0]

[ 0  1  0  0  0 -1  0  0  0  0]

[ 0  0  0  0  0  0 -1 -1  0  0]

[ 0  0  1  0  0  0  0  0  1  0]

[ 0  0  0  0  0  1  0  0 -1  0]

[ 0  0  0  1  0  0  1  0  0  0]

[ 0  0  0  0  0  0  0  0  1  1]

[ 0  0  0  0  0  0  0  1  0 -1]

[ 0  0  0  0  1  0  0  0  0  1]

[Vecsmall([1, 2, 2]), [[[Vecsmall([]), Vecsmall([])]~, [Vecsmall([]), Vecsma
ll([])]~], [[Vecsmall([1, 2]), Vecsmall([1, -1])]~, [Vecsmall([1, 2]), Vecsm
all([-1, -1])]~]]]
checking complex:
Vecsmall([1, 2, 2])

[0 0]


[ 1 -1]

[-1 -1]

[Vecsmall([1, 1, 1]), [[[Vecsmall([]), Vecsmall([])]], [[Vecsmall([1]), Vecs
mall([-2])]~]]]
checking complex:
Vecsmall([1, 1, 1])

[0]


[-2]


Lampret Examples 2.5 RP1 second ordering
checking complex:
Vecsmall([6, 15, 10])

[-1 -1  0 -1  0 -1  0  0  0  0 -1  0  0  0  0]

[ 1  0 -1  0  0  0 -1 -1  0  0  0  0 -1  0  0]

[ 0  1  1  0  1  0  0  0  0 -1  0  0  0 -1  0]

[ 0  0  0  1 -1  0  0  1 -1  0  0 -1  0  0  0]

[ 0  0  0  0  0  1  1  0  1  1  0  0  0  0 -1]

[ 0  0  0  0  0  0  0  0  0  0  1  1  1  1  1]


[ 1  0  1  0  0  0  0  0  0  0]

[-1 -1  0  0  0  0  0  0  0  0]

[ 1  0  0  0  0  0  0  1  0  0]

[ 0  1  0  0  0  1  0  0  0  0]

[ 0  1  0  0  1  0  0  0  0  0]

[ 0  0 -1  0  0  0  0  0  1  0]

[ 0  0  1 -1  0  0  0  0  0  0]

[ 0  0  0  1  0  0  1  0  0  0]

[ 0  0  0  1 -1  0  0  0  0  0]

[ 0  0  0  0  1  0  0  0  0  1]

[ 0  0  0  0  0 -1  0  0 -1  0]

[ 0  0  0  0  0  1  1  0  0  0]

[ 0  0  0  0  0  0 -1 -1  0  0]

[ 0  0  0  0  0  0  0  1  0 -1]

[ 0  0  0  0  0  0  0  0  1  1]

[Vecsmall([1, 1, 1]), [[[Vecsmall([]), Vecsmall([])]~], [[Vecsmall([1]), Vec
small([-2])]~]]]
checking complex:
Vecsmall([1, 1, 1])

[0]


[-2]

Total time spent: 1
