You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Apparently, the recent introduction of number notations or MC2 triggered a slowdown of compilation. So I suggest doing the following two benchmarks:
A performance comparison (timed diff) of apery before/after the introduction of number notations. Commit e40179eb4e8452250741f4ead570ea9dc2ec77e3 should work with MathComp 1.12 to 1.17, and would be suited for this benchmarking.
A performance comparison of apery with MC1 and MC2 (before/after Port to MathComp 2 #16).
The text was updated successfully, but these errors were encountered:
Apparently, the recent introduction of number notations or MC2 triggered a slowdown of compilation. So I suggest doing the following two benchmarks:
e40179eb4e8452250741f4ead570ea9dc2ec77e3
should work with MathComp 1.12 to 1.17, and would be suited for this benchmarking.The text was updated successfully, but these errors were encountered: