Skip to content

Classify RationalFunction2 degrees in descending coefficient order - #248

Open
chessing234 wants to merge 1 commit into
teorth:mainfrom
chessing234:codex/expdb-function-degrees
Open

chessing234 wants to merge 1 commit into
teorth:mainfrom
chessing234:codex/expdb-function-degrees

Conversation

@chessing234

Copy link
Copy Markdown
Contributor

RationalFunction2 stores polynomial coefficients in descending order, but its degree predicates inspect them as ascending coefficients. This classifies x as constant, x² as affine, and 1/x as constant, and prints the wrong value for constants with leading zeros.

Inspect the coefficients preceding the constant or linear terms, and read the constant value from the final coefficient. Three new regression tests fail on main; all four tests pass with the fix alongside test_rationalfunction.py.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant