added polymake equality representation for AE6 and K5