Feature #147
Feature #143: Buchberger-Moeller (parent task)
Buchberger-Moeller: impl via modular reduction
Status:
In Progress
Priority:
Urgent
Assignee:
Category:
New Function
Target version:
Description
Impl the idea presented in AKR "Zero-dim Schemes" which uses modular reduction to get the form of the answer quickly then verifies good reduction afterwards.
Related issues
History
#1
Updated by Anna Maria Bigatti about 11 years ago
Updated by - Category set to New Function
#2
Updated by John Abbott about 11 years ago
Updated by - Assignee set to John Abbott
- Priority changed from Normal to Urgent
- Target version set to CoCoALib-0.9953
#3
Updated by John Abbott almost 11 years ago
- Status changed from New to In Progress
- % Done changed from 0 to 20
JAA has a working impl based on the old C4 code. Wasted quite a lot of time tracking down a subtle bug in the old code (which was harmless in C4). This cheap hack does not impl the idea in the 0-dim scheme paper.
#4
Updated by John Abbott almost 11 years ago
- Target version changed from CoCoALib-0.9953 to CoCoALib-0.99534 Seoul14
No chance of finishing this in time for CoCoALib-0.9953/CoCoA School 2013.
#5
Updated by Anna Maria Bigatti over 10 years ago
- Target version changed from CoCoALib-0.99534 Seoul14 to CoCoALib-0.99532
#6
Updated by John Abbott about 10 years ago
- Target version changed from CoCoALib-0.99532 to CoCoALib-0.99533 Easter14
#7
Updated by John Abbott about 10 years ago
- Target version changed from CoCoALib-0.99533 Easter14 to CoCoALib-0.99534 Seoul14
#8
Updated by John Abbott almost 10 years ago
- Target version changed from CoCoALib-0.99534 Seoul14 to CoCoALib-1.0