Skip to content

WPettersson/AdmissibleFPG

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

77 Commits
 
 
 
 
 
 

Repository files navigation

AdmissibleFPG

Java library to determine if face pairing graphs are admissible.

Note that you will also need the LibTW library. This library was originally taken from http://www.treewidth.com but it requires a few modifications and bugfixes to work, so check out https://github.com/WPettersson/libtw/

Usage

Once you have the .jar file, you can check for admissibility by running

 java -jar AdmissibleFPG.jar pairs.file

where pairs.file is a file containing a list of face-pairing graphs as generated by tricensus, which is part of Regina

Copyright (C) 2014 William Pettersson william@ewpettersson.se

AdmissibleFPG is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any later version.

AdmissibleFPG is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details.

You should have received a copy of the GNU General Public License along with AdmissibleFPG. If not, see http://www.gnu.org/licenses/.

About

Java library to determine if face pairing graphs are admissible.

Resources

Stars

Watchers

Forks

Packages

No packages published

Languages