Message
par niccolo » mer. juin 12, 2019 6:13 pm
I suspect I understand why. It's because "x=1" (the solution I was expecting) isn't a solution to the set of equations.
In other words, it's as if giac does "subst(equation_set, solution)" and if not *all* the equations in equation_set evaluate to 'true', it's not considered a solution.
E.g., "subst([x=1,y=2],[x=1])" evaluates to "[1=1,y=2]", and while "1=1" is 'true', "y=2" isn't!
OTOH, "subst([x=1,y=2],[x=1,y=2])" evaluates to "[1=1,2=2]", and both "1=1" and "2=2" are 'true'.
Am I right in my understanding?