 However, in the general situation, this idea would not work because the rational number $A(c)$ might have an exponentially large denominator, hence, $A(c)$ could take polynomial space just to store (let alone the computations)