From a1814bf3846d73042eed9becdb5c3b243181c9a9 Mon Sep 17 00:00:00 2001 From: Xiao Liang Date: Sat, 12 Oct 2019 04:04:14 +0800 Subject: [PATCH] doc.fix(ast/rewriter/poly_rewriter_params.pyg): typo som-of-monomials -> sum-of-monomials --- src/ast/rewriter/poly_rewriter_params.pyg | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/ast/rewriter/poly_rewriter_params.pyg b/src/ast/rewriter/poly_rewriter_params.pyg index 776ec890b..c2b90a95b 100644 --- a/src/ast/rewriter/poly_rewriter_params.pyg +++ b/src/ast/rewriter/poly_rewriter_params.pyg @@ -1,7 +1,7 @@ def_module_params(module_name='rewriter', class_name='poly_rewriter_params', export=True, - params=(("som", BOOL, False, "put polynomials in som-of-monomials form"), + params=(("som", BOOL, False, "put polynomials in sum-of-monomials form"), ("som_blowup", UINT, 10, "maximum increase of monomials generated when putting a polynomial in sum-of-monomials normal form"), ("hoist_mul", BOOL, False, "hoist multiplication over summation to minimize number of multiplications"), ("hoist_cmul", BOOL, False, "hoist constant multiplication over summation to minimize number of multiplications"),