Closed bmatschke closed 3 years ago
The relative precision of the query should first be truncated to say $ceil(log_p(10)*40)$ p-adic digits.
$ceil(log_p(10)*40)$
Done.
The relative precision of the query should first be truncated to say
$ceil(log_p(10)*40)$
p-adic digits.