|L||A difference operator|
rationalSolution() returns either where satisfies , or if has no solution in .
rationalSolution() returns only when has no nonzero rational solution.
Usage within MAPLE
When using rationalSolution from inside MAPLE, the output is modified and either a rational solution in or is returned.