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 about 5 years ago
Updated by - Related to Support #1240: John's visit Feb 2019 added
#2
Updated by John Abbott about 5 years ago
Updated by - Status changed from New to In Progress
#3
Updated by John Abbott over 4 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