Design #513
Quick/correct flag for bool3 fns
Description
Idea: all (or most) fns which return bool3
values should accept a flag (bool
?) saying whether to be "quick" or "correct".
This idea arose when trying to implement IamIntegralDomain3
for a QuotientRing
; the best impl would simply have been return IsPrime3(myDefiningIdeal,QuickModeFlag)
. This would allow IsPrime3
to be "clever" in some cases...
Is this a good idea?
What type should the quick-or-correct flag be? A plain bool
or from a 2-element enum
? Or maybe an enum
with more than 2 elements e.g. which would permit the use of "quick" heuristics to give a "reliable" result (e.g. IsProbPrime
instead of IsPrime
)?
Related issues
History
#1 Updated by John Abbott about 10 years ago
- Status changed from New to In Progress
- Priority changed from Normal to High
- % Done changed from 0 to 10
- Estimated time set to 20.00 h
We should start by looking at the various current uses of bool3
, and possibly any obvious future candidates.
#2 Updated by John Abbott almost 10 years ago
- Target version changed from CoCoALib-0.99534 Seoul14 to CoCoALib-1.0
#3 Updated by John Abbott about 8 years ago
- Related to Design #871: Redesign ideals added
#4 Updated by Anna Maria Bigatti almost 8 years ago
- Related to Feature #899: IsMaximal, IsPrimary for IDEAL (in cocoalib) added
#5 Updated by Anna Maria Bigatti almost 8 years ago
- Related to Design #924: FlagManager for bool/bool3 flags added