Important: The numtheory package has been deprecated.  Use the superseding command NumberTheory[InhomogeneousDiophantine] instead.

This function finds a solution $x_1,x_2,\dots ,x_n,y_1,\dots ,y_m$ over the integers to a set of inequalities of the form

or

The inequalities can be described either explicitly, corresponding to the first calling sequence shown above (see the first two examples below) or implicitly, corresponding to the second calling sequence (see the last two examples below).

If the first calling sequence is used (i.e., the inequalities are given explicitly), then the result is returned in the form

If the second calling sequence is used, the result is returned as a pair of lists, the first corresponding to the x values and the second corresponding to the y values.

In the second calling sequence, if the $\mathrm{\alpha }$'s are all the same, the list $\left[{\mathrm{\alpha }}_1\,\mathrm{...}\,{\mathrm{\alpha }}_m\right]$ may be replaced by $\mathrm{\alpha }$. The err's may be similarly replaced in the real case.

The command with(numtheory,kronecker) allows the use of the abbreviated form of this command.

$\mathrm{with}\left(\mathrm{numtheory}\right)\:$

$\mathrm{with}\left(\mathrm{padic}\right)\:$

$\mathrm{kronecker}\left(\left\{\mathrm{abs}\left(-3.7\exp \left(2\right)x+y+3^{\frac{1}{3}}z-5^{\frac{1}{3}}-v\right)\le {10}^{-3}\,\mathrm{abs}\left(0.01\log \left(2\right)x+24\log \left(5\right)y-83^{\frac{1}{2}}z-\exp \left(2.5\right)-u\right)\le {10}^{-7}\right\}\,\left\{x\,y\,z\right\}\,\left\{u\,v\right\}\right)$

$\left[x=8026\right],\left[y=\mathrm{-3174}\right],\left[z=6916\right],\left[v=\mathrm{-212628}\right],\left[u=\mathrm{-218388}\right]$

$x≔'x'\:$$y≔'y'\:$$u≔'u'\:$$v≔'v'\:$

$\mathrm{kronecker}\left(\left\{\mathrm{valuep}\left(\frac{1}{\log \left(7\right)}x+\log \left(11\right)y-\log \left(7\right)-v\,5\right)\le 5^{-15}\,\mathrm{valuep}\left(\log \left(3\right)x+\exp \left(7\right)y-\log \left(3\right)-w\,7\right)\le 7^{-12}\,\mathrm{valuep}\left(\log \left(5\right)x+\log \left(7\right)y-\log \left(5\right)-u\,3\right)\le 3^{-20}\right\}\,\left\{x\,y\right\}\,\left\{u\,v\,w\right\}\right)$

$\left[x=\mathrm{-15516275}\right],\left[y=6404775\right],\left[w=\mathrm{-9747866955}\right],\left[u=\mathrm{-1192024656}\right],\left[v=\mathrm{-27148890349}\right]$

$\mathrm{kronecker}\left(\left[\left[\log \left(2\right)\,\log \left(5\right)\,3^{\frac{1}{2}}\right]\,\left[\exp \left(2\right)\,\mathrm{\pi }\,3^{\frac{1}{3}}\right]\right]\,\left[\exp \left(1\right)\,2^{\frac{1}{2}}\right]\,\left[{10}^{-2}\,{10}^{-5}\right]\right)$

$\left[\mathrm{-2863}\,\mathrm{-10057}\,\mathrm{-1494}\right],\left[\mathrm{-20761}\,\mathrm{-54906}\right]$

$\mathrm{kronecker}\left(\left[\left[\left[\log \left(3\right)\,\log \left(7\right)\,\log \left(13\right)\right]\,\left[\sin \left(5\right)\,\frac{1}{\log \left(7\right)}\,\exp \left(5\right)\right]\right]\,\left[2\,5\right]\right]\,\left[\log \left(5\right)\,\log \left(11\right)\right]\,\left[10\,15\right]\right)$

$\left[\mathrm{-2000}\,3125\,2825\right],\left[\mathrm{-800}\,\mathrm{-26295606385}\right]$