Design #1159

Add global enum "verify/DontVerify"

Added by Anna Maria Bigatti 2 months ago. Updated about 2 months ago.

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


Estimated time:
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


#1 Updated by Anna Maria Bigatti 2 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 about 2 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 specifying a parameter along with the flag.

#3 Updated by John Abbott about 2 months ago

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

Also available in: Atom PDF