Changes between Initial Version and Version 14 of Ticket #15305
- Timestamp:
- 11/05/13 23:15:34 (7 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Ticket #15305
-
Property
Status
changed from
new
toneeds_review
-
Property
Authors
changed from
Travis Scrimshaw
toTravis Scrimshaw, Nicolas Borie
- Property Cc nborie added
-
Property
Dependencies
changed from
to
#15309
-
Property
Reviewers
changed from
to
Nicolas Borie, Travis Scrimshaw
-
Property
Status
changed from
-
Ticket #15305 – Description
initial v14 1 1 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`. 2 3 Apply: [attachment:trac_15305-coercion_tensor_products-ts.patch]