#18675: Add 'connected' as a class for graded Hopf algebras with basis.
-------------------------------------+-------------------------------------
Reporter: kdilks | Owner:
Type: enhancement | Status: needs_work
Priority: major | Milestone: sage-6.8
Component: algebra | Resolution:
Keywords: days65 | Merged in:
Authors: Jean-Baptiste | Reviewers: zabrocki
Priez | Work issues:
Report Upstream: N/A | Commit:
Branch: | 174d2288c77874c17750339dfef5400a8dccce8c
public/ticket/18675 | Stopgaps:
Dependencies: |
-------------------------------------+-------------------------------------
Comment (by jhpalmieri):
Replying to [comment:16 darij]:
> I am not sure whether topologists are assuming the Koszul sign rule all
the time or only when they like it.
I can't speak for all topologists, but when I've seen graded Hopf
algebras, the sign convention has always been used.
> But Hopf algebras haven't just been the topologists' game for at least
20 years now.
You're making my point for me. I'm not saying that Hopf algebras are just
the topologists' game. Instead I'm saying that Hopf algebras are not just
the combinatorialists' game, and so we need to use the terminology in a
way that excludes nobody. Don't just use the combinatorial language and
ignore the Koszul sign rule. Mike's proposal
(`GradedCombinatorialHopfAlgebra`, `GradedTopologicalHopfAlgebra`) is a
good solution.
--
Ticket URL: <http://trac.sagemath.org/ticket/18675#comment:17>
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.
