Divided Fundamental into a known and unknown class
Fundamental can already compute a triangular fundamental domain. But it can not be represented in the correct dimension