Description: The transformed empty set as matrix of dimenson 0 is the empty set (i.e. the polynomial matrix of dimension 0). (Contributed by AV, 4-Aug-2019)