Skip to content

Commit

Permalink
fix(docs): div_unsafe docs (#237)
Browse files Browse the repository at this point in the history
* fix(docs): `div_unsafe` docs

* chore: use division symbol
  • Loading branch information
shuklaayush authored Dec 16, 2023
1 parent b465b56 commit 93f2567
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions halo2-base/src/gates/flex_gate/mod.rs
Original file line number Diff line number Diff line change
Expand Up @@ -303,9 +303,9 @@ pub trait GateInstructions<F: ScalarField> {
ctx.assign_region([Constant(F::ZERO), Existing(x), Existing(x), Existing(x)], [0]);
}

/// Constrains and returns a / b = 0.
/// Constrains and returns a / b = out.
///
/// Defines a vertical gate of form | 0 | b^1 * a | b | a |, where b^1 * a = out.
/// Defines a vertical gate of form | 0 | a / b | b | a |, where a / b = out.
///
/// Assumes `b != 0`.
/// * `ctx`: [Context] to add the constraints to
Expand Down

0 comments on commit 93f2567

Please sign in to comment.