public void increments_128x8u()
{
var v1 = Vec128Pattern.Increments <byte>(0);
var v2 = Vec128Pattern.Decrements <byte>(15);
var v4 = dinx.reverse(v1);
Claim.eq(v2, v4);
}
public void arrange_128_i32()
{
var u = Vec128Pattern.Increments <int>();
Claim.eq(Vec128.FromParts(0, 1, 2, 3), u);
var v = Vec128Pattern.Decrements <int>(3);
Claim.eq(Vec128.FromParts(3, 2, 1, 0), v);
Claim.eq(v, Arrange.shuffle(u, Perm4.DCBA));
Claim.eq(u, Arrange.shuffle(v, Perm4.DCBA));
}