Feature #121
Porting "IdealOfPoints"
Description
Port in cocoalib the cocoa-4 C code about BuchbergerMoeller.
An important step in it is the lifting from Fp --> QQ (Chinese remaindering).
Does that part of code depend on cocoa-4 or is it self-contained?
Subtask: implement Chinese remaindering in cocoalib.
(no way to guess how long it would take)
Related issues
History
#1
Updated by Anna Maria Bigatti over 11 years ago
Updated by - Priority changed from Normal to Urgent
I think that the good old code should be linked first.
Making a proper clean Chinese Remaindering in CoCoALib will require some careful designing.
#2
Updated by Anna Maria Bigatti about 11 years ago
- Category set to New Function
#3
Updated by John Abbott almost 11 years ago
Updated by - Status changed from New to Closed
- Assignee set to John Abbott
- Target version set to CoCoALib-0.9953
- % Done changed from 0 to 100
JAA has effected the "transplant". All the code should become totally obsolete when the proper new impl has been made, though it will be interesting to use the transplanted code as a reference (both for correctness and for speed).
Anyway, the transplant should suffice for the CoCoA School 2013.
#4
Updated by Anna Maria Bigatti over 7 years ago
- Related to Feature #960: New function: IdealAndSeparatorsOfPoints added