verry.affine.summarized

verry.affine.summarized(vars, n, m=0)

Reduce the number of noise symbols while keeping correlation between vars.

Parameters:

• vars (Sequence[AffineForm]) – Affine forms to which the summarization is applied.

• n (int) – Number of noise symbols after summarization. n must be greater than or equal to len(vars).

• m (int, default=0) – Threshold of summarization. If the number of noise symbols is less than m, summarization is not applied.

Return type:

tuple[AffineForm, …]

Notes

This is an implementation of [1].

References

[1]

M. Kashiwagi, “An algorithm to reduce the number of dummy variables in affine arithmetic,” in Proc. 15th GAMM-IMACS International Symposium on Scientific Computing Computer Arithmetic and Verified Numerical Computations (SCAN 2012), Novosibirsk, Russia, Sep. 23–29, 2012, pp. 70–71. [Online]. Available: http://conf.nsc.ru/scan2012/scan2012_27