| 1 | initial version |
For overdetermined systems, you can get solutions by explicitly specifying all variables:
var('k a x')
show(solve([a==-x, k*a^2==x^2], [k, a, x]))
The result is
[[k == 1, a == r1, x == -r1], [k == r2, a == 0, x == 0]]
where r1 and r2 are arbitrary parameters.
Copyright Sage, 2010. Some rights reserved under creative commons license. Content on this site is licensed under a Creative Commons Attribution Share Alike 3.0 license.