Skip to main content

Module polynomial

foundry_evm_symbolic::runtime::solver::normalize

Module polynomial 

Source
Expand description

Bounded sparse-polynomial identity reasoning over EVM words.

Structs§

Polynomial 🔒
A sparse polynomial over the EVM word ring Z/(2^256).

Constants§

MAX_MONOMIAL_FACTORS 🔒
MAX_POLYNOMIAL_PRODUCTS 🔒
MAX_POLYNOMIAL_TERMS 🔒

Functions§

polynomial_identity 🔒
polynomial_normalization_can_help 🔒

Type Aliases§

Monomial 🔒