Dear all, While working on an implementation of finite algebras over fields (#12141) I was slightly annoyed by the fact that Algebras are currently assumed to be unital. I agree with Simon King's opinion:
I don't really like "magma algebra" or "magmatic algebra", but that's > mainly because > I never heard anyone using this notion before. I'd rather describe an > algebra as a > module over an appropriate operade than call it "magma algebra". > > What I'd prefer is very simple: Just say "algebra" to an algebra. If any > additional > axiom holds, then the algebra should be called commutative, associative, > unital, > noetherian, lie, finite-dimensional, or whatever you like. But don't > mention the > *absence* of axioms! > Best regards, Peter Bruin -- 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.
