Without your mention I was going to skip AXIOM because I didn't get to grasp the ideas it presented immediately and the claims felt quite pompous.
I read about those categories you mentioned and it is still baffling by which logic that system works. Reading further on it actually seems interesting. It proposes it provides compositions of objects that restrict by their mathematical properties. I'm going to read deeper and play out with that stuff. Henri Tuhola -- 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 https://groups.google.com/group/sympy. To view this discussion on the web visit https://groups.google.com/d/msgid/sympy/fda801b8-0e03-4211-b954-3a184dc04c54%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
