beanmachine.ppl.compiler.fix_arithmetic module

beanmachine.ppl.compiler.fix_arithmetic.log1mexp_fixer(bmg: beanmachine.ppl.compiler.bm_graph_builder.BMGraphBuilder, typer: beanmachine.ppl.compiler.lattice_typer.LatticeTyper) → Callable[[beanmachine.ppl.compiler.bmg_nodes.BMGNode], Union[beanmachine.ppl.compiler.bmg_nodes.BMGNode, None, beanmachine.ppl.compiler.fix_problem.NodeFixerError]]

beanmachine.ppl.compiler.fix_arithmetic.neg_neg_fixer(bmg: beanmachine.ppl.compiler.bm_graph_builder.BMGraphBuilder) → Callable[[beanmachine.ppl.compiler.bmg_nodes.BMGNode], Union[beanmachine.ppl.compiler.bmg_nodes.BMGNode, None, beanmachine.ppl.compiler.fix_problem.NodeFixerError]]

beanmachine.ppl.compiler.fix_arithmetic.negative_real_multiplication_fixer(bmg: beanmachine.ppl.compiler.bm_graph_builder.BMGraphBuilder, typer: beanmachine.ppl.compiler.lattice_typer.LatticeTyper) → Callable[[beanmachine.ppl.compiler.bmg_nodes.BMGNode], Union[beanmachine.ppl.compiler.bmg_nodes.BMGNode, None, beanmachine.ppl.compiler.fix_problem.NodeFixerError]]

This fixer rewrites multiplications involving negative reals into multiplications using only positive reals.

beanmachine.ppl.compiler.fix_arithmetic.nested_if_same_cond_fixer(bmg: beanmachine.ppl.compiler.bm_graph_builder.BMGraphBuilder) → Callable[[beanmachine.ppl.compiler.bmg_nodes.BMGNode], Union[beanmachine.ppl.compiler.bmg_nodes.BMGNode, None, beanmachine.ppl.compiler.fix_problem.NodeFixerError]]