isolve - Maple Programming Help

Online Help

All Products    Maple    MapleSim


Home : Support : Online Help : Mathematics : Group Theory : Numbers : Integer Functions : isolve

isolve

solve Diophantine equations for integer solutions

 

Calling Sequence

Parameters

Description

Examples

Calling Sequence

isolve(eqns, vars)

Parameters

eqns

-

set of equations or single equation, or inequalities

vars

-

(optional) set of variables or a variable

Description

• 

The procedure isolve tries to solve the equations in eqns over the integers. It solves for all of the indeterminates occurring in the equations.

• 

The optional second argument vars is used to name global variables that have integer values and occur in the solution, and if there is only one argument, then the global names _Z1, _Z2, and so forth, are used. For non-negative solutions, _NN1, _NN2, and so forth, are used. This has been introduced since Release 5.1 which used to use _N1 in order to make the behavior similar to that of solve.

• 

It returns the NULL value if either there are no integer solutions or Maple is unable to find the solutions.

• 

The isolve command has some limited ability to deal with inequalities.

• 

The isolve command can solve systems of linear equations, single polynomial equations, quadratic forms and homogeneous Pythagorean equations of the form a*X^2 + b*Y^2 + c*Z^2 = 0.  In addition, Maple can solve Diophantine equations of the form p( x ) = c*y, for integral constants c, and a rational polynomial p( x ).

• 

You can request that isolve display information about the solving processing by setting infolevel[isolve] to a non-zero value.

Examples

A solution to a single linear Diophantine equation is returned in terms of _Z1.

isolve3x4y=7

x=5+4_Z1,y=2+3_Z1

(1)

To change the free parameter, use the optional second argument.

isolve3x4y=7,a

x=5+4a,y=2+3a

(2)

A system of linear Diophantine equations.

isolve3x4y=7,x+y=14

x=9,y=5

(3)

NULL is returned if Maple is unable to find any integer solutions.

isolvex2=3

The following example has an unique rational solution, but no integral solutions.

solve4xy=7,x+2y=8

x=229,y=259

(4)

isolve4xy=7,x+2y=8

isolve7x5+22x455x394x2+87x56=4y

x=4_Z1,y=1792_Z15+1408_Z14+880_Z13376_Z1287_Z114

(5)

isolvex2+y2xy3

x=2,y=1,x=1,y=2,x=1,y=1,x=1,y=1,x=1,y=2,x=2,y=1

(6)

The following homogeneous polynomial in x, y, z has genus 0.

isolvey4z2y23xzy2x3z

x=_Z3_Z12_Z12_Z22igcd_Z12_Z12_Z22,_Z13_Z2,_Z24,y=_Z3_Z13_Z2igcd_Z12_Z12_Z22,_Z13_Z2,_Z24,z=_Z3_Z24igcd_Z12_Z12_Z22,_Z13_Z2,_Z24

(7)

isolvey4z2y23xzy2x3z,a,b,c

x=ca2a2b2igcda2a2b2,a3b,b4,y=ca3bigcda2a2b2,a3b,b4,z=cb4igcda2a2b2,a3b,b4

(8)

An example of a system of inequalities.

isolvec&equals;d&comma;d&equals;1&comma;b1&comma;b0&comma;a<1&comma;a0

a&equals;0&comma;b&equals;0&comma;c&equals;1&comma;d&equals;1&comma;a&equals;0&comma;b&equals;1&comma;c&equals;1&comma;d&equals;1

(9)

See Also

allvalues

assign

dsolve

fsolve

Groebner

invfunc

isolate

LinearAlgebra[LinearSolve]

match

msolve

RootOf

rsolve

simplex

solve

solve[identity]

 


Download Help Document

Was this information helpful?



Please add your Comment (Optional)
E-mail Address (Optional)
What is ? This question helps us to combat spam