Design #513: Quick/correct flag for bool3 fns - CoCoALib - CoCoA Project

Design #513

Quick/correct flag for bool3 fns

Added by John Abbott about 10 years ago. Updated almost 10 years ago.

Status:

In Progress

Priority:

High

Assignee:

Category:

New Function

Target version:

CoCoALib-1.0

Start date:

02 Apr 2014

Due date:

% Done:

10%

Estimated time:

20.00 h

Spent time:

0.10 h

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