#15635: free Pre-Lie algebras
-------------------------------------+-------------------------------------
Reporter: chapoton | Owner:
Type: enhancement | Status: needs_review
Priority: major | Milestone: sage-6.7
Component: combinatorics | Resolution:
Keywords: trees, prelie | Merged in:
algebra | Reviewers: Travis Scrimshaw
Authors: Frédéric Chapoton | Work issues:
Report Upstream: N/A | Commit:
Branch: | 6fa6d78d63d47f3b14b93ace237a694c7c059194
public/ticket/15635 | Stopgaps:
Dependencies: #11529 |
-------------------------------------+-------------------------------------
Comment (by tscrim):
Thanks for fixing the module list (I didn't have time until this afternoon
to come back to this).
Replying to [comment:32 chapoton]:
> > - I added `algebras.FreePreLie` and made this the standard entry
point.
>
> '''I do not quite agree'''. Most people would not call them algebras,
because they are NOT associative
I understand your point, but what would people call them, non-associative
algebras? The one of the current thoughts is to rename `MagmaticAlgebras`
to `Algebras` and add axioms like "associative" (#15043). Also, what do
you say about [http://en.wikipedia.org/wiki/Jordan_algebra Jordan
algebras] being in the catalog?
Irregardless of nomenclature, I would say that having this as a global
entry point doesn't harm anyone as the name is clear (and there's no
danger of confusion), it is documented that it not associative, it makes
it discoverable, and `FreePreLieAlgebra` in the global namespace IMO adds
some clutter.
Another option would be to create a (stub) category for pre-Lie algebras,
werhich might be bett for the long term, and have a method `free` similar
to:
{{{
sage: Groups().free(names='x,y,z')
Free Group on generators {x, y, z}
}}}
(and something similar should probably be done for associative unital
algebras).
--
Ticket URL: <http://trac.sagemath.org/ticket/15635#comment:36>
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.
