[mercury-users] Computing a square root from its definition
Terrence Brannon
princepawn at earthlink.net
Thu Apr 26 21:44:12 AEST 2001
I am working on a functional means of approximating square roots that
I will post once I am have my final efforts with it.
But for the moment, is there a short Mercury program which might
deduce a square root from its definition:
sqrt(x) == Y | Y >= 0 and Y*Y = x
--------------------------------------------------------------------------
mercury-users mailing list
post: mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe: Address: mercury-users-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------
More information about the users
mailing list