, ...,
q
}
(where each
q
is a product of variables),
NCCollect begins by creating
new variables
{v ,
...,
v},
transforms
p by replacing instances of the polynomial
q
in p with
v ,
performs NCCollect as described in
§
and then replaces
v
with
q .