solve a Thue equation or inequality
thue(ex, vars, k, w)
thue(ex, vars, k)
thue(ex, vars, w)
Thue equation or Thue inequality
list of two names, [x, y]
(optional) positive integer
(optional) unevaluated variable
Important: The numtheory package has been deprecated. Use the superseding command NumberTheory[ThueSolve] instead.
Let f⁡x,y be a rational binary form in Zx,y, irreducible over Qx,y, and m an integer. The Thue equation has the form f⁡x,y=m and the Thue inequality has the form f⁡x,y≤m (with 0<m).
This function computes all solutions in ℤ×ℤ of the given Thue equation or inequality ex, subject to the constraint y≤10k. If k is omitted, it defaults to 10.
In the equation case, if there are no solutions with the above constraint and the last argument to thue is an unevaluated name (i.e., w is given), then to it will be assigned an expression sequence consisting of a diagnostic message and the integers m' in the range −2⁢m..2⁢m such that the given Thue equation has a solution when m is replaced by m'.
In the inequality case, if the last argument to thue is an unevaluated name (i.e., w is given), then w is assigned the set of values obtained by substituting the various solutions to the inequality into the left hand side of the given Thue inequality.
Note that in the inequality case, ex must be given in the form f≤m and not simply f≤m.
This function is part of the numtheory package, and so can be used in the form thue(..) only after performing the command with(numtheory). The function can always be accessed in the long form numtheory[thue](..).
f ≔ x3−3⁢x⁢y2+y3
try the following constant term(s): ,−3,−1,0,1,3
f ≔ x3+x2⁢y−2⁢x⁢y2−y3:
sols ≔ thue⁡f≤5,x,y,'w'
equality holds for the following constant term(s): ,0,1
g ≔ x5+x4⁢y−4⁢x3⁢y2−3⁢x2⁢y3+3⁢x⁢y4+y5
Note that the binary forms must be irreducible:
Error, (in numtheory:-thue) this binary form is not irreducible
Download Help Document
What kind of issue would you like to report? (Optional)