feat(tg-7): == on braids decides braid-group equivalence (#50 ruling)
#171
| Job | Run time |
|---|---|
| 6s | |
| 6s | |
| 11s | |
| 10s | |
| 11s | |
| 4s | |
| 5s | |
| 7s | |
| 7s | |
| -1s | |
| 1m 6s |
== on braids decides braid-group equivalence (#50 ruling)
#171
| Job | Run time |
|---|---|
| 6s | |
| 6s | |
| 11s | |
| 10s | |
| 11s | |
| 4s | |
| 5s | |
| 7s | |
| 7s | |
| -1s | |
| 1m 6s |