define CTZ(a * b^c, b) = c
; where GCD(a, b^c) = 1
following is in binary:
0.0101 -> -10
101 * 10^-100 -> -100 (contradiction)
define CTZ(a * b^c, b) = c
; where GCD(a, b^c) = 1
following is in binary:
0.0101 -> -10
101 * 10^-100 -> -100 (contradiction)