We currently use the same number of terms as min number and number of minimization terms. Is it possible to introduce a new constant for the number of minimization terms and to increase it to 100 or 120? This would help to avoid false optimizations of programs for decimal expansions.
We currently use the same number of terms as min number and number of minimization terms. Is it possible to introduce a new constant for the number of minimization terms and to increase it to 100 or 120? This would help to avoid false optimizations of programs for decimal expansions.