Bug #1577
radical: lex order, ERROR: Ring is not standard graded
Description
This should not happen:
use QQ[x,y],lex; I := ideal(x*y +x, x^2 +x); radi := radical(I); --> triggers error ERROR: Ring is not standard graded
The error was triggered by a call to DimQuot
I thought this had already been reported, but cannot find the issue.
Related issues
History
#1
Updated by John Abbott about 3 years ago
Updated by The full error mesg is:
--> ERROR: Ring is not standard graded --> [CoCoALib] dim --> WHERE: at line 863 (column 8) of radical.cpkg5 --> D := DimQuot(LT(I)); --> ^^^^^^^^^^^^^^
#2
Updated by John Abbott about 3 years ago
- Status changed from New to Resolved
- Assignee set to Anna Maria Bigatti
- % Done changed from 0 to 70
Anna has implemented the obvious workaround: map into a new poly ring (with degrevlex), and then unmap the result.
Seems to work OK.
#3
Updated by Anna Maria Bigatti about 3 years ago
Updated by - Status changed from Resolved to Closed
- % Done changed from 70 to 100
#4
Updated by Anna Maria Bigatti 3 months ago
- Related to Bug #1779: Radical error with lex (again) added
#5
Updated by Anna Maria Bigatti 3 months ago
- Related to Feature #1780: radical for ideals in SparsePolyRing: code in C++ added