public void bmv_8x8() { for (var sample = 0; sample < SampleSize; sample++) { var m = Random.BitMatrix8(); var c = Random.BitVector8(); var z1 = m * c; var z2 = BitVector8.Alloc(); for (var i = 0; i < m.RowCount; i++) { var r = m.RowVector(i); z2[i] = r % c; } Claim.yea(z1 == z2); } }
public static bool Channel(this BitVector8 data, int channel) { return((data & (1 << channel)) == (uint)(1 << channel)); }
public void Write(BitVector8 value) => Write(value.Data);