Feature #1251
New function: radical for monomial ideal
Status:
Closed
Priority:
Normal
Assignee:
Category:
New Function
Target version:
Description
As for zero-dimensional ideals, implement it so we can pass it to CoCoA-5.
Related issues
History
#1 Updated by Anna Maria Bigatti over 5 years ago
- Related to Support #1240: John's visit Feb 2019 added
#2 Updated by John Abbott over 5 years ago
- Status changed from New to In Progress
#3 Updated by John Abbott almost 5 years ago
- Target version changed from CoCoALib-0.99650 November 2019 to CoCoALib-0.99700
#4 Updated by Anna Maria Bigatti over 4 years ago
Now the official function in CoCoALib is radical_tmp
(will be radical
when all code is written in CoCoALib)
When this case is written, uncomment the appropriate "monomial" line in SparsePolyOps-ideal.C
.
Then do the same in SparsePolyOps-hilbert.C
for DimQuot
.
#5 Updated by Anna Maria Bigatti over 4 years ago
- Status changed from In Progress to Feedback
- % Done changed from 20 to 90
done.ideal SparsePolyRingBase::IdealImpl::myRadical_MonId() const
in SparsePolyOps-MonomialIdeal.C
does NOT modify this
, and returns its radical.
There are tests in CoCoA-5 radical test (being a base case in recursion)
#6 Updated by Anna Maria Bigatti over 4 years ago
- Estimated time set to 6.00 h
#7 Updated by Anna Maria Bigatti over 4 years ago
- Target version changed from CoCoALib-0.99700 to CoCoALib-0.99650 November 2019
#8 Updated by Anna Maria Bigatti over 4 years ago
- Related to Design #1336: Rename SparsePolyOps-MonomialIdeal into SparsePolyOps-IdealMonomial? added
#9 Updated by Anna Maria Bigatti over 4 years ago
- Status changed from Feedback to Closed
- % Done changed from 90 to 100