Project

General

Profile

Feature #1461

Automatic mapping for multiplication?

Added by Anna Maria Bigatti almost 4 years ago. Updated over 3 years ago.

Status:
Closed
Priority:
Normal
Assignee:
Anna Maria Bigatti
Category:
enhancing/improving
Target version:
CoCoA-5.4.0
Start date:
10 Jun 2020
Due date:
% Done:

100%

Estimated time:
3.66 h
Spent time:
3.70 h

Related issues

Related to CoCoA-5 - Design #635: Automatic mapping of RingElem (in operation with a compound value)Closed2014-10-22

Related to CoCoALib - Feature #645: Automatic mapping of RingElem: user selectable at run-time (GlobalManager?)Rejected2014-11-04

Related to CoCoA-5 - Design #637: Undesirable consequence of automatic mapping of RingElems?Closed2014-10-23

Related to CoCoA-5 - Feature #7: Automatic mapping between (some) ringsResolved2011-10-20

Related to CoCoALib - Design #1414: Make class RingElemVector?In Progress2020-02-12

History

#1 Updated by Anna Maria Bigatti almost 4 years ago

  • Related to Design #635: Automatic mapping of RingElem (in operation with a compound value) added

#2 Updated by Anna Maria Bigatti almost 4 years ago

  • Related to Feature #645: Automatic mapping of RingElem: user selectable at run-time (GlobalManager?) added

#3 Updated by Anna Maria Bigatti almost 4 years ago

  • Related to Design #637: Undesirable consequence of automatic mapping of RingElems? added

#4 Updated by Anna Maria Bigatti almost 4 years ago

  • Category set to enhancing/improving
  • Target version set to CoCoA-5.4.0
  • % Done changed from 0 to 20
  • Estimated time set to 10.00 h

Talking with John, getting bored in the hospital ;-)
first implementation

#5 Updated by Anna Maria Bigatti almost 4 years ago

use try/catch for better error message?
direct use of myMulByCoeff for efficiency? Is it worth it? (John guesses not)

#6 Updated by John Abbott almost 4 years ago

  • Related to Feature #7: Automatic mapping between (some) rings added

#7 Updated by John Abbott almost 4 years ago

  • Status changed from New to Resolved
  • % Done changed from 20 to 50

I have revised Anna's impl (from a joint design over the phone).

In fact we now have the four arith ops with auto conversion.
I have also done:
  • MatrixOps.C
  • MatrixOps-KroneckerProd.C
  • module.C (mostly)

#8 Updated by John Abbott almost 4 years ago

Here are some more places where ERR::MixedRings appears in the source -- which of these should be changed?
  • DenseMat: myRowMul, myColMul, myAddRowMul, myAddColMul
  • FieldIdeal -- needs vector of RingElem in same ring
  • ideal.C many, some need vector of RingElem in same ring
  • Matrix.C for SetEntry, also IamEqual
  • MatrixSpecial.C for JacobianMat which needs vector of RingElem in same ring
  • MatrixView many cases, some need vector of RingElem in same ring
  • PolyFamilies for DicksonPoly
  • ring.C for operator+= and so on
  • RingElemOps-CoprimeFactorBasis needs vector RingElem from same ring.
  • SparsePolyOps-XXX many

#9 Updated by John Abbott almost 4 years ago

#10 Updated by John Abbott over 3 years ago

I suggest closing this issue, and copying any unresolved parts into issue #7.
It would be nice to have issue #7 as the central point for matters relating to "automatic ringelem conversion".

#11 Updated by John Abbott over 3 years ago

  • Status changed from Resolved to Closed
  • % Done changed from 50 to 100
  • Estimated time changed from 10.00 h to 3.66 h

As suggested in comment 10 above, I have copied the "done list" and the "todo list" to issue #7.
Closing this issue -- the main part has been implemented.

Also available in: Atom PDF