Systems for equational additivity

DOI10.5281/zenodo.8059121Zenodo8059121MaRDI QIDQ6711106FDOQ6711106

Dataset published at Zenodo repository.

Bernardo Rossi, Erhard Aichinger, Mike Behrisch

Publication date: 20 June 2023

Copyright license: Creative Commons Attribution 4.0 International

Description

This dataset contains code to verify that the solution sets of certain systems of equations over finite algebras are equal to the relation \(\Delta^{(4)}_A\), which ensures that the clone of that algebra possesses a property called equational additivity. Moreover, we have added code that produces input files for the universal algebra calculator (uacalc), which simplifies the check of certain claims in our paper On when the union of two algebraic sets is algebraic.

This page was built for dataset: Systems for equational additivity