The isolve command attempts to solve the given equations over the integers. Note that it automatically solves for all of the indeterminates present in the equations.
Examples.
| ⎡ ⎣ | x=−10+42_Z0,y=1−5_Z0 | ⎤ ⎦ |
| ⎡ ⎣ | x=m,y=−4 m+15,z=−3 m+11 | ⎤ ⎦ |
| ⎡ ⎢ ⎢ ⎢ ⎢ ⎣ | x= |
| ,y= |
| ⎤ ⎥ ⎥ ⎥ ⎥ ⎦ |
| 0 |
| ⎡ ⎣ | [24,5],[1151,240],[55224,11515],[2649601,552480] | ⎤ ⎦ |
| [x=24,y=5] |
| ⎡ ⎢ ⎢ ⎢ ⎢ ⎢ ⎢ ⎢ ⎢ ⎢ ⎢ ⎢ ⎣ |
| ⎤ ⎥ ⎥ ⎥ ⎥ ⎥ ⎥ ⎥ ⎥ ⎥ ⎥ ⎥ ⎦ |
|
| ⎡ ⎢ ⎣ |
| ⎤ ⎥ ⎦ |
| ⎡ ⎣ | x=c | ⎛ ⎝ | −44 a2+12 b2 | ⎞ ⎠ | ,y=c | ⎛ ⎝ | 13 a2−3 b2−6 a b | ⎞ ⎠ | ,z=c | ⎛ ⎝ | −11 a2−3 b2+2 a b | ⎞ ⎠ | ⎤ ⎦ |
| ⎡ ⎢ ⎢ ⎢ ⎢ ⎢ ⎢ ⎣ |
| ⎤ ⎥ ⎥ ⎥ ⎥ ⎥ ⎥ ⎦ |