pyecsca.ec.formula.unroll module

Provides functions for unrolling formula intermediate values symvolically.

unroll_formula_expr(formula)[source]

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)[source]

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.