Opened 7 years ago

Last modified 7 years ago

#15305 closed enhancement

Allow natural morphism between tensor products — at Initial Version

Reported by: tscrim Owned by: sage-combinat
Priority: major Milestone: sage-5.13
Component: coercion Keywords: tensor product coercion, days54
Cc: sage-combinat, nthiery, SimonKing, nborie Merged in:
Authors: Travis Scrimshaw Reviewers:
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: Stopgaps:

Description

Given modules A1, A2, B1, B2 with coercions A1 -> B1 and A2 -> B2, there is the natural coercion A1 # A2 -> B1 # B2 as the tensor of the factor coercions. This ticket implements the above coercion as a natural coercion for CombinatorialFreeModule_Tensor.

Change History (0)

Note: See TracTickets for help on using tickets.