numtheory(deprecated)
kronecker
Inhomogeneous Diophantine approximation
Calling Sequence
Parameters
Description
Examples
kronecker(ineqs, xvars, yvars)
kronecker(form, alpha, err)
ineqs
-
inequality or a set of inequalities with abs and/or valuep (p-adic valuation)
xvars
variable or set of variables
yvars
form
list of lists of real numbers or list of lists of p-adic numbers and primes
alpha
real number or list of real numbers or list of p-adic numbers
err
real number or a list of real numbers or list of positive integers
Important: The numtheory package has been deprecated. Use the superseding command NumberTheory[InhomogeneousDiophantine] instead.
This function finds a solution 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 's are all the same, the list may be replaced by . 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.
See Also
isolve
NumberTheory[InhomogeneousDiophantine]
numtheory(deprecated)[minkowski]
Download Help Document