Feature #361
implement IsPrime3, IsMaximal3
Description
We should implement functions like IsPrime3 which returns true3/false3 if it easy to calculate, or already calculated, and uncertain3 otherwise.
For example IsZeroDivisor(x) could simply return IsZero(x) if we already know that the ring "IsIntegralDomain", and only otherwise go through a more expensive computation.
I cannot see a way to do this easily with the "strict" boolean functions we have now.
(This possibly applies to all boolean functions, but that's excessive)
Functions: IsPrime3, IsMaximal3, IsField3, IsIntegralDomain3,...
more?
Related issues
History
#1 Updated by Anna Maria Bigatti over 10 years ago
- Target version changed from CoCoALib-0.99534 Seoul14 to CoCoALib-0.99532
#2 Updated by Anna Maria Bigatti almost 10 years ago
- Category set to New Function
- Status changed from New to In Progress
- Assignee set to John Abbott
- % Done changed from 0 to 10
should we follow the same (new flashy) design as for IsIntegralDomain3?
#3 Updated by Anna Maria Bigatti almost 10 years ago
- Target version changed from CoCoALib-0.99532 to CoCoALib-0.99533 Easter14
#4 Updated by John Abbott almost 10 years ago
- Target version changed from CoCoALib-0.99533 Easter14 to CoCoALib-0.99534 Seoul14
#5 Updated by John Abbott over 9 years ago
- Target version changed from CoCoALib-0.99534 Seoul14 to CoCoALib-1.0
#6 Updated by Anna Maria Bigatti over 7 years ago
- Related to Feature #899: IsMaximal, IsPrimary for IDEAL (in cocoalib) added
#7 Updated by Anna Maria Bigatti over 7 years ago
In a discussion with John Abbott and Mario Albert we got these points
in the case where a bool3 flag is in a class (abstract)
- make the bool3 function as member function? (but we already have the flag itself at that level; what if its private?)
- make the bool3 function as non-member function? (useful? neccesary?)
- make the bool function as member function: this fuction is supposed to set the related flag, and also other flags dependent on the result (e.g. IsPrime)
- make the bool function as non-member function.
- make the member-function actually computing and not reading/setting flags (e.g. myMaximalTest
)
(this means I have to change the IamMaximal
code accordingly)
#8 Updated by Anna Maria Bigatti over 7 years ago
- Status changed from In Progress to Feedback
- % Done changed from 10 to 90
I suggest to close this issue: the discussion about this design has been moved to issue #899 (my mistake, but difficult to move it here)
#9 Updated by Anna Maria Bigatti over 7 years ago
- Related to Feature #885: IsIrred3: fast 3-way irred test (returning bool3) added
#10 Updated by Redmine Admin almost 7 years ago
- Target version changed from CoCoALib-1.0 to CoCoALib-0.99560
#11 Updated by Anna Maria Bigatti over 6 years ago
- Status changed from Feedback to Closed
- % Done changed from 90 to 100