http://www.mapleprimes.com/questions/41110-Nonnegative-Integers-In-An-Identity en-us 2026 Maplesoft, A Division of Waterloo Maple Inc. Maplesoft Document System Wed, 10 Jun 2026 17:49:26 GMT Wed, 10 Jun 2026 17:49:26 GMT The latest answers and comments added to the Question, nonnegative integers in an identity http://www.mapleprimes.com/images/mapleprimeswhite.jpg http://www.mapleprimes.com/questions/41110-Nonnegative-Integers-In-An-Identity http://www.mapleprimes.com/questions/41110-Nonnegative-Integers-In-An-Identity?ref=Feed:MaplePrimes:nonnegative integers in an identity:Comments#answer76338 The result of isolve is a good starting point. Consider the requirements a[j] >= 0 as a set of constraints on the variables _Z1 and _Z2. Then you could use integer linear programming, available in Optimization[LPSolve] with assume=integer. For example, if S is the result of your isolve, to find the solution that minimizes a[1]: <pre> > Optimization[LPSolve](subs(S,a[1]), map(t -> (rhs(t)>=0), S), assume=nonnegint); </pre> <maple>[4, [_Z2 = 0, _Z1 = 2]]</maple> The result of isolve is a good starting point. Consider the requirements a[j] >= 0 as a set of constraints on the variables _Z1 and _Z2. Then you could use integer linear programming, available in Optimization[LPSolve] with assume=integer. For example, if S is the result of your isolve, to find the solution that minimizes a[1]: <pre> > Optimization[LPSolve](subs(S,a[1]), map(t -> (rhs(t)>=0), S), assume=nonnegint); </pre> <maple>[4, [_Z2 = 0, _Z1 = 2]]</maple> 76338 Fri, 13 Jul 2007 22:55:26 Z Robert Israel Robert Israel