Data

Tools

Indexes

Applications

Experiments

Open Source Science

prefixknuthbendix

A program to search for autostackable structures

https://github.com/ashdeclerk/prefixknuthbendix

Science Score: 44.0%

This score indicates how likely this project is to be science-related based on various indicators:

  • ✓
    CITATION.cff file
    Found CITATION.cff file
  • ✓
    codemeta.json file
    Found codemeta.json file
  • ✓
    .zenodo.json file
    Found .zenodo.json file
  • ○
    DOI references
  • ○
    Academic publication links
  • ○
    Academic email domains
  • ○
    Institutional organization owner
  • ○
    JOSS paper metadata
  • ○
    Scientific vocabulary similarity
    Low similarity (8.4%) to scientific vocabulary
Last synced: 6 months ago · JSON representation ·

Repository

A program to search for autostackable structures

Basic Info
  • Host: GitHub
  • Owner: ashdeclerk
  • License: mit
  • Language: Python
  • Default Branch: main
  • Size: 127 KB
Statistics
  • Stars: 0
  • Watchers: 1
  • Forks: 0
  • Open Issues: 0
  • Releases: 0
Created over 1 year ago · Last pushed 9 months ago
Metadata Files
Readme License Citation

README.md

PrefixKB

PrefixKB implements prefix-Knuth-Bendix (a procedure to search for autostackable structures) in Python. For a description of prefix-Knuth-Bendix, please see Ash DeClerk's PhD dissertation.

To install this program, make sure you've installed Python 3 (so far this has been tested on Python 3.10) and download the repository. You should either add the prefixKnuthBendix folder to your Python path or keep working files in its parent directory (i.e. the way the repo is currently set up -- with Cox333pKB.py in the folder that contains the prefixKnuthBendix folder).

I highly recommend reading through the examples Cox333pKB.py and BS12pKB.py (ideally in that order) to see how to set up a group for pKB. You can also email me at ash.declerk@gmail.com if you need help.

TODO

  • [ ] Set up proper testing for the various submodules
  • [ ] Make a standalone "tell me what group and ordering you want"
    • [ ] From file as command line arg
    • [ ] From command line prompting (as gens/rels/ord or as file)
  • [ ] Make a log parser
  • [ ] Add "pick back up from where this log left off" functionality
  • [ ] Write the paper (not really a programming thing, but still important)
  • [ ] Add functionality to AutostackableStructure
    • [ ] Normal forms
    • [ ] Rewriting words
  • [ ] THEN you get to play with knot groups and whatever else, Ash.

Owner

  • Login: ashdeclerk
  • Kind: user

Citation (CITATION.cff) 

cff-version: 1.2.0
message: If you use this software, please cite it using these metadata.
title: prefix-Knuth-Bendix
abstract: This is an implementation of the prefix-Knuth-Bendix completion procedure for autostackable structures.
authors:
- family-names: DeClerk
  given-names: Ash
version: 1.0.0
date-released: 2025-06-12
repository-code: "https://github.com/ashdeclerk/prefixKnuthBendix"

GitHub Events

Total
  • Push event: 10
  • Create event: 2
Last Year
  • Push event: 10
  • Create event: 2