Overview of the IntegerRelations Package
|
Calling Sequence
|
|
IntegerRelations[command](arguments)
command(arguments)
|
|
Description
|
|
•
|
The IntegerRelations package contains two routines, LLL, and PSLQ, which are used to solve specific computational problems. LLL is the Lenstra, Lenstra, Lovasz lattice basis reduction. PSLQ is Bailey and Ferguson's partial sum of least squares algorithm. The LinearDependency routine is a user-level routine for applying PSLQ or LLL to solve the integer relation problem, defined as follows.
|
|
The ~identify~ Command and the `IntegerRelations` Package
|
|
•
|
The identify command uses the LLL and PSLQ routines to identify exact constants from decimal numbers, for example, given outputs
|
>
|
with(IntegerRelations);
|
| (1) |
| (2) |
>
|
x := 0.31783724519578224473;
|
| (3) |
>
|
PSLQ([1,x,x^2,x^3,x^4]);
|
| (4) |
>
|
solve(y^4-10*y^2+1, y);
|
| (5) |
| (6) |
•
|
Each command in the IntegerRelations package can be accessed by using either the long form or the short form of the command name in the command calling sequence.
|
|
As the underlying implementation of the IntegerRelations package is a module, it is also possible to use the form IntegerRelations:-command to access a command from the package. For more information, see Module Members.
|
|
|
|
List of IntegerRelations Package Commands
|
|
|
The following is a list of available commands.
|
|
|
Download Help Document
Was this information helpful?