Systems for Equational Additivity: Code for Finite Algebra Verification

Mike Behrisch of TU Wien provides code to verify solution sets of systems of equations over finite algebras equal to the relation Δ_A^(4), ensuring the clone possesses equational additivity. The dataset includes code to produce input files for the universal algebra calculator (uacalc) to simplify checks for claims in the associated preprint. The dataset is hosted on paperswithcode under an Open Access (green) license.

Use Cases

• Verifying equational additivity of clones based on solution sets of systems of equations.
• Generating input files for the universal algebra calculator (uacalc) to automate algebraic checks.
• Testing claims related to the union of algebraic sets being algebraic, as referenced in the associated preprint.

Strengths

• Includes code to produce input files for the established universal algebra calculator (uacalc).
• Authored by a researcher from TU Wien, suggesting academic rigor.
• Associated with a specific, cited preprint ('On when the union of two algebraic sets is algebraic').

Limitations

• Dataset size, row count, and specific file formats are unknown.
• Column-level documentation is absent; data structure must be inferred from the code.
• Last update date is unknown; freshness unverified.

Provenance

Source

Mike Behrisch, TU Wien

Collection Method

Code created for verification tasks related to academic research.