An algorithm for GCF extraction from two multivariable polynomials

An algorithm is given for the extraction of the greatest common factor from two multiraiable polynomials based on an extension of Trudi's remit for single-variable polynomials. Nontrivial examples are used to illustrate the procedure, which has potential applications in several system theory problems.