Project

General

Profile

Support #391

Check consistency of template class factorization

Added by Anna Maria Bigatti almost 11 years ago. Updated about 10 years ago.

Status:
Closed
Priority:
Normal
Assignee:
-
Category:
Safety
Target version:
CoCoALib-0.99532
Start date:
23 Jul 2013
Due date:
% Done:

100%

Estimated time:
2.00 h
Spent time:
2.25 h

Description

I would find convenient to have a function checking whether the factorization is consistent, i.e. all factors and remaining factor in the same ring/PPMonoid/??

Is that possible?

Related issues

Related to CoCoALib - Design #411: design of factorization template classClosed2013-10-23

Related to CoCoALib - Design #429: factorization: public data fields, or mem fns allowing the fields to be updated.Closed2014-01-28

History

#1 Updated by John Abbott over 10 years ago

  • Category set to Safety
  • Status changed from New to In Progress
  • % Done changed from 0 to 50

I noticed yesterday that there is a fn ourCheckConsistency for factorizations.
This probably does what is needed -- but someone should verify!

#2 Updated by Anna Maria Bigatti over 10 years ago

  • Target version set to CoCoALib-0.99532

#3 Updated by John Abbott about 10 years ago

  • Status changed from In Progress to Closed
  • % Done changed from 50 to 100

This has already been subsumed by #411 and/or #429.
Closing

#4 Updated by Anna Maria Bigatti about 10 years ago

  • Estimated time set to 2.00 h

Also available in: Atom PDF