THREE-MANIFOLD RECOGNIZER


INSTALLING THE RECOGNIZER

It is necessary only to copy Recognizer.exe to some directory. In order to use this help more efficiently, it is also desirable to create in the same directory a subdeirectory named "Help" and put the present help-file in there. This will allow to use the Help directly from the program (either by pressing F1 or referring the menu "Help").


 

USING THE RECOGNIZER


  What the Recognizer can do:
  Accepted presentations of manifolds:
  Accepted presentations of spines:

There are two presentations available.


  How to ask for what you want:

The starting point is obviously to describe a manifold, by either going to "File|New" in the main menu and entering a presentation of one of available types, or by going to "File|Open" and opening a file with such a presenation prepared in advance. Then you may proceed as follows:

Note that for performing the recognition some advanced options are available.


  What do the results mean?
  Go back and do something new:

Initial presentation can always be retrieved by going to "Recognizer|Initial State". If you had only viewed various information items, you can also return to the initial presentation by going to "Information|Remove Information".


  Quick help

For quick reference, the menu "Help|Examples" allows to see concrete examples for the typical presentations of manifolds listed above.


"Three-manifold Recognizer" is being developed by the research group of S. Matveev in the department of computer topology and algebra of Chelyabinsk State University.

Contacts