Skip to content

Reject more malformed inputs in the term parser - #386

Open
wegank wants to merge 2 commits into
algebraic-solving:masterfrom
wegank:term-parser-fix-2
Open

wegank wants to merge 2 commits into
algebraic-solving:masterfrom
wegank:term-parser-fix-2

Conversation

@wegank

@wegank wegank commented Oct 29, 2026

Copy link
Copy Markdown
Member

Fixes #385 (comment).

The fix is quite simple and probably doesn't need an LLM, That said, the LLM helps to fix another issue where a coefficient exceeds 2^64, which is now caught by errno == ERANGE.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
@wegank
wegank force-pushed the term-parser-fix-2 branch from ea24d63 to 7b4f56c Compare October 29, 2026 17:40
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.

msolve 0.9.4 reports "The ideal has positive dimension" on a unit ideal (verified with Singular and Macaulay2)

1 participant