#15305: Allow natural morphism between tensor products
-------------------------------------------+-----------------------------
Reporter: tscrim | Owner: sage-combinat
Type: enhancement | Status: needs_review
Priority: major | Milestone: sage-5.13
Component: coercion | Resolution:
Keywords: tensor product coercion | Merged in:
Authors: Travis Scrimshaw | Reviewers:
Report Upstream: N/A | Work issues:
Branch: | Commit:
Dependencies: #15309 | Stopgaps:
-------------------------------------------+-----------------------------
Comment (by nborie):
I try to just remove CartesianProduct replacing
{{{
def tensor_morphism(t):
im = [M(R._sets[i].monomial(t[i])) for i,M in enumerate(self._sets)]
C = CartesianProduct(*im)
return self.sum_of_terms([(tuple(x[0] for x in cp), B.prod(x[1] for x
in cp))
for cp in C])
}}}
by
{{{
def tensor_morphism(t):
im = [M(R._sets[i].monomial(t[i])) for i,M in enumerate(self._sets)]
return self.sum_of_terms([(tuple(x[0] for x in cp), B.prod(x[1] for x
in cp))
for cp in im])
}}}
I hope this does not change the result..
For curiosity, I attach also the old patch I've made a year ago for Rémi
Maurice...
Cheers,
Nicolas B.
--
Ticket URL: <http://trac.sagemath.org/ticket/15305#comment:10>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/groups/opt_out.
