nox/specs/patterns/07-mul.md

ฯ€ 0.0%

pattern 7: mul

parameterized by F.

abstract:   mul_F(a, b) โ†’ a ร— b in F
canonical:  (v_a ร— v_b) mod p

cost: 1. constraints: 1.

Local Graph