#15573: (co)product coercion
-------------------------------------+-------------------------------------
Reporter: elixyre | Owner:
Type: defect | Status: needs_work
Priority: major | Milestone: sage-6.4
Component: categories | Resolution:
Keywords: | Merged in:
Authors: | Reviewers:
Report Upstream: N/A | Work issues:
Branch: | Commit:
u/elixyre/ticket/15573 | f54c2e9db4e546d721f97c09b33f95ef9948a801
Dependencies: | Stopgaps:
-------------------------------------+-------------------------------------
Comment (by kdilks):
Based on this comment in {{{hopf_algebra.py}}} inside
antipode_by_coercion:
{{{
# TODO:
# - Use @conditionally_defined once it's in Sage, for a nicer
idiom
# - Do the right thing (TM): once we will have proper
# overloaded operators (as in MuPAD-Combinat; see #8900),
# we won't need to specify explicitly to which parent one
# should coerce the input to calculate the antipode; so it
# will be sufficient to put this default implementation in
# HopfAlgebras.ParentMethods.
}}}
it sounds like what this ticket is attempting to achieve was originally
the goal.
I think this is something worth figuring out eventually, but for the sake
of actually getting later features of CHA included in Sage, I'm fine with
Travis's suggestion of making {{{a_realization}}} always return a
product/coproduct/antipode method that's hard-coded to point to a
realization where the method is actually defined, rather than having Sage
automatically find a realization where the method is actually defined.
--
Ticket URL: <http://trac.sagemath.org/ticket/15573#comment:13>
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.
