... of allcoefficient-denominators of ¯P,letg denote the greatest common divisor of all coefficients of l ·¯P , and define z := g/l. Then, for P∗:= z−1·¯P , the bibasic monic decomposition of ... problem of q-hypergeometric tele-scoping can be treated along the same lines as the q = 1 case by making use of a q-version of GFF. Built on these concepts, a Mathematica implementation of q-analogues ... “overlaps” of bibasic factorials that violate length maximality. The following theorem states that, as in the q-hypergeometric case, the bibasic GFF-form is unique and thus providesa canonical form.Theorem...