Introducing a finite monoid by giving its "multiplication" table
I am interested in working with some finite monoids. Looking at http://doc.sagemath.org/html/en/refer... I have not found anything about how to define a finite monoid by simply providing its (binary) "multiplication" table.
Is there some way to do so?