public Varset Divide(Varset varset) { int length = this.item.Count; Varset n = new Varset(this); Varset d = new Varset(varset); //Console.Write("n: "); //n.Print(); //Console.Write("d: "); //d.Print(); Varset m = new Varset(n.item.Length); m.Set(0, true); Varset q = new Varset(n.item.Count); Varset zero = new Varset(n.item.Count); if (n.Equals(zero)) { return zero; } else if (d.Equals(zero)) { throw new ArgumentException("Zero Division."); } while (d.LessThan(n) || d.Equals(n)) { d = d.LeftShift(1); m = m.LeftShift(1); } Varset one = new Varset(n.item.Length); one.Set(0, true); while (one.LessThan(m)) { d = d.RightShift(1); m = m.RightShift(1); if (d.LessThan(n) || d.Equals(n)) { n = n.Subtract(d); q = q.Or(m); } } q = q.SubVarset(length); n = n.SubVarset(length); //Console.Write("q: "); //q.Print(); //Console.Write("n: "); //n.Print(); return q; }
public Varset StaticAdd(Varset varset) { Varset cp = new Varset(this); int length = cp.item.Count; cp = cp.Add(varset); cp = cp.SubVarset(length); return cp; }