pyecsca.ec.formula.unroll module

Provides functions for unrolling formula intermediate values symvolically.

unroll_formula_expr(formula)

Unroll a given formula symbolically to obtain symbolic expressions for its intermediate values.

Parameters:

formula (Formula) – Formula to unroll.

Return type:

List[Tuple[str, Expr]]

Returns:

List of symbolic intermediate values, with associated variable names.

unroll_formula(formula)

Unroll a given formula symbolically to obtain symbolic expressions (as Polynomials) for its intermediate values.

Parameters:

formula (Formula) – Formula to unroll.

Return type:

List[Tuple[str, Poly]]

Returns:

List of symbolic intermediate values, with associated variable names.