Remark 1 In line REF  and line REF , Algorithm REF  recursively constructs two products of (generalized) Householder reflectors. Readers familiar with numerical linear algebra will recognize that this process is essentially the Householder algorithm for QR factorization [1]}. Special data structures have been developed (see, e.g., [2]}) to efficiently represent and operate on such products of reflectors.

