Method Div

ecgo/builder/api.go:161–181

Div returns the result of i1 divided by i2.

(i1, i2 frontend.Variable)

// Div returns the result of i1 divided by i2.
func (builder *builder) Div(i1, i2 frontend.Variable) frontend.Variable {
	vars := builder.toVariableIds(i1, i2)
	v1 := vars[0]
	v2 := vars[1]
	c1, ok1 := builder.constantValue(v1)
	c2, ok2 := builder.constantValue(v2)
	if ok1 && ok2 {
		if c2.IsZero() {
			panic("division by zero")
		}
		inv, _ := builder.field.Inverse(c2)
		return builder.toVariable(builder.field.Mul(c1, inv))
	}
	builder.instructions = append(builder.instructions, irsource.Instruction{
		Type:    irsource.Div,
		X:       v1,
		Y:       v2,
		ExtraId: 0,
	})
	return builder.addVar()
}

// Inverse returns the multiplicative inverse of the given variable.
func (builder *builder) Inverse(i1 frontend.Variable) frontend.Variable {