Design #1159

Add global enum "verify/DontVerify"

Added by Anna Maria Bigatti 5 months ago. Updated 25 days ago.

Data Structures
Target version:
Start date:
22 Feb 2018
Due date:
% Done:


Estimated time:
1.10 h
Spent time:


should we have a global enum for "verify/DontVerify"?
this could be a pervasive feature in cocoalib.

Related issues

Related to CoCoALib - Design #950: factor and SmoothFactor for integersIn Progress2016-10-20

Related to CoCoALib - Feature #1167: New class VerificationLevelIn Progress2018-03-13


#1 Updated by Anna Maria Bigatti 5 months ago

  • Target version set to CoCoALib-0.99999

John says it might be better to have a "reliability flag", which takes "0" as "certain".
I am thinking of the function MinPolyModular, so with 0 it would verify the answer, otherwise it would apply the desired level of checking to the rational reconstruction of the coefficients.

#2 Updated by John Abbott 5 months ago

  • Status changed from New to In Progress
  • % Done changed from 0 to 10
After speaking to Anna...
  • a "boolean" interface is easy to understand (and simple to use)
  • a more sophisticated interface would need to be well documented to be useful (e.g. NTL uses a boolean interface for probabilistic determinant)
  • it would be nice to have a "universal scheme" for CoCoALib (e.g. a parameter to be used by all fns which offer an optional "fast heuristic" mode)

It may be possible to have a sophisticated interface which can also be used as if it were a boolean one: I am thinking about the method I used for specifying the GMPAllocator when creating the GlobalManager. The user can see it as just a flag, or can specify a parameter along with the flag.

#3 Updated by John Abbott 4 months ago

  • Related to Design #950: factor and SmoothFactor for integers added

#4 Updated by John Abbott about 1 month ago

#5 Updated by John Abbott about 1 month ago

  • Assignee set to John Abbott
  • Target version changed from CoCoALib-0.99999 to CoCoALib-0.99570

Close this issue and refer to #1167?

#6 Updated by John Abbott 25 days ago

  • Status changed from In Progress to Closed
  • % Done changed from 10 to 100
  • Estimated time set to 1.10 h

This issue has been subsumed by #1167. Closing!

Also available in: Atom PDF