Implementation of calculating with nominal sets through orbit representations.
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
doc
include/ONS
samples
tests
LICENSE
Makefile
README
SETUP

README

ONS is a library implementing calculations with nominal sets over the total order symmetry. Its implementation uses representation theory of nominal orbits, representing nominal sets through their collection of orbits. This provides predictable, fast performance for calculations with nominal sets, which is useful in applications.

Full documentation of the exposed interfaces by this package can be found in the doc/ directory.

Code for comparing ONS performance at minimising automata to LOIS and NLambda can be found at https://github.com/davidv1992/ONS_Minimise.

Code for comparing learning performance can be found at https://gitlab.science.ru.nl/moerman/nominal-learning-ons/.