Skip to main content
polynomial_identity
foundry_
evm_
symbolic
1.8.4
In foundry_
evm_
symbolic::
runtime::
solver::
normalize::
polynomial
foundry_evm_symbolic
::
runtime
::
solver
::
normalize
::
polynomial
Function
polynomial_
identity
Copy item path
Source
pub(super) fn polynomial_identity(left: &
SymExpr
, right: &
SymExpr
) ->
bool