logo
Free, unlimited AI code reviews that run on commit
git-lrc git-lrc GitHub Install Now We'd appreciate a star git-lrc - Free, unlimited AI code reviews that run on commit | Product Hunt git-lrc - Free, unlimited AI code reviews that run on commit | Product Hunt

censuslookup - Search for triangulations in Regina's census databases

Author

       This utility was written by Benjamin Burton <bab@maths.uq.edu.au>.  Many people have been involved in the
       development of Regina; see the users' handbook for a full list of credits.

                                                17 December 2021                                 CENSUSLOOKUP(1)

Description

       This  utility  searches  for the given 3-manifold triangulations in the various census databases that are
       shipped withRegina.

       You should present the trianguations using their isomorphismsignatures.  These are  short  text  strings
       that identify the triangulation uniquely up to combinatorial isomorphism (i.e., up to relabellings of the
       tetrahedra and/or their vertices).

       From the graphical user interface, you can view the isomorphism signature of a triangulation by switching
       to  the Composition tab in the triangulation viewer.  From Python you can fetch the isomorphism signature
       of the triangulation x by calling x.isoSig().  For  a  full  and  precise  specification  of  isomorphism
       signatures,   see   SimplificationpathsinthePachnergraphsofclosedorientable3-manifoldtriangulations, Burton, 2011, arXiv:1110.6080.

       All database matches (if any) will be written to standard output.

Environment Variables

       The following environment variables influence the behaviour of this program.

       REGINA_HOME
              The directory beneath which Regina's data files are installed.  This utility  will  look  for  the
              census databases in the subdirectory $REGINA_HOME/data/census/.

              Normally  you  should  not need to set this option yourself.  This utility should know how to find
              its census databases in standard situations, which include fixed filesystem  installations  (e.g.,
              GNU/Linux  and  Windows),  relocatable  app  bundles  (e.g., macOS), and running directly from the
              source tree.

Example

           example$ censuslookupfvPQcdecedekrsnrsdLQbcccajqscPcbbbiht
           fvPQcdecedekrsnrs: 1 hit
               SFS [S2: (2,1) (3,1) (5,-4)] : #1 -- Closed census (orientable)

           dLQbcccajqs: 0 hits

           cPcbbbiht: 2 hits
               m004 : #1 -- Cusped hyperbolic census (orientable)
               L104001 -- Hyperbolic knot and link complements

           example$

Macos Users

       If you downloaded a drag-and-drop app bundle, this utility is shipped inside it.  If you  dragged  Regina
       to the main Applications folder, you can run it as /Applications/Regina.app/Contents/MacOS/censuslookup.

Name

       censuslookup - Search for triangulations in Regina's census databases

See Also

       regina-gui.  trisetcmp,

Synopsis

censuslookupisosig...

Windows Users

       The  command-line  utilities  are  installed  beneath  the ProgramFiles directory; on some machines this
       directory   is   called   ProgramFiles(x86).    You   can   start   this   utility    by    running
       c:\Program Files\Regina\Regina 7.0\bin\censuslookup.exe.

See Also