public void bm_and_64x64x64g_check()
{
for (var i = 0; i < SampleSize; i++)
{
var A = Random.BitMatrix <N64, ulong>();
var B = Random.BitMatrix <N64, ulong>();
var C1 = BitMatrix.and(in A, in B);
var C2 = BitMatrix64.From(C1);
var C3 = BitMatrix64.From(A) & BitMatrix64.From(B);
Claim.yea(C2 == C3);
}
}
public void bm_and_64x64_check()
{
for (var i = 0; i < SampleSize; i++)
{
var A = Random.BitMatrix(n64);
var B = Random.BitMatrix(n64);
var xBytes = A.Bytes.Replicate();
var yBytes = B.Bytes.Replicate();
var zBytes = gbitspan.and(xBytes, yBytes);
var expect = BitMatrix64.From(zBytes);
var C = A & B;
Claim.yea(expect == C);
}
}
