If the divisor `D` of degree `n` has array `m`, the non-root children of the pattern `m` are enumerated by the support of `D`, the child at `Q` being `(deg Q, single 1 (D Q))`.

Initializing...

If the divisor `D` of degree `n` has array `m`, the non-root children of the pattern `m` are enumerated by the support of `D`, the child at `Q` being `(deg Q, single 1 (D Q))`. · Prove2Me