On 2013-07-05, Franco Saliola <sali...@gmail.com> wrote: > --089e0112cf9a05cdd104e0c5e9eb > Content-Type: text/plain; charset=ISO-8859-1 > > On Jul 5, 2013 7:41 AM, "Simon King" <simon.k...@uni-jena.de> wrote: >> >> Hi Franco, >> >> On 2013-07-05, Franco Saliola <sali...@gmail.com> wrote: >> > I like the idea of being able to do >> > >> > categories.<tab> >> > >> > and seeing a list of the available categories (or some reasonable subset >> > of). >> >> ... which would not require them being inserted into the global >> namespace, AFAIK. >> >> >> > For the record, I like the term magmatic algebras. It is not >> > standard/common terminology and would certainly invite the user to look > at >> > the documentation to figure out what it is. >> >> When do you ever see the category of a parent P? In addition, there > currently >> is no non-associative algebra in Sage, hence, even if you do >> P.category(), you would not see "Category of magmatic algebras". > > Let me make my vote more precise: I like magmatic algebra as a temporary > solution; otherwise I concur with Simon that we should redefine the current > category Algebras. IMHO there should also be some consistency here, e.g. then one should have magmatic rings...
Dima > > Franco -- 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.
