Bug #1215
RationalSolve: gives "Error: must be non-zero"
Description
I tried running the example in the first comment of issue #723. The call to RationalSolve reported Error: value must be non-zero
Investigate and fix.
Related issues
History
#1
Updated by John Abbott over 5 years ago
Updated by The first cause of the bug is that the code attempts to factorize the zero polynomial.
Perhaps in a finite field, this special case should be detected and simply return all elements of the field?
#2
Updated by John Abbott over 5 years ago
- Related to Feature #723: Referring to indets with multiple indices from a polyring added
#3
Updated by John Abbott about 5 years ago
- Related to Bug #1216: RationalSolve: gives wrong answer added
#4
Updated by John Abbott over 4 years ago
- Target version changed from CoCoA-5.3.0 to CoCoA-5.4.0
#5
Updated by John Abbott about 3 years ago
- Status changed from New to Feedback
- Assignee set to John Abbott
- % Done changed from 0 to 90
Is this issue a duplicate of issue #724?
I think so. Anyway, I tried the example mentioned in the description, and no error is produced.
We can probably close this (since it is effectively a duplicate). But I'll put it into feedback for a short while.
#6
Updated by John Abbott over 2 years ago
- Status changed from Feedback to Closed
- % Done changed from 90 to 100
- Estimated time set to 0.49 h
Closing this issue because there is no clear indication of what to test.
I suspect the new design of RationalSolve and RationalSolveHomog has eliminated whatever the problem was.