Augmented canonical forms and factorization of graphs