#include "tuples.h"
#include "Permutation.h"
#include "vector"
#include "list"
Go to the source code of this file.
Classes | |
class | ThRightNormalForm |
Defines a representation of a right Garside normal form. More... | |
Functions | |
ostream & | operator<< (ostream &os, const ThRightNormalForm &nf) |
ostream& operator<< | ( | ostream & | os, | |
const ThRightNormalForm & | nf | |||
) |