Published June 20, 2023
| Version v1
Dataset
Open
Systems for equational additivity
- 1. Institute of Discrete Mathematics and Geometry, TU Wien
- 2. Johannes Kepler Universität Linz
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’.
Files
check_of_systems_of_equations.txt
Files
(538.6 kB)
Name | Size | Download all |
---|---|---|
md5:34962774aa1b5830e2531c4a1c52f5cb
|
78 Bytes | Download |
md5:f28d90685570febe75cf25a3ede64cf2
|
78 Bytes | Download |
md5:4948af661adce65770c5e05b0abecb60
|
4.6 kB | Preview Download |
md5:96cf5accc5d8c8a35ec4d9b55d5bb973
|
20.5 kB | Download |
md5:7ff70d8e996eb8bc308233bc0d7600e0
|
3.5 kB | Preview Download |
md5:1a774c5a98003c543447aba0f346ac3d
|
3.7 kB | Preview Download |
md5:9b7593897c69436feb4b5636a66e5fe7
|
3.5 kB | Preview Download |
md5:c80cf89eeb141d501e637592a909007d
|
3.8 kB | Preview Download |
md5:f6b0fff7b2115113a1ed35ec580de313
|
58 Bytes | Download |
md5:b137e14c987fb8ddbf8bcda7b185595c
|
164 Bytes | Preview Download |
md5:960a5bbafb224db5623f57ab61135a56
|
20 Bytes | Download |
md5:ee0ca3d363509a4b60c0b8f1c33a1219
|
20 Bytes | Download |
md5:5a9f3e2a31330bf01c9d67c2957d4387
|
22 Bytes | Download |
md5:ba64e1980062979fde06d2279738b5e5
|
473.7 kB | Preview Download |
md5:c7f3effa79bac10a8367df80b1c4900f
|
15.3 kB | Download |
md5:32ea7381d8388d0afc9c082b1c921ab8
|
9.4 kB | Download |
Additional details
Related works
- Is cited by
- Preprint: 10.48550/arXiv.2309.00478 (DOI)
- Is supplement to
- Preprint: 10.48550/arXiv.2309.00478 (DOI)
- References
- Software: https://uacalc.org/ (URL)
- Preprint: 10.48550/arXiv.2309.00478 (DOI)
Funding
- Equations in Universal Algebra P 33878
- FWF Austrian Science Fund