[eclipse-clp-users] Large integers and delayed goals

From: Sergey Dymchenko <kit1980_at_gmail.com>
Date: Fri, 9 Mar 2012 19:24:32 +0200
Hi,

I want to find positive natural numbers A, B, C, D, such that A^4 +
B^4 + C^4 = D^4.
My program do this:

    A #> 0, B #> 0, C #> 0, D #> 0,
    A #=< B, B #=< C, C #=< D,
    A*A*A*A + B*B*B*B + C*C*C*C #= D*D*D*D,
    labeling([A, B, C, D])

But I get incorrect result [1, 1, 9742, 9742] with 10 delayed goals.
As far as I understand, the system finds that the result is imprecise,
but correct enough because 9742^4 is a large number.
Probably floating arithmetic is used, not big integers...
Is there a way to force precise arithmetic for large integers?

Sergey.
Received on Fri Mar 09 2012 - 17:24:44 CET

This archive was generated by hypermail 2.2.0 : Sat Mar 17 2012 - 06:16:59 CET