Return a partial factorization of the absolute values of the integers in S[i]. For each |S[i]| two factorization lists F1_i and F2_i are given, such that |S[i]| = Facint(F1_i) * Facint(F2_i). All the factors in F1_i are square factors, and given any i and j, the divisors in F2_i[k] and F2_j[l] are either coprime or they are equal. This factorization uses only gcd and exact integer division..
x_A := Sequence([2,3,6,8]);