https://github.com/epost/catdata_algs

Knuth-Bendix Algorithms for computing with finitely-presented categories
https://github.com/epost/catdata_algs

Last synced: about 1 year ago
JSON representation

Knuth-Bendix Algorithms for computing with finitely-presented categories

• Host: GitHub
• URL: https://github.com/epost/catdata_algs
• Owner: epost
• Created: 2015-10-21T14:41:58.000Z (over 10 years ago)
• Default Branch: master
• Last Pushed: 2015-10-04T03:01:28.000Z (over 10 years ago)
• Last Synced: 2025-02-08T07:11:54.814Z (over 1 year ago)
• Language: Java
• Size: 117 KB
• Stars: 0
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README

Awesome Lists containing this project

README

          
Algorithms for Categorical Data (BSD License)

Copyright (c) Ryan Wisnesky 

Provides implementations of Knuth-Bendix completion suitable for solving the word problem in finitely-presented categories and multi-categories / operads.

------------------------------------------------------------------------------------------

Compilation note: May require the built-in Eclipse compiler that ships with the Eclipse 

IDE for java developers.  The Oracle JDK compiler may fail with type-inference errors.

------------------------------------------------------------------------------------------

Redistribution and use in source and binary forms, with or without

modification, are permitted provided that the following conditions are met:

    * Redistributions of source code must retain the above copyright

      notice, this list of conditions and the following disclaimer.

    * Redistributions in binary form must reproduce the above copyright

      notice, this list of conditions and the following disclaimer in the

      documentation and/or other materials provided with the distribution.

    * Neither the name of the author nor the names of its contributors may

      be used to endorse or promote products derived from this software

      without specific prior written permission.

THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" AND

ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED

WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE

DISCLAIMED. IN NO EVENT SHALL  BE LIABLE FOR ANY

DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES

(INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;

LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND

ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT

(INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS

SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.