[sympy] zoo

2021-06-20 Thread David Bailey
Dear group, I recently spent some time debugging something which was producing an expression involving k*zoo. Eventually I used help on zoo and discovered it meant complex infinity! k/0 gives k*zoo Wouldn't it be more helpful to spell this out as k*ComplexInfinity? Maybe oo could be spell

Re: [sympy] Linear Inequality Simplifier

2021-06-20 Thread Oscar Benjamin
Okay, that code looks good. It will also need docs and tests. I suggest first trying to add the smallest part of this to sympy. Then other parts can be added one step at a time. The question is what is the smallest part that is useful on its own. Is that the simplex function? If you open a pull