public Varset Add(Varset varset)
{
Varset cp = new Varset(this);
Varset zero = new Varset(0);
cp.AlignLength(varset);
while (!varset.Equals(zero))
{
Varset tmp = cp.And(varset).LeftShift(1);
cp = cp.Xor(varset);
varset = tmp;
}
return cp;
}
