}
NavigableMap<NaturalNumber, Expression> q = new TreeMap(); // quotient
NavigableMap<NaturalNumber, Expression> r = new TreeMap(); // reminder
NaturalNumber bdeg = b.degree();
Expression bc = b.leadCoefficient();
Expression c; // next coefficient
NaturalNumber n; // degree of the next term in q
Expression rp, bi; // temporary variables
NaturalNumber p; //temporary position
q.put(ZERO, ZERO);
r.putAll(this.coeffs);