Closed mbeyss closed 5 months ago
arbitrary precision is actually needed in data/ConstraintSystem.cc
. There, the constraint system is solved (calculation of dependent/free fluxes) in arbitrary precision. While likely not strictly necessary in most cases, it has added value
I see no reason, why arbitrary precision math is needed anywhere