Georg Wiese efbcd1ffe2 Witgen: Handle intermediate polynomials (#2007) ...

Completes a task in #2009.

With this PR, we no longer rely on
`Analyzed::identities_with_inlined_intermediate_polynomials()`, which
can produce exponentially large expressions in some cases. Instead,
intermediate polynomials are evaluated on demand and cached. Thibaut's
example from #1995 speeds up massively with this PR.

2024-11-19 10:19:31 +00:00

..

src

Witgen: Handle intermediate polynomials (#2007)

2024-11-19 10:19:31 +00:00

Cargo.toml

Use jit compiler to generate fixed column values. (#1825)

2024-10-03 17:10:58 +00:00