Module utils

Functions

• and
• assert_array_eq
• fill_slc_to_f
• implies
  Assumes that a and b are boolean
• next_power_of_two_or_zero
  Return either 0 if n is zero or the next power of two of n. Used to resize the number of rows in a trace matrix.
• not
• or
  Assumes that a and b are boolean
• select
  Assumes that cond is boolean. Returns a if cond is true, otherwise returns b.
• to_field_vec
• to_vcols