On 7/3/13 6:21 AM, Nicolas M. Thiery wrote:
Dear category fans,
One of the features introduced by the category patch #10963 is a new
category for algebras that are not necessarily associative nor unital.
This is a call for suggestions and votes for a good name for it.
- ``Algebras``: that's wikipedia's choice [1]. However using this name
would be backward incompatible, since ``Algebras'' in Sage currently
refers to associative unital algebras. At this point in time, I
don't want to open another can of worm on a ticket that is already
way too big. But we could think about it in a later ticket.
Note: many textbooks/papers use algebra as a short hand for
associative unital (and sometimes commutative) algebras; but they
usually specify this explicitly at the beginning, and they are each
in a smaller context than Sage's.
- ``NonAssociativeNonUnitalAlgebras``: that's what's currently
used in the patch. Of course this terminology is not great because
an associative algebra would then be a special case of a non
associative algebra ...
Note: I remember someone mentioning once that there was a tiny
difference between ``non-associative'' and ``not associative'' that
could possibly make this acceptable but I have no informed opinion
myself.
- ``MagmaticAlgebras``: this was suggested by Florent, referring to
the terminology used in the operad community; see e.g. 13.8 of
Loday&Valette [2]
- Something else?
MagmaticAlgebras or perhaps AlgebrasOverMagmas or Magma-Algebras (in analogy to
an
R-module) seems to be what you want?
See https://en.wikipedia.org/wiki/Magma_%28algebra%29
Otherwise, Travis' suggestion of GeneralAlgebras and GeneralRings would also
be good (if it is explained in the documentation why this name was chosen)!
Best,
Anne
--
You received this message because you are subscribed to the Google Groups
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to sage-devel+unsubscr...@googlegroups.com.
To post to this group, send email to sage-devel@googlegroups.com.
Visit this group at http://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/groups/opt_out.
