Le mercredi 27 janvier 2010 à 11:19 -0800, Ondrej Certik a écrit : > What is the advantage of having two classes instead of one? Just so > that I understand the motivation better. Essentially you just want to > split Basic into two classes, so that each class is simpler to > maintain? I am missing why it is a roadblock, but since you both did > some work with assumptions already, I guess there is a good reason > for that.
The main problem is circular dependency: assuming we switch to the new assumption system, algebraic expressions need assumptions, assumptions need the logic module, and logic needs Basic. So if Basic is aware of the existence of algebraic expressions, we have a problem. This also means that Basic shouldn't be aware of assumptions, by the way. -- You received this message because you are subscribed to the Google Groups "sympy" group. To post to this group, send email to [email protected]. To unsubscribe from this group, send email to [email protected]. For more options, visit this group at http://groups.google.com/group/sympy?hl=en.
