Deprecated Term.ptrtuple and speed up Term.__eq__
#384
| Job | Run time |
|---|---|
| 8s | |
| 2m 12s | |
| 2m 20s |
Term.ptrtuple and speed up Term.__eq__
#384
| Job | Run time |
|---|---|
| 8s | |
| 2m 12s | |
| 2m 20s |