Skip to content

[verifier] Use simplify in addition to minimal_polynomial in SymPy and fix input format for Rational - #223

Merged
xumingkuan merged 2 commits into
masterfrom
sympy-fix
Oct 20, 2025
Merged

[verifier] Use simplify in addition to minimal_polynomial in SymPy and fix input format for Rational#223
xumingkuan merged 2 commits into
masterfrom
sympy-fix

[bug] Fix input format for Rational

0aab36c
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

The logs for this run have expired and are no longer available.