[mercury-users] Computing a square root from its definition

[Terrence Brannon]

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
--------------------------------------------------------------------------