Skip to content

Commit

Permalink
Change tau to lambda
Browse files Browse the repository at this point in the history
  • Loading branch information
JoeyBF committed Oct 25, 2024
1 parent c0546b6 commit d9ec5e7
Show file tree
Hide file tree
Showing 12 changed files with 361 additions and 348 deletions.
60 changes: 30 additions & 30 deletions ext/examples/benchmarks/secondary_massey-3h_2-h_3-S_2
Original file line number Diff line number Diff line change
@@ -1,31 +1,31 @@
secondary_massey -- S_2 "" 30 7 3 1 h_2 [1] h_0h_2 [1] 7 1 h_3 [1] ""
<[h_2] + τh_0h_2, [h_3], τx_(0, 4, 0)> = ±[] + τ[1]
<[h_2] + τh_0h_2, [h_3], [x_(0, 4, 0)]> = ±[1] + τ[0]
<[h_2] + τh_0h_2, [h_3], τx_(0, 5, 0)> = ±[0] + τ[1]
<[h_2] + τh_0h_2, [h_3], [x_(0, 5, 0)]> = ±[1] + τ[1]
<[h_2] + τh_0h_2, [h_3], τx_(0, 6, 0)> = ±[0] + τ[1]
<[h_2] + τh_0h_2, [h_3], τx_(3, 1, 0)> = ±[] + τ[1]
<[h_2] + τh_0h_2, [h_3], [x_(3, 1, 0)]> = ±[1] + τ[0]
<[h_2] + τh_0h_2, [h_3], τx_(3, 2, 0)> = ±[0] + τ[1]
<[h_2] + τh_0h_2, [h_3], [x_(3, 2, 0)]> = ±[1] + τ[1]
<[h_2] + τh_0h_2, [h_3], τx_(3, 3, 0)> = ±[0] + τ[0]
<[h_2] + τh_0h_2, [h_3], [x_(3, 3, 0)]> = ±[0] + τ[1]
<[h_2] + τh_0h_2, [h_3], τx_(6, 2, 0)> = ±[] + τ[0]
<[h_2] + τh_0h_2, [h_3], [x_(6, 2, 0)]> = ±[0] + τ[0]
<[h_2] + τh_0h_2, [h_3], τx_(7, 2, 0)> = ±[1] + τ[0]
<[h_2] + τh_0h_2, [h_3], τx_(7, 3, 0)> = ±[0] + τ[0, 1]
<[h_2] + τh_0h_2, [h_3], τx_(7, 4, 0)> = ±[0, 0] + τ[1]
<[h_2] + τh_0h_2, [h_3], τx_(8, 2, 0)> = ±[] + τ[1]
<[h_2] + τh_0h_2, [h_3], [x_(8, 2, 0)]> = ±[1] + τ[]
<[h_2] + τh_0h_2, [h_3], τx_(8, 3, 0)> = ±[0] + τ[]
<[h_2] + τh_0h_2, [h_3], τx_(9, 3, 0)> = ±[] + τ[0]
<[h_2] + τh_0h_2, [h_3], [x_(9, 3, 0)]> = ±[0] + τ[1]
<[h_2] + τh_0h_2, [h_3], τx_(9, 4, 0)> = ±[0] + τ[1]
<[h_2] + τh_0h_2, [h_3], [x_(9, 4, 0)]> = ±[1] + τ[0]
<[h_2] + τh_0h_2, [h_3], τx_(9, 5, 0)> = ±[1] + τ[1]
<[h_2] + τh_0h_2, [h_3], [x_(15, 4, 0)]> = ±[] + τ[1]
<[h_2] + τh_0h_2, [h_3], τx_(15, 5, 0)> = ±[] + τ[1]
<[h_2] + τh_0h_2, [h_3], τx_(15, 5, 1)> = ±[] + τ[0]
<[h_2] + τh_0h_2, [h_3], [x_(15, 5, 0)]> = ±[1] + τ[1]
<[h_2] + τh_0h_2, [h_3], [x_(15, 5, 1)]> = ±[0] + τ[0]
<[h_2] + τh_0h_2, [h_3], τx_(15, 6, 0)> = ±[0] + τ[0]
<[h_2] + λh_0h_2, [h_3], λx_(0, 4, 0)> = ±[] + λ[1]
<[h_2] + λh_0h_2, [h_3], [x_(0, 4, 0)]> = ±[1] + λ[0]
<[h_2] + λh_0h_2, [h_3], λx_(0, 5, 0)> = ±[0] + λ[1]
<[h_2] + λh_0h_2, [h_3], [x_(0, 5, 0)]> = ±[1] + λ[1]
<[h_2] + λh_0h_2, [h_3], λx_(0, 6, 0)> = ±[0] + λ[1]
<[h_2] + λh_0h_2, [h_3], λx_(3, 1, 0)> = ±[] + λ[1]
<[h_2] + λh_0h_2, [h_3], [x_(3, 1, 0)]> = ±[1] + λ[0]
<[h_2] + λh_0h_2, [h_3], λx_(3, 2, 0)> = ±[0] + λ[1]
<[h_2] + λh_0h_2, [h_3], [x_(3, 2, 0)]> = ±[1] + λ[1]
<[h_2] + λh_0h_2, [h_3], λx_(3, 3, 0)> = ±[0] + λ[0]
<[h_2] + λh_0h_2, [h_3], [x_(3, 3, 0)]> = ±[0] + λ[1]
<[h_2] + λh_0h_2, [h_3], λx_(6, 2, 0)> = ±[] + λ[0]
<[h_2] + λh_0h_2, [h_3], [x_(6, 2, 0)]> = ±[0] + λ[0]
<[h_2] + λh_0h_2, [h_3], λx_(7, 2, 0)> = ±[1] + λ[0]
<[h_2] + λh_0h_2, [h_3], λx_(7, 3, 0)> = ±[0] + λ[0, 1]
<[h_2] + λh_0h_2, [h_3], λx_(7, 4, 0)> = ±[0, 0] + λ[1]
<[h_2] + λh_0h_2, [h_3], λx_(8, 2, 0)> = ±[] + λ[1]
<[h_2] + λh_0h_2, [h_3], [x_(8, 2, 0)]> = ±[1] + λ[]
<[h_2] + λh_0h_2, [h_3], λx_(8, 3, 0)> = ±[0] + λ[]
<[h_2] + λh_0h_2, [h_3], λx_(9, 3, 0)> = ±[] + λ[0]
<[h_2] + λh_0h_2, [h_3], [x_(9, 3, 0)]> = ±[0] + λ[1]
<[h_2] + λh_0h_2, [h_3], λx_(9, 4, 0)> = ±[0] + λ[1]
<[h_2] + λh_0h_2, [h_3], [x_(9, 4, 0)]> = ±[1] + λ[0]
<[h_2] + λh_0h_2, [h_3], λx_(9, 5, 0)> = ±[1] + λ[1]
<[h_2] + λh_0h_2, [h_3], [x_(15, 4, 0)]> = ±[] + λ[1]
<[h_2] + λh_0h_2, [h_3], λx_(15, 5, 0)> = ±[] + λ[1]
<[h_2] + λh_0h_2, [h_3], λx_(15, 5, 1)> = ±[] + λ[0]
<[h_2] + λh_0h_2, [h_3], [x_(15, 5, 0)]> = ±[1] + λ[1]
<[h_2] + λh_0h_2, [h_3], [x_(15, 5, 1)]> = ±[0] + λ[0]
<[h_2] + λh_0h_2, [h_3], λx_(15, 6, 0)> = ±[0] + λ[0]
50 changes: 25 additions & 25 deletions ext/examples/benchmarks/secondary_massey-P-S_2
Original file line number Diff line number Diff line change
@@ -1,26 +1,26 @@
secondary_massey -- S_2 "" 30 7 7 1 h_3 [1] "" 0 4 h_0^4 [1] ""
<[h_3], [h_0^4], τx_(1, 1, 0)> = ±[0] + τ[1]
<[h_3], [h_0^4], [x_(1, 1, 0)]> = ±[1] + τ[]
<[h_3], [h_0^4], τx_(2, 2, 0)> = ±[] + τ[1]
<[h_3], [h_0^4], [x_(2, 2, 0)]> = ±[1] + τ[]
<[h_3], [h_0^4], τx_(3, 1, 0)> = ±[] + τ[1]
<[h_3], [h_0^4], [x_(3, 1, 0)]> = ±[1] + τ[0]
<[h_3], [h_0^4], τx_(3, 2, 0)> = ±[0] + τ[1]
<[h_3], [h_0^4], [x_(3, 2, 0)]> = ±[1] + τ[1]
<[h_3], [h_0^4], τx_(3, 3, 0)> = ±[0] + τ[1]
<[h_3], [h_0^4], τx_(6, 2, 0)> = ±[0] + τ[1]
<[h_3], [h_0^4], [x_(6, 2, 0)]> = ±[1] + τ[]
<[h_3], [h_0^4], τx_(7, 1, 0)> = ±[0] + τ[1, 0]
<[h_3], [h_0^4], [x_(7, 1, 0)]> = ±[1, 0] + τ[0]
<[h_3], [h_0^4], τx_(7, 2, 0)> = ±[0, 0] + τ[1]
<[h_3], [h_0^4], [x_(7, 2, 0)]> = ±[1] + τ[1]
<[h_3], [h_0^4], τx_(7, 3, 0)> = ±[0] + τ[1]
<[h_3], [h_0^4], τx_(8, 2, 0)> = ±[] + τ[1]
<[h_3], [h_0^4], [x_(8, 2, 0)]> = ±[1] + τ[0]
<[h_3], [h_0^4], τx_(8, 3, 0)> = ±[0] + τ[1]
<[h_3], [h_0^4], τx_(9, 3, 0)> = ±[0] + τ[1]
<[h_3], [h_0^4], τx_(16, 2, 0)> = ±[0] + τ[]
<[h_3], [h_0^4], τx_(18, 2, 0)> = ±[] + τ[1]
<[h_3], [h_0^4], [x_(18, 2, 0)]> = ±[1] + τ[1]
<[h_3], [h_0^4], τx_(18, 3, 0)> = ±[0] + τ[0]
<[h_3], [h_0^4], τx_(21, 3, 0)> = ±[] + τ[0]
<[h_3], [h_0^4], λx_(1, 1, 0)> = ±[0] + λ[1]
<[h_3], [h_0^4], [x_(1, 1, 0)]> = ±[1] + λ[]
<[h_3], [h_0^4], λx_(2, 2, 0)> = ±[] + λ[1]
<[h_3], [h_0^4], [x_(2, 2, 0)]> = ±[1] + λ[]
<[h_3], [h_0^4], λx_(3, 1, 0)> = ±[] + λ[1]
<[h_3], [h_0^4], [x_(3, 1, 0)]> = ±[1] + λ[0]
<[h_3], [h_0^4], λx_(3, 2, 0)> = ±[0] + λ[1]
<[h_3], [h_0^4], [x_(3, 2, 0)]> = ±[1] + λ[1]
<[h_3], [h_0^4], λx_(3, 3, 0)> = ±[0] + λ[1]
<[h_3], [h_0^4], λx_(6, 2, 0)> = ±[0] + λ[1]
<[h_3], [h_0^4], [x_(6, 2, 0)]> = ±[1] + λ[]
<[h_3], [h_0^4], λx_(7, 1, 0)> = ±[0] + λ[1, 0]
<[h_3], [h_0^4], [x_(7, 1, 0)]> = ±[1, 0] + λ[0]
<[h_3], [h_0^4], λx_(7, 2, 0)> = ±[0, 0] + λ[1]
<[h_3], [h_0^4], [x_(7, 2, 0)]> = ±[1] + λ[1]
<[h_3], [h_0^4], λx_(7, 3, 0)> = ±[0] + λ[1]
<[h_3], [h_0^4], λx_(8, 2, 0)> = ±[] + λ[1]
<[h_3], [h_0^4], [x_(8, 2, 0)]> = ±[1] + λ[0]
<[h_3], [h_0^4], λx_(8, 3, 0)> = ±[0] + λ[1]
<[h_3], [h_0^4], λx_(9, 3, 0)> = ±[0] + λ[1]
<[h_3], [h_0^4], λx_(16, 2, 0)> = ±[0] + λ[]
<[h_3], [h_0^4], λx_(18, 2, 0)> = ±[] + λ[1]
<[h_3], [h_0^4], [x_(18, 2, 0)]> = ±[1] + λ[1]
<[h_3], [h_0^4], λx_(18, 3, 0)> = ±[0] + λ[0]
<[h_3], [h_0^4], λx_(21, 3, 0)> = ±[] + λ[0]
60 changes: 30 additions & 30 deletions ext/examples/benchmarks/secondary_massey-h_2-h_3-S_2
Original file line number Diff line number Diff line change
@@ -1,31 +1,31 @@
secondary_massey -- S_2 "" 30 7 3 1 h_2 [1] "" 7 1 h_3 [1] ""
<[h_2], [h_3], τx_(0, 4, 0)> = ±[] + τ[1]
<[h_2], [h_3], [x_(0, 4, 0)]> = ±[1] + τ[1]
<[h_2], [h_3], τx_(0, 5, 0)> = ±[0] + τ[1]
<[h_2], [h_3], [x_(0, 5, 0)]> = ±[1] + τ[0]
<[h_2], [h_3], τx_(0, 6, 0)> = ±[0] + τ[1]
<[h_2], [h_3], τx_(3, 1, 0)> = ±[] + τ[1]
<[h_2], [h_3], [x_(3, 1, 0)]> = ±[1] + τ[1]
<[h_2], [h_3], τx_(3, 2, 0)> = ±[0] + τ[1]
<[h_2], [h_3], [x_(3, 2, 0)]> = ±[1] + τ[1]
<[h_2], [h_3], τx_(3, 3, 0)> = ±[0] + τ[0]
<[h_2], [h_3], [x_(3, 3, 0)]> = ±[0] + τ[1]
<[h_2], [h_3], τx_(6, 2, 0)> = ±[] + τ[0]
<[h_2], [h_3], [x_(6, 2, 0)]> = ±[0] + τ[0]
<[h_2], [h_3], τx_(7, 2, 0)> = ±[1] + τ[0]
<[h_2], [h_3], τx_(7, 3, 0)> = ±[0] + τ[0, 1]
<[h_2], [h_3], τx_(7, 4, 0)> = ±[0, 0] + τ[1]
<[h_2], [h_3], τx_(8, 2, 0)> = ±[] + τ[1]
<[h_2], [h_3], [x_(8, 2, 0)]> = ±[1] + τ[]
<[h_2], [h_3], τx_(8, 3, 0)> = ±[0] + τ[]
<[h_2], [h_3], τx_(9, 3, 0)> = ±[] + τ[0]
<[h_2], [h_3], [x_(9, 3, 0)]> = ±[0] + τ[1]
<[h_2], [h_3], τx_(9, 4, 0)> = ±[0] + τ[1]
<[h_2], [h_3], [x_(9, 4, 0)]> = ±[1] + τ[1]
<[h_2], [h_3], τx_(9, 5, 0)> = ±[1] + τ[1]
<[h_2], [h_3], [x_(15, 4, 0)]> = ±[] + τ[1]
<[h_2], [h_3], τx_(15, 5, 0)> = ±[] + τ[1]
<[h_2], [h_3], τx_(15, 5, 1)> = ±[] + τ[0]
<[h_2], [h_3], [x_(15, 5, 0)]> = ±[1] + τ[1]
<[h_2], [h_3], [x_(15, 5, 1)]> = ±[0] + τ[0]
<[h_2], [h_3], τx_(15, 6, 0)> = ±[0] + τ[0]
<[h_2], [h_3], λx_(0, 4, 0)> = ±[] + λ[1]
<[h_2], [h_3], [x_(0, 4, 0)]> = ±[1] + λ[1]
<[h_2], [h_3], λx_(0, 5, 0)> = ±[0] + λ[1]
<[h_2], [h_3], [x_(0, 5, 0)]> = ±[1] + λ[0]
<[h_2], [h_3], λx_(0, 6, 0)> = ±[0] + λ[1]
<[h_2], [h_3], λx_(3, 1, 0)> = ±[] + λ[1]
<[h_2], [h_3], [x_(3, 1, 0)]> = ±[1] + λ[1]
<[h_2], [h_3], λx_(3, 2, 0)> = ±[0] + λ[1]
<[h_2], [h_3], [x_(3, 2, 0)]> = ±[1] + λ[1]
<[h_2], [h_3], λx_(3, 3, 0)> = ±[0] + λ[0]
<[h_2], [h_3], [x_(3, 3, 0)]> = ±[0] + λ[1]
<[h_2], [h_3], λx_(6, 2, 0)> = ±[] + λ[0]
<[h_2], [h_3], [x_(6, 2, 0)]> = ±[0] + λ[0]
<[h_2], [h_3], λx_(7, 2, 0)> = ±[1] + λ[0]
<[h_2], [h_3], λx_(7, 3, 0)> = ±[0] + λ[0, 1]
<[h_2], [h_3], λx_(7, 4, 0)> = ±[0, 0] + λ[1]
<[h_2], [h_3], λx_(8, 2, 0)> = ±[] + λ[1]
<[h_2], [h_3], [x_(8, 2, 0)]> = ±[1] + λ[]
<[h_2], [h_3], λx_(8, 3, 0)> = ±[0] + λ[]
<[h_2], [h_3], λx_(9, 3, 0)> = ±[] + λ[0]
<[h_2], [h_3], [x_(9, 3, 0)]> = ±[0] + λ[1]
<[h_2], [h_3], λx_(9, 4, 0)> = ±[0] + λ[1]
<[h_2], [h_3], [x_(9, 4, 0)]> = ±[1] + λ[1]
<[h_2], [h_3], λx_(9, 5, 0)> = ±[1] + λ[1]
<[h_2], [h_3], [x_(15, 4, 0)]> = ±[] + λ[1]
<[h_2], [h_3], λx_(15, 5, 0)> = ±[] + λ[1]
<[h_2], [h_3], λx_(15, 5, 1)> = ±[] + λ[0]
<[h_2], [h_3], [x_(15, 5, 0)]> = ±[1] + λ[1]
<[h_2], [h_3], [x_(15, 5, 1)]> = ±[0] + λ[0]
<[h_2], [h_3], λx_(15, 6, 0)> = ±[0] + λ[0]
74 changes: 37 additions & 37 deletions ext/examples/benchmarks/secondary_massey-h_4-S_2
Original file line number Diff line number Diff line change
@@ -1,38 +1,38 @@
secondary_massey -- S_2 "" 30 7 7 1 h_3 [1] "" 7 1 "" h_0h_3 [1]
<[h_3], τh_0h_3, τx_(0, 1, 0)> = ±[0] + τ[1]
<[h_3], τh_0h_3, τx_(0, 2, 0)> = ±[0] + τ[1]
<[h_3], τh_0h_3, τx_(0, 3, 0)> = ±[0] + τ[1]
<[h_3], τh_0h_3, [x_(0, 3, 0)]> = ±[1] + τ[1, 1]
<[h_3], τh_0h_3, τx_(0, 4, 0)> = ±[0] + τ[1, 0]
<[h_3], τh_0h_3, [x_(0, 4, 0)]> = ±[1, 0] + τ[1]
<[h_3], τh_0h_3, τx_(0, 5, 0)> = ±[0, 0] + τ[1]
<[h_3], τh_0h_3, [x_(0, 5, 0)]> = ±[1] + τ[1]
<[h_3], τh_0h_3, τx_(0, 6, 0)> = ±[0] + τ[1]
<[h_3], τh_0h_3, τx_(1, 1, 0)> = ±[] + τ[1]
<[h_3], τh_0h_3, [x_(1, 1, 0)]> = ±[1] + τ[]
<[h_3], τh_0h_3, τx_(2, 2, 0)> = ±[] + τ[1]
<[h_3], τh_0h_3, [x_(2, 2, 0)]> = ±[1] + τ[0]
<[h_3], τh_0h_3, τx_(3, 1, 0)> = ±[] + τ[1]
<[h_3], τh_0h_3, [x_(3, 1, 0)]> = ±[1] + τ[0]
<[h_3], τh_0h_3, τx_(3, 2, 0)> = ±[0] + τ[1]
<[h_3], τh_0h_3, [x_(3, 2, 0)]> = ±[1] + τ[0, 1]
<[h_3], τh_0h_3, τx_(3, 3, 0)> = ±[0] + τ[1, 0]
<[h_3], τh_0h_3, [x_(3, 3, 0)]> = ±[1, 0] + τ[0]
<[h_3], τh_0h_3, τx_(6, 2, 0)> = ±[] + τ[1]
<[h_3], τh_0h_3, [x_(6, 2, 0)]> = ±[1] + τ[]
<[h_3], τh_0h_3, [x_(7, 2, 0)]> = ±[] + τ[1]
<[h_3], τh_0h_3, τx_(7, 3, 0)> = ±[] + τ[0]
<[h_3], τh_0h_3, [x_(7, 3, 0)]> = ±[0] + τ[]
<[h_3], τh_0h_3, τx_(7, 4, 0)> = ±[0] + τ[]
<[h_3], τh_0h_3, [x_(8, 2, 0)]> = ±[] + τ[0]
<[h_3], τh_0h_3, τx_(8, 3, 0)> = ±[] + τ[1]
<[h_3], τh_0h_3, [x_(8, 3, 0)]> = ±[1] + τ[0]
<[h_3], τh_0h_3, [x_(9, 3, 0)]> = ±[] + τ[0]
<[h_3], τh_0h_3, τx_(9, 4, 0)> = ±[] + τ[1]
<[h_3], τh_0h_3, [x_(9, 4, 0)]> = ±[1] + τ[]
<[h_3], τh_0h_3, τx_(9, 5, 0)> = ±[0] + τ[]
<[h_3], τh_0h_3, τx_(11, 5, 0)> = ±[] + τ[1]
<[h_3], τh_0h_3, [x_(11, 5, 0)]> = ±[1] + τ[1]
<[h_3], τh_0h_3, τx_(11, 6, 0)> = ±[0] + τ[0]
<[h_3], τh_0h_3, [x_(14, 5, 0)]> = ±[] + τ[0]
<[h_3], τh_0h_3, τx_(14, 6, 0)> = ±[] + τ[0]
<[h_3], λh_0h_3, λx_(0, 1, 0)> = ±[0] + λ[1]
<[h_3], λh_0h_3, λx_(0, 2, 0)> = ±[0] + λ[1]
<[h_3], λh_0h_3, λx_(0, 3, 0)> = ±[0] + λ[1]
<[h_3], λh_0h_3, [x_(0, 3, 0)]> = ±[1] + λ[1, 1]
<[h_3], λh_0h_3, λx_(0, 4, 0)> = ±[0] + λ[1, 0]
<[h_3], λh_0h_3, [x_(0, 4, 0)]> = ±[1, 0] + λ[1]
<[h_3], λh_0h_3, λx_(0, 5, 0)> = ±[0, 0] + λ[1]
<[h_3], λh_0h_3, [x_(0, 5, 0)]> = ±[1] + λ[1]
<[h_3], λh_0h_3, λx_(0, 6, 0)> = ±[0] + λ[1]
<[h_3], λh_0h_3, λx_(1, 1, 0)> = ±[] + λ[1]
<[h_3], λh_0h_3, [x_(1, 1, 0)]> = ±[1] + λ[]
<[h_3], λh_0h_3, λx_(2, 2, 0)> = ±[] + λ[1]
<[h_3], λh_0h_3, [x_(2, 2, 0)]> = ±[1] + λ[0]
<[h_3], λh_0h_3, λx_(3, 1, 0)> = ±[] + λ[1]
<[h_3], λh_0h_3, [x_(3, 1, 0)]> = ±[1] + λ[0]
<[h_3], λh_0h_3, λx_(3, 2, 0)> = ±[0] + λ[1]
<[h_3], λh_0h_3, [x_(3, 2, 0)]> = ±[1] + λ[0, 1]
<[h_3], λh_0h_3, λx_(3, 3, 0)> = ±[0] + λ[1, 0]
<[h_3], λh_0h_3, [x_(3, 3, 0)]> = ±[1, 0] + λ[0]
<[h_3], λh_0h_3, λx_(6, 2, 0)> = ±[] + λ[1]
<[h_3], λh_0h_3, [x_(6, 2, 0)]> = ±[1] + λ[]
<[h_3], λh_0h_3, [x_(7, 2, 0)]> = ±[] + λ[1]
<[h_3], λh_0h_3, λx_(7, 3, 0)> = ±[] + λ[0]
<[h_3], λh_0h_3, [x_(7, 3, 0)]> = ±[0] + λ[]
<[h_3], λh_0h_3, λx_(7, 4, 0)> = ±[0] + λ[]
<[h_3], λh_0h_3, [x_(8, 2, 0)]> = ±[] + λ[0]
<[h_3], λh_0h_3, λx_(8, 3, 0)> = ±[] + λ[1]
<[h_3], λh_0h_3, [x_(8, 3, 0)]> = ±[1] + λ[0]
<[h_3], λh_0h_3, [x_(9, 3, 0)]> = ±[] + λ[0]
<[h_3], λh_0h_3, λx_(9, 4, 0)> = ±[] + λ[1]
<[h_3], λh_0h_3, [x_(9, 4, 0)]> = ±[1] + λ[]
<[h_3], λh_0h_3, λx_(9, 5, 0)> = ±[0] + λ[]
<[h_3], λh_0h_3, λx_(11, 5, 0)> = ±[] + λ[1]
<[h_3], λh_0h_3, [x_(11, 5, 0)]> = ±[1] + λ[1]
<[h_3], λh_0h_3, λx_(11, 6, 0)> = ±[0] + λ[0]
<[h_3], λh_0h_3, [x_(14, 5, 0)]> = ±[] + λ[0]
<[h_3], λh_0h_3, λx_(14, 6, 0)> = ±[] + λ[0]
74 changes: 37 additions & 37 deletions ext/examples/benchmarks/secondary_product-h_0-S_2
Original file line number Diff line number Diff line change
@@ -1,38 +1,38 @@
secondary_product -- S_2 "" 30 7 h_0 0 1 [1]
[h_0] [x_(0, 0, 0)] = [1] + τ [0]
[h_0] [x_(0, 1, 0)] = [1] + τ [1]
[h_0] [x_(0, 2, 0)] = [1] + τ [0]
[h_0] [x_(0, 3, 0)] = [1] + τ [1]
[h_0] [x_(0, 4, 0)] = [1] + τ [0]
[h_0] [x_(0, 5, 0)] = [1] + τ [1]
[h_0] [x_(3, 1, 0)] = [1] + τ [1]
[h_0] [x_(3, 2, 0)] = [1] + τ []
[h_0] [x_(7, 1, 0)] = [1] + τ [0]
[h_0] [x_(7, 2, 0)] = [1] + τ [1]
[h_0] [x_(7, 3, 0)] = [1] + τ []
[h_0] [x_(8, 2, 0)] = [0] + τ []
[h_0] [x_(9, 3, 0)] = [0] + τ [0]
[h_0] [x_(9, 4, 0)] = [0] + τ []
[h_0] [x_(11, 5, 0)] = [1] + τ [1]
[h_0] [x_(14, 2, 0)] = [1] + τ [1]
[h_0] [x_(14, 3, 0)] = [0] + τ [0]
[h_0] [x_(14, 4, 0)] = [1] + τ [1]
[h_0] [x_(14, 5, 0)] = [1] + τ []
[h_0] τ x_(15, 1, 0) = τ [1]
[h_0] [x_(15, 2, 0)] = [1] + τ [1]
[h_0] [x_(15, 3, 0)] = [1] + τ [0, 0]
[h_0] [x_(15, 4, 0)] = [1, 0] + τ [1]
[h_0] [x_(15, 5, 0)] = [1] + τ [0]
[h_0] [x_(15, 5, 1)] = [0] + τ [0]
[h_0] [x_(17, 3, 0)] = [0] + τ [0]
[h_0] τ x_(17, 4, 0) = τ [1]
[h_0] [x_(17, 5, 0)] = [1] + τ [0]
[h_0] [x_(18, 2, 0)] = [1] + τ [1, 1]
[h_0] [x_(18, 3, 0)] = [1, 0] + τ [1]
[h_0] τ x_(18, 4, 1) = τ [1]
[h_0] [x_(18, 4, 0)] = [0] + τ []
[h_0] [x_(20, 4, 0)] = [1] + τ [0]
[h_0] [x_(20, 5, 0)] = [1] + τ []
[h_0] [x_(21, 3, 0)] = [] + τ [0]
[h_0] [x_(23, 4, 0)] = [0] + τ [0]
[h_0] [x_(23, 5, 0)] = [1] + τ [0]
[h_0] [x_(0, 0, 0)] = [1] + λ [0]
[h_0] [x_(0, 1, 0)] = [1] + λ [1]
[h_0] [x_(0, 2, 0)] = [1] + λ [0]
[h_0] [x_(0, 3, 0)] = [1] + λ [1]
[h_0] [x_(0, 4, 0)] = [1] + λ [0]
[h_0] [x_(0, 5, 0)] = [1] + λ [1]
[h_0] [x_(3, 1, 0)] = [1] + λ [1]
[h_0] [x_(3, 2, 0)] = [1] + λ []
[h_0] [x_(7, 1, 0)] = [1] + λ [0]
[h_0] [x_(7, 2, 0)] = [1] + λ [1]
[h_0] [x_(7, 3, 0)] = [1] + λ []
[h_0] [x_(8, 2, 0)] = [0] + λ []
[h_0] [x_(9, 3, 0)] = [0] + λ [0]
[h_0] [x_(9, 4, 0)] = [0] + λ []
[h_0] [x_(11, 5, 0)] = [1] + λ [1]
[h_0] [x_(14, 2, 0)] = [1] + λ [1]
[h_0] [x_(14, 3, 0)] = [0] + λ [0]
[h_0] [x_(14, 4, 0)] = [1] + λ [1]
[h_0] [x_(14, 5, 0)] = [1] + λ []
[h_0] λ x_(15, 1, 0) = λ [1]
[h_0] [x_(15, 2, 0)] = [1] + λ [1]
[h_0] [x_(15, 3, 0)] = [1] + λ [0, 0]
[h_0] [x_(15, 4, 0)] = [1, 0] + λ [1]
[h_0] [x_(15, 5, 0)] = [1] + λ [0]
[h_0] [x_(15, 5, 1)] = [0] + λ [0]
[h_0] [x_(17, 3, 0)] = [0] + λ [0]
[h_0] λ x_(17, 4, 0) = λ [1]
[h_0] [x_(17, 5, 0)] = [1] + λ [0]
[h_0] [x_(18, 2, 0)] = [1] + λ [1, 1]
[h_0] [x_(18, 3, 0)] = [1, 0] + λ [1]
[h_0] λ x_(18, 4, 1) = λ [1]
[h_0] [x_(18, 4, 0)] = [0] + λ []
[h_0] [x_(20, 4, 0)] = [1] + λ [0]
[h_0] [x_(20, 5, 0)] = [1] + λ []
[h_0] [x_(21, 3, 0)] = [] + λ [0]
[h_0] [x_(23, 4, 0)] = [0] + λ [0]
[h_0] [x_(23, 5, 0)] = [1] + λ [0]
Loading

0 comments on commit d9ec5e7

Please sign in to comment.