Project

General

Profile

Feature #151

Iterated CanonicalHom

Added by John Abbott almost 12 years ago. Updated almost 9 years ago.

Status:
New
Priority:
Normal
Assignee:
-
Category:
New Function
Target version:
CoCoALib-1.0
Start date:
03 May 2012
Due date:
% Done:

0%

Estimated time:
20.00 h
Spent time:
0.25 h

Description

Implement NaturalMap and iterated CanonicalHom

Related issues

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

Related to CoCoALib - Design #584: BaseRing for all ringsClosed2014-07-08

Related to CoCoA-5 - Bug #100: BringIn should map only the indets in its argNew2012-03-07

History

#1 Updated by Anna Maria Bigatti almost 12 years ago

There is already some code called TmpChainCanonicalHom in CanonicalHom.[HC]: it looks whether there is a "chain" of CanonicalHom from the domain to the codomain.

It might serve as a good start.
This code has already been tested.

#2 Updated by Anna Maria Bigatti about 10 years ago

  • Target version set to CoCoALib-0.99533 Easter14

#3 Updated by John Abbott about 10 years ago

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

#4 Updated by John Abbott over 9 years ago

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

#5 Updated by Redmine Admin almost 9 years ago

  • Category set to New Function

#6 Updated by John Abbott over 1 year ago

  • Related to Bug #100: BringIn should map only the indets in its arg added

Also available in: Atom PDF