Feature #300
Add fault tolerant rational reconstruction to library
Description
Implement the various fault tolerant rational reconstruction algms, and incorporate them into CoCoALib.
Experimental versions already exist.
Related issues
History
#1 Updated by John Abbott about 11 years ago
The hardest parts will be fixing the UI and choosing the name(s) of the fn(s).
I should also put in my impl of the Singular group's method.
#2 Updated by John Abbott about 11 years ago
- Status changed from New to In Progress
- Target version set to CoCoALib-0.9953
- % Done changed from 0 to 50
Added impls of RatReconstructByContFrac
and RatReconstructByLattice
; also added doc, and an example (ex-NumTheory2
).
- correct handling of
SafetyFactor
ctor parameter - allow user to choose either convincingness criterion in
RatReconstructByContFrac
? - interface to CoCoA-5 (plus doc, of course)
- add impl of FTRR (insist that moduli are prime?)
#3 Updated by John Abbott about 11 years ago
- % Done changed from 50 to 70
Added new fns to CoCoA-5 RatReconstructByContFrac
and RatReconstructByLattice
; added doc.
Modified ctors: they now accept a user specified threshold (0 means to use default).
Currently do not allow user to choose the convincingness criterion -- unlikely to be very useful, and could be simply confusing.
20130225 FTRR now implemented as RatReconstructWithBounds
in CoCoALib and CoCoA-5, with documentation!
#4 Updated by John Abbott about 11 years ago
- Status changed from In Progress to Feedback
- % Done changed from 70 to 90
Should I really add a test for RatReconstructWithBounds
?
#5 Updated by John Abbott almost 11 years ago
- Status changed from Feedback to Closed
- % Done changed from 90 to 100
The code was effectively tested while updating the article. So I'm regarding it as OK. Closing!