Ondrej, Thanks.
>> * Which assumptions system should I start out using? > > I would use the new system. Try to make sure that you use the new > assumptions classes, so that if we change how it works below the hood, > you don't need to change anything. The API to the new assumptions > system is modeled after Mathematica, so if it works for them, it > should work for us. OK great. I looked at them a bit more and the design seems pretty clean. A few comments and questions. The logic in both refine.py and ask.py put all the logic for various classes in handlers. Currently, ask.py allows new handlers to be registered, but refine does not allow new handlers to be registered. * Has any though been given to allowing classes to optionally put refine and ask logic in their own methods optionally. I am thinking of this like printers. The default is to use the logic in the external printer classes, but if a class has the appropriate method (_latex_ etc), that is used. * Would it make sense to have .ask and/or .refine methods on classes that call refine and ask? * Shouldn't we have logic that allows new refine handlers to be defined for either already existing types or new types. This does look different than the ask handlers. There can be multiple ask handlers for a type, but only one refine handlers. >> * Are there good docs on the new assumptions system? > > http://docs.sympy.org/modules/assumptions.html > >> * Are the new assumptions system in trunk (even if most things don't use >> them)? > > Yes. Great. Cheers, Brian > Ondrej > > -- > You received this message because you are subscribed to the Google Groups > "sympy" group. > To post to this group, send email to sy...@googlegroups.com. > To unsubscribe from this group, send email to > sympy+unsubscr...@googlegroups.com. > For more options, visit this group at > http://groups.google.com/group/sympy?hl=en. > > -- You received this message because you are subscribed to the Google Groups "sympy" group. To post to this group, send email to sy...@googlegroups.com. To unsubscribe from this group, send email to sympy+unsubscr...@googlegroups.com. For more options, visit this group at http://groups.google.com/group/sympy?hl=en.
