52 | | |
53 | | This deals with the obvious problem but not the underlying one, which is that the result is still IMHO underprocessed: |
54 | | {{{ |
55 | | MODIFIED_sage: solve([2*x==3, x != 4], x)[[BR]][[x == (3/2), (-5/2) != 0]] |
56 | | |
57 | | when I wanted [[x == (3/2)]], or |
58 | | |
59 | | MODIFIED_sage: solve([2*x==3, x != 3/2], x)[[BR]][[x == (3/2), 0 != 0]] |
60 | | |
61 | | when I wanted []. |
62 | | }}} |
63 | | In fact, even in cases not involving "!=", it's possible for maxima output -- %union([x = 3/2, -5/2 # 0]) -- to be insufficiently processed,IMHO: |
64 | | {{{ |
65 | | MODIFIED_sage: solve([2*x==3, (x-4)!^2 > 0], x) |
66 | | [[x == (3/2), (-5/2) != 0]] |
67 | | }}} |
68 | | ISTM the extra information about what condition maxima used isn't worth the inconvenience of having to postprocess the solutions to see if one exists. |