Bug #1423
Radical 0-dim NYI? missing case for GBasisByHomog
Status:
Closed
Priority:
Normal
Assignee:
Category:
Improving
Target version:
Description
The following is annoying:
use QQ[x,y,z],DegLex; L := [-x*z^2 -y +1, -y*z^2 -z^3, x^3 +z^2]; radical(ideal(L)); --> ERROR: NOT YET IMPLEMENTED -- please be patient, we're working on it --> [CoCoALib] GBasisByHomog: only for DegRevLex, lex --> WHERE: at line 144 (column 31) of radical.cpkg5 --> if IsZeroDim(I) then return radical_tmp(I); endif; --> ^^^^^^^^^^^^^^ CONTEXT: function radical at line 144 of radical.cpkg5
Related issues
History
#1
Updated by John Abbott about 4 years ago
Updated by I am pretty sure that this is not new, but i could not quickly find the relevant issue... so I have a new issue (2020-02-25).
#2
Updated by Anna Maria Bigatti about 4 years ago
Updated by - Related to Feature #1212: New function: GBasisByHomog added
#3
Updated by John Abbott about 4 years ago
- Related to Feature #1434: GBasisByHomog for DegLex added
#4
Updated by John Abbott over 3 years ago
- Status changed from New to In Progress
- % Done changed from 0 to 30
CHECKED ON 2020-09-25 the example in the description now works.
Has this been fixed? By whom? Can we close the issue?
#5
Updated by Anna Maria Bigatti over 3 years ago
- Subject changed from Radical 0-dim NYI to Radical 0-dim NYI? missing case for GBasisByHomog
- Status changed from In Progress to Closed
- Assignee set to Anna Maria Bigatti
- % Done changed from 30 to 100
- Estimated time set to 0.51 h
John Abbott wrote:
CHECKED ON 2020-09-25 the example in the description now works.
Has this been fixed? By whom? Can we close the issue?
I believe the problem was just due to a missing case in GBasisByHomog (no GB, no test for 0-dim)
Closing.