Hiromi Ishii
Hiromi Ishii
Thank you for suggestions! > I'm also wondering if a Map is the best data-structure to use to represent polynomials, but I suppose that's best left to a separate ticket....
Ah, I've forgot that I'd alredy migrated to the most recent sized package; then just siwtching to Sized PrimArray should work.
Thank you for your suggestion! When talking about Quantifier Elimination, you should specify the theory in which you want to do QE; since you mentioned CAD, I assume you are...
TODO: benchmarking
After some optimisation, we get to the point that the simple benchmark outperforms the old implementation; it is almost twice as fast! ## Tables (mean-time) Precise data is available at...
# Summary of simple factorisation benchmarks It seems that the new implementation of prime fields has performance degression when factoring polynomials of characteristic 2. The only difference between char 2...
Great news! Thank you for your rapid support!
This hasn't been fixed yet in my environment: * Safari 13.0.4 * macOS Catalina 10.15.2 Even worth, I couldn't re-edit already-filled nodes.
👍 I need this functionality too, for [Let's Encrypt](http://letsencrypt.org) currently providing certificates in per-subdomain-manner.
I'm planning to use HLS with my corporate project, maintained as a stack project, which consists of dozens of packages with heavy optimisation/type-checking burdens. As a daily workaround to check...