Method Neg

ecgo/builder/api.go:96–108

Neg returns the negation of the given variable.

(i frontend.Variable)

// Neg returns the negation of the given variable.
func (builder *builder) Neg(i frontend.Variable) frontend.Variable {
	v := builder.toVariableId(i)
	if c, ok := builder.constantValue(v); ok {
		return builder.toVariable(builder.field.Neg(c))
	}
	coef := []constraint.Element{builder.field.Neg(builder.tOne)}
	builder.instructions = append(builder.instructions, irsource.Instruction{
		Type:        irsource.LinComb,
		Inputs:      []int{v},
		LinCombCoef: coef,
	})
	return builder.addVar()
}

// Mul computes the product of the given variables.
func (builder *builder) Mul(i1, i2 frontend.Variable, in ...frontend.Variable) frontend.Variable {