#8589: New feature : Hopf algebra structure on group algebras
------------------------------+---------------------------------------------
Reporter: vferay | Owner: sage-combinat
Type: enhancement | Status: needs_work
Priority: major | Milestone:
Component: combinatorics | Keywords:
Author: Valentin Feray | Upstream: N/A
Reviewer: | Merged:
Work_issues: |
------------------------------+---------------------------------------------
Comment(by nthiery):
Replying to [comment:11 vferay]:
> It was needed in the function algebra_generators() which can be
> called on a group or semi-group algebra. But I changed this function
> such that it works in both cases.
Thanks. Do you mind fixing instead semigroup_generators?
> I splitted the patch in 2 and keep just the part on group algebra
> and Hopf algebra (and not the part turning group generators into a
> family).
Thanks.
> Everything seems to work now (I have one error in the test of
> hopf_algebra_with_basis.py : "... still using old coercion
> framework) when the patch is applied in the sage-combinat queue. But
> it seems to depend on other patches (because import it when no other
> patches are applied lead to a lot of mistakes. Nicolas, do you know
> which ones and what I should do.
After investigation, your patch depends on:
- trac_9648_modulemorphism_codomain_extension-cs.patch # Needs review
- free_module_basis_key_initialisation-nb.patch
#9648 just needs a last pass of proofreading + rerunning the tests
with the latest Sage. Do you volunteer for the former?
I just created #10127 for the second. We should be able to finalize it
soon with Nicolas B.
With those patches applied, I only get two trivial errors in
sage/categories:
{{{
sage -t "devel/sage-combinat/sage/categories/groups.py"
**********************************************************************
File "/opt/sage-4.5.2/devel/sage-combinat/sage/categories/groups.py", line
69:
sage: A.group_generators()
Expected:
[(2,3,4), (1,2,3)]
Got:
[(1,2,3), (2,3,4)]
sage -t "devel/sage-combinat/sage/categories/algebra_functor.py"
**********************************************************************
File "/opt/sage-4.5.2/devel/sage-
combinat/sage/categories/algebra_functor.py", line 37:
sage: Groups().Algebras(QQ) # todo: update once there will be a
category for group algebras
Expected:
Category of monoid algebras over Rational Field
Got:
Category of group algebras over Rational Field
}}}
Cheers,
Nicolas
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/8589#comment:12>
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 post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/sage-trac?hl=en.
