add original payoff matrices
vertex for non-redundancy representation
algorithm removing redundancy
squence form tester
add new field ray