To prove a square root routine to be correct would be stated as (z: z >= 0.0) (sqrt(z)) (~"0.5) or simply stated => (z: 0, 1,4,9) { sqrt(z)} (0, 1,2, 3).
To prove a square root routine to be correct would be stated as (z: z >= 0.0) (sqrt(z)) (~"0.5) or simply stated => (z: 0, 1,4,9) { sqrt(z)} (0, 1,2, 3).