Feature #151
Iterated CanonicalHom
Description
Implement NaturalMap
and iterated CanonicalHom
Related issues
History
#1 Updated by Anna Maria Bigatti about 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 over 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 almost 10 years ago
- Target version changed from CoCoALib-0.99534 Seoul14 to CoCoALib-1.0
#5 Updated by Redmine Admin about 9 years ago
- Category set to New Function
#6 Updated by John Abbott almost 2 years ago
- Related to Bug #100: BringIn should map only the indets in its arg added