I'm CCing Sergiu, the author of this module. Aaron Meurer
On Mon, Feb 3, 2014 at 7:31 PM, vincent monde <[email protected]> wrote: > my idea is to construct some associative property and distributivity > property with category package first > > and then use hom to combine these category diagram , this method i am not > sure correct or not. > > will sympy have operads in future? is it a need to use operads to create > algebra or generate operation or construct theory? or which one need it? > > how to display a associative property and distributivity property with > category module? > > when see the example, i do not understand how Object S x S is an object, i > guess that there is another way to write in sympy > > reference from > http://www.mathematik.uni-muenchen.de/~pareigis/Vorlesungen/04SS/Cats1.pdf > any example to show associativity and distributivity diagram? > > A = Object("S x S") > B = Object("S") > > .... > g == NamedMorphism(A, B, "g") > > S x mult > S x S x S ------> S x S > > | | > | mult x S | mult > | | > \|/ \|/ > > S x S -------> S > mult > > -- > You received this message because you are subscribed to the Google Groups > "sympy" 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/sympy. > For more options, visit https://groups.google.com/groups/opt_out. -- You received this message because you are subscribed to the Google Groups "sympy" 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/sympy. For more options, visit https://groups.google.com/groups/opt_out.
