a GAP program for M-algebras