If a set of solutions contains extra solutions, it may be the trivial solution, but if all the disjuncts are extra solutions, removing them all makes it syntactically the same as the false solution; and maple solve still sometimes chokes on exp - the old code was entirely buggy (passing NULL as the first arg to indets, which meant that indets(specfunc(exp)) was never the empty list, so this check would throw away a good 'false' solution found by maple, not just 'lack of solution', which is indicated by the same thing sometimes (when Maple itself doesn't know if it found the system was false, or if it couldn't solve the system)
If a set of solutions contains extra solutions, it may be the trivial solution, but if all the disjuncts are extra solutions, removing them all makes it syntactically the same as the false solution; and maple solve still sometimes chokes on exp - the old code was entirely buggy (passing NULL as the first arg to indets, which meant that indets(specfunc(exp)) was never the empty list, so this check would throw away a good 'false' solution found by maple, not just 'lack of solution', which is indicated by the same thing sometimes (when Maple itself doesn't know if it found the system was false, or if it couldn't solve the system)

zaxtax/hakaru,zachsully/hakaru,zaxtax/hakaru,zachsully/hakaru