#19263: Coproduct by coercion
-------------------------------------+-------------------------------------
Reporter: elixyre | Owner:
Type: PLEASE CHANGE | Status: new
Priority: major | Milestone: sage-6.9
Component: PLEASE CHANGE | Keywords:
Merged in: | Authors: Jean-Baptiste
Reviewers: zabrocki | Priez
Work issues: | Report Upstream: N/A
Commit: | Branch:
bb8b88024e4ae942afb0bbe8b681108352dbce2e| u/elixyre/cha/coproduct_by_coercion
Stopgaps: | Dependencies:
-------------------------------------+-------------------------------------
In the category coalgebra, there is this problem with the method
`coproduct_by_coercion`:
{{{#!python
return self.tensor_square().sum(coeff * tensor([self(R[I]), self(R[J])])
for ((I, J), coeff) in
R(x).coproduct())
}}}
First: I don't know why the code is not simply:
{{{
return tensor([self, self])(R(x).coproduct())
}}}
is it more efficient?
Second: `R[I]`, we should stop using alias in the code... this is not
consistent. The code should use robust and indicative methods, so
`R.monomial(I)`.
Whatever, it follows my fix.
--
Ticket URL: <http://trac.sagemath.org/ticket/19263>
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/d/optout.
