Project

General

Profile

Feature #361

implement IsPrime3, IsMaximal3

Added by Anna Maria Bigatti about 5 years ago. Updated 8 months ago.

Status:
Closed
Priority:
Normal
Assignee:
Category:
New Function
Target version:
Start date:
29 May 2013
Due date:
% Done:

100%

Estimated time:
Spent time:

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

Related to CoCoALib - Design #498: IsIntegralDomain, IamIntegralDomain3Closed2014-03-28

Related to CoCoALib - Design #513: Quick/correct flag for bool3 fnsIn Progress2014-04-02

Related to CoCoALib - Feature #899: IsMaximal, IsPrimary for IDEAL (in cocoalib)Closed2016-06-27

Related to CoCoALib - Feature #885: IsIrred3: fast 3-way irred test (returning bool3)In Progress2016-05-24

History

#1 Updated by Anna Maria Bigatti over 4 years ago

  • Target version changed from CoCoALib-0.99534 Seoul14 to CoCoALib-0.99532

#2 Updated by Anna Maria Bigatti over 4 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 over 4 years ago

  • Target version changed from CoCoALib-0.99532 to CoCoALib-0.99533 Easter14

#4 Updated by John Abbott over 4 years ago

  • Target version changed from CoCoALib-0.99533 Easter14 to CoCoALib-0.99534 Seoul14

#5 Updated by John Abbott about 4 years ago

  • Target version changed from CoCoALib-0.99534 Seoul14 to CoCoALib-0.99999

#6 Updated by Anna Maria Bigatti almost 2 years ago

  • Related to Feature #899: IsMaximal, IsPrimary for IDEAL (in cocoalib) added

#7 Updated by Anna Maria Bigatti almost 2 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 almost 2 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 almost 2 years ago

  • Related to Feature #885: IsIrred3: fast 3-way irred test (returning bool3) added

#10 Updated by Redmine Admin about 1 year ago

  • Target version changed from CoCoALib-0.99999 to CoCoALib-0.99560

#11 Updated by Anna Maria Bigatti 8 months ago

  • Status changed from Feedback to Closed
  • % Done changed from 90 to 100

Also available in: Atom PDF