Versions in this module Expand all Collapse all v1 v1.0.1 Dec 19, 2023 Changes in this version + func EvalEq(api frontend.API, x, y []frontend.Variable) (eq frontend.Variable) + func InterpolateLDE(api frontend.API, at frontend.Variable, values []frontend.Variable) frontend.Variable + type MultiLin []frontend.Variable + func (m MultiLin) Clone() MultiLin + func (m MultiLin) Evaluate(api frontend.API, at []frontend.Variable) frontend.Variable + func (m MultiLin) NumVars() int + type Polynomial []frontend.Variable + func (p Polynomial) Eval(api frontend.API, at frontend.Variable) (pAt frontend.Variable)