Bug in a solve function

11072019, 10:04 AM
Post: #1




Bug in a solve function
Try to solve the inequality: (x^31)*(x^24*x+4)/(x^25*x+6)>=0
The Prime's CAS returns the wrong answer {x>=1 AND x<=2, x>3}. The right answer must be a {x>=1 AND x<2, x>3}. Xcas returns the same result. Point x=2 must not be in the solution list. The same issue appears with the equation x/x=1. Prime's CAS and Xcas return the wrong answer {x}. Point x=0 must not be in the solution list. 

11072019, 10:13 AM
Post: #2




NOT A Bug in a solve function
This is for the same reason as for your other posts, the expressions are considered like polynomials, therefore simplification happens.
And this is in my opinion much better, because excluding these values just because they are roots of the denominator, without taking care of the numerator, is artificial. 

11072019, 10:36 AM
Post: #3




RE: Bug in a solve function
(11072019 10:13 AM)parisse Wrote: This is for the same reason as for your other posts, the expressions are considered like polynomials, therefore simplification happens. Let's substitute point x=0 to the equation x/x=1. We'll get undef=1, but if x=0 is the solution of this equation, then the left side must be equal to the right side. Simplifying (Reducing) fractions: Dividing the numerator and denominator of a fraction by the same nonzero number will also yield an equivalent fraction. In these cases (my examples) simplification cancels this rule. Why? 

11072019, 07:45 PM
Post: #4




RE: Bug in a solve function
When you type x/x and run a simplification, x is a polynomial. This is implicit when you run most of the commands of a CAS, like solve. This is an algebraic process, but is also true if you consider the limit as x>0 or look at the graph of 'x/x'. That's the reason why I say that excluding x=0 is artificial (0 is a removable singularity).


11082019, 03:57 AM
Post: #5




RE: Bug in a solve function
Thanks. 

« Next Oldest  Next Newest »

User(s) browsing this thread: 1 Guest(s)