and . The boop invariant for this codes The following function computes ab for positive integers Poda. int product(int a, int b) int ca: int d-b: int P-0: while(d > 0) if (d % 2) P-pic; C- CIC: d-d/2; return P: for a real number I and a positive integer b. What is its loop The following function computes invariant? float power (float x, int b) float y -X: int d-b: float z - 1.0: while(d > 0) if(d % 2) z-zy: y-yy: d - d/2: return z; and . The boop invariant for this codes The following function computes ab for positive integers Poda. int product(int a, int b) int ca: int d-b: int P-0: while(d > 0) if (d % 2) P-pic; C- CIC: d-d/2; return P: for a real number I and a positive integer b. What is its loop The following function computes invariant? float power (float x, int b) float y -X: int d-b: float z - 1.0: while(d > 0) if(d % 2) z-zy: y-yy: d - d/2: return z