public void VerifyNonPrimal()
{
var bits = Random.Bits().TakeSpan(Pow2.T08);
var bytes = bits.AsBytes();
Claim.eq(bits.Length, bytes.Length);
for (var i = 0; i < bits.Length; i++)
{
Claim.eq((byte)bits[0], bytes[0]);
}
}
public void Experiment()
{
//Create an explicit bit pattern
var pattern = Random.Bits().Select(x => (byte)x).TakeArray(32);
//Push pattern into a 256-bit vector
var vPattern = Vec256.Load(pattern);
//Define permutation
var perm = Perm.Define <N32>((1, 10), (2, 11), (3, 8));
var vPerm = Vec256.Load(perm.Terms);
//var result = dinx.permute(vPattern, vPerm)
}
