noir-lang/acvm

Add a new Lazy Field type

Closed this issue · 0 comments

Problem

Currently printing a Noir field after its gone through an inversion or negation operation is not user friendly.

Happy Case

We can implement a LazyField which has three elements:

struct LazyField {
   sign : bool,
   numerator : Field,
   denominator: Field
}

This allows us to print out something like -10/3 as -10/3 since it will be LazyField{sign: true, numerator : Field(10), denominator : Field(3)}

Alternatives Considered

No response

Additional Context

No response

Would you like to submit a PR for this Issue?

No

Support Needs

No response