Daniel/master-thesis
1
0
Fork 0
Code Issues 3 Pull Requests Actions 1 Packages Projects 1 Releases Wiki Activity

thesis: aded abstract and kurzfassung; re-read conclusion and evaluation to iron out mistakes etc.
Some checks are pending
CI / Julia ${{ matrix.version }} - ${{ matrix.os }} - ${{ matrix.arch }} - ${{ github.event_name }} (x64, ubuntu-latest, 1.10) (push) Waiting to run
Details
CI / Julia ${{ matrix.version }} - ${{ matrix.os }} - ${{ matrix.arch }} - ${{ github.event_name }} (x64, ubuntu-latest, 1.6) (push) Waiting to run
Details
CI / Julia ${{ matrix.version }} - ${{ matrix.os }} - ${{ matrix.arch }} - ${{ github.event_name }} (x64, ubuntu-latest, pre) (push) Waiting to run
Details

Browse Source
This commit is contained in:
Daniel
2025-06-09 14:11:58 +02:00
parent b494803611
commit 3efd8a6c26
10 changed files with 255417 additions and 78 deletions
Download Patch File Download Diff File Expand all files Collapse all files

494
package/test/data/esr_nvar2_len10.txt.gz_5.txt/esr_nvar2_len10.txt.gz_5.txt Normal file
View File

@ -0,0 +1,494 @@
inv(inv(x1) - x1)
inv(inv(x2) - x2)
inv(inv(x1) - x2)
inv(inv(x2) - x1)
inv(inv(x1) + p1)
inv(inv(x2) + p1)
inv(inv(x1) + x1)
inv(inv(x2) + x2)
inv(inv(x1) + x2)
inv(inv(x2) + x1)
inv(x1 - inv(x1))
inv(x2 - inv(x2))
inv(x1 - inv(x2))
inv(x2 - inv(x1))
abs(x1) ^ -(inv(x1))
abs(x2) ^ -(inv(x2))
abs(x1) ^ -(inv(x2))
abs(x2) ^ -(inv(x1))
inv(p1 - inv(x1))
inv(p1 - inv(x2))
inv(x1) - inv(x2)
inv(x2) - inv(x1)
2 / x1
2 / x2
inv(x1) + inv(x2)
inv(x2) + inv(x1)
-x1
-x2
x1 * -2 + x2
x2 * -2 + x1
x1 / (x1 + x1)
x2 / (x2 + x2)
x1 / (x2 + x2)
x2 / (x1 + x1)
abs(x1) ^ (x1 + x1)
abs(x2) ^ (x2 + x2)
abs(x1) ^ (x2 + x2)
abs(x2) ^ (x1 + x1)
x1 * -2 + p1
x2 * -2 + p1
p1 / (x1 + x1)
p1 / (x2 + x2)
x1 / (x1 + x2)
x2 / (x1 + x2)
abs(x1) ^ (x1 + x2)
abs(x2) ^ (x1 + x2)
p1 - (x1 + x2)
p1 / (x1 + x2)
abs(p1) ^ (x1 + x2)
x1 - sqr(x1)
x2 - sqr(x2)
x1 - sqr(x2)
x2 - sqr(x1)
x1 / sqr(x1)
x2 / sqr(x2)
x1 / sqr(x2)
x2 / sqr(x1)
abs(x1) ^ sqr(x1)
abs(x2) ^ sqr(x2)
abs(x1) ^ sqr(x2)
abs(x2) ^ sqr(x1)
p1 - sqr(x1)
p1 - sqr(x2)
p1 / sqr(x1)
p1 / sqr(x2)
abs(p1) ^ sqr(x1)
abs(p1) ^ sqr(x2)
x1 - x1 * x2
x2 - x1 * x2
x1 / (x1 * x2)
x2 / (x1 * x2)
abs(x1) ^ (x1 * x2)
abs(x2) ^ (x1 * x2)
p1 - x1 * x2
p1 / (x1 * x2)
abs(p1) ^ (x1 * x2)
(x1 - x2) + p1
(x2 - x1) + p1
x1 / (x1 + p1)
x2 / (x2 + p1)
x1 / (x2 + p1)
x2 / (x1 + p1)
abs(x1) ^ (x1 + p1)
abs(x2) ^ (x2 + p1)
abs(x1) ^ (x2 + p1)
abs(x2) ^ (x1 + p1)
p1 / (x1 + p2)
p1 / (x2 + p2)
abs(p1) ^ (x1 + p2)
abs(p1) ^ (x2 + p2)
x1 * p1 + x2
x2 * p1 + x1
(x1 / x1) * p1
(x2 / x2) * p1
(x1 / x2) * p1
(x2 / x1) * p1
abs(x1) ^ (x1 * p1)
abs(x2) ^ (x2 * p1)
abs(x1) ^ (x2 * p1)
abs(x2) ^ (x1 * p1)
x1 * p1 + p2
x2 * p1 + p2
x1 * 1//0
x2 * 1//0
abs(x1) ^ 0
abs(x2) ^ 0
1
x1 / (x1 - x2)
x2 / (x2 - x1)
abs(x1) ^ (x1 - x2)
abs(x2) ^ (x2 - x1)
p1 / (x1 - x2)
p1 / (x2 - x1)
abs(p1) ^ (x1 - x2)
abs(p1) ^ (x2 - x1)
x1 - x1 / x1
x2 - x2 / x2
x1 - x2 / x2
x2 - x1 / x1
sqr(x1) / x1
sqr(x2) / x2
(x1 / x1) * x2
(x2 / x2) * x1
abs(x1) ^ (x1 / x1)
abs(x2) ^ (x2 / x2)
abs(x1) ^ (x2 / x2)
abs(x2) ^ (x1 / x1)
p1 - x1 / x1
p1 - x2 / x2
abs(p1) ^ (x1 / x1)
abs(p1) ^ (x2 / x2)
x1 - x1 / x2
x2 - x2 / x1
(x1 / x2) * x2
(x2 / x1) * x1
abs(x1) ^ (x1 / x2)
abs(x2) ^ (x2 / x1)
p1 - x1 / x2
p1 - x2 / x1
abs(p1) ^ (x1 / x2)
abs(p1) ^ (x2 / x1)
x1 - abs(x1) ^ x1
x2 - abs(x2) ^ x2
x1 - abs(x2) ^ x2
x2 - abs(x1) ^ x1
x1 / abs(x1) ^ x1
x2 / abs(x2) ^ x2
x1 / abs(x2) ^ x2
x2 / abs(x1) ^ x1
abs(x1) ^ (abs(x1) ^ x1)
abs(x2) ^ (abs(x2) ^ x2)
abs(x1) ^ (abs(x2) ^ x2)
abs(x2) ^ (abs(x1) ^ x1)
p1 - abs(x1) ^ x1
p1 - abs(x2) ^ x2
p1 / abs(x1) ^ x1
p1 / abs(x2) ^ x2
abs(p1) ^ (abs(x1) ^ x1)
abs(p1) ^ (abs(x2) ^ x2)
x1 - abs(x1) ^ x2
x2 - abs(x2) ^ x1
x1 / abs(x1) ^ x2
x2 / abs(x2) ^ x1
abs(x1) ^ (abs(x1) ^ x2)
abs(x2) ^ (abs(x2) ^ x1)
p1 - abs(x1) ^ x2
p1 - abs(x2) ^ x1
p1 / abs(x1) ^ x2
p1 / abs(x2) ^ x1
abs(p1) ^ (abs(x1) ^ x2)
abs(p1) ^ (abs(x2) ^ x1)
x1 + x1 + p1
x2 + x2 + p1
x1 + x2 + p1
x1 / (p1 - x1)
x2 / (p1 - x2)
x1 / (p1 - x2)
x2 / (p1 - x1)
abs(x1) ^ (p1 - x1)
abs(x2) ^ (p1 - x2)
abs(x1) ^ (p1 - x2)
abs(x2) ^ (p1 - x1)
p1 / (p2 - x1)
p1 / (p2 - x2)
abs(p1) ^ (p2 - x1)
abs(p1) ^ (p2 - x2)
p1 / x1 + x1
p1 / x2 + x2
p1 / x1 + x2
p1 / x2 + x1
sqr(x1) * p1
sqr(x2) * p1
x1 * x2 * p1
abs(x1) ^ (p1 / x1)
abs(x2) ^ (p1 / x2)
abs(x1) ^ (p1 / x2)
abs(x2) ^ (p1 / x1)
p1 / x1 + p2
p1 / x2 + p2
x1 - abs(p1) ^ x1
x2 - abs(p1) ^ x2
x1 - abs(p1) ^ x2
x2 - abs(p1) ^ x1
abs(p1) ^ x1 * x1
abs(p1) ^ x2 * x2
abs(p1) ^ x1 * x2
abs(p1) ^ x2 * x1
abs(x1) ^ (abs(p1) ^ x1)
abs(x2) ^ (abs(p1) ^ x2)
abs(x1) ^ (abs(p1) ^ x2)
abs(x2) ^ (abs(p1) ^ x1)
p1 - abs(p2) ^ x1
p1 - abs(p2) ^ x2
abs(p1) ^ x1 * p2
abs(p1) ^ x2 * p2
abs(p1) ^ (abs(p2) ^ x1)
abs(p1) ^ (abs(p2) ^ x2)
x1 - abs(x1) ^ p1
x2 - abs(x2) ^ p1
x1 - abs(x2) ^ p1
x2 - abs(x1) ^ p1
abs(x1) ^ p1 * x1
abs(x2) ^ p1 * x2
abs(x1) ^ p1 * x2
abs(x2) ^ p1 * x1
abs(x1) ^ (abs(x1) ^ p1)
abs(x2) ^ (abs(x2) ^ p1)
abs(x1) ^ (abs(x2) ^ p1)
abs(x2) ^ (abs(x1) ^ p1)
p1 - abs(x1) ^ p2
p1 - abs(x2) ^ p2
abs(x1) ^ p1 * p2
abs(x2) ^ p1 * p2
abs(p1) ^ (abs(x1) ^ p2)
abs(p1) ^ (abs(x2) ^ p2)
x1 - abs(p1)
x2 - abs(p1)
abs(p1) * x1
abs(p1) * x2
abs(x1) ^ abs(p1)
abs(x2) ^ abs(p1)
x1 * 3
x2 * 3
x1 + x1 + x2
x1 + x2 + x2
sqr(x1) * 2
sqr(x2) * 2
x1 * x2 * 2
x1 + x2 + x2
x1 + x1 + x2
(x1 + x2) * x1
(x1 + x2) * x2
(x1 + x2) * x2
(x1 + x2) * x1
sqr(x1) + x1
sqr(x2) + x2
sqr(x1) + x2
sqr(x2) + x1
sqr(x1) * x1
sqr(x2) * x2
sqr(x1) * x2
sqr(x2) * x1
x1 * x2 + x1
x1 * x2 + x2
x1 * x2 + x2
x1 * x2 + x1
(x1 + p1) * x1
(x2 + p1) * x2
(x1 + p1) * x2
(x2 + p1) * x1
(x1 - x2) + x1
(x2 - x1) + x2
(x1 - x2) * x1
(x2 - x1) * x2
(x1 - x2) * x2
(x2 - x1) * x1
x1 / x1 + x1
x2 / x2 + x2
x1 / x1 + x2
x2 / x2 + x1
x1 / x2 + x1
x2 / x1 + x2
x1 / x2 + x2
x2 / x1 + x1
sqr(x1) / x2
sqr(x2) / x1
abs(x1) ^ x1 + x1
abs(x2) ^ x2 + x2
abs(x1) ^ x1 + x2
abs(x2) ^ x2 + x1
abs(x1) ^ x1 * x1
abs(x2) ^ x2 * x2
abs(x1) ^ x1 * x2
abs(x2) ^ x2 * x1
abs(x1) ^ x2 + x1
abs(x2) ^ x1 + x2
abs(x1) ^ x2 + x2
abs(x2) ^ x1 + x1
abs(x1) ^ x2 * x1
abs(x2) ^ x1 * x2
abs(x1) ^ x2 * x2
abs(x2) ^ x1 * x1
(p1 - x1) * x1
(p1 - x2) * x2
(p1 - x1) * x2
(p1 - x2) * x1
abs(p1) ^ x1 + x1
abs(p1) ^ x2 + x2
abs(p1) ^ x1 + x2
abs(p1) ^ x2 + x1
abs(x1) ^ p1 + x1
abs(x2) ^ p1 + x2
abs(x1) ^ p1 + x2
abs(x2) ^ p1 + x1
abs(p1) + x1
abs(p1) + x2
(x1 + x2) * p1
sqr(x1) + p1
sqr(x2) + p1
x1 * x2 + p1
(x1 - x2) * p1
(x2 - x1) * p1
x1 / x1 + p1
x2 / x2 + p1
x1 / x2 + p1
x2 / x1 + p1
abs(x1) ^ x1 + p1
abs(x2) ^ x2 + p1
abs(x1) ^ x1 * p1
abs(x2) ^ x2 * p1
abs(x1) ^ x2 + p1
abs(x2) ^ x1 + p1
abs(x1) ^ x2 * p1
abs(x2) ^ x1 * p1
abs(p1) ^ x1 + p2
abs(p1) ^ x2 + p2
abs(x1) ^ p1 + p2
abs(x2) ^ p1 + p2
(x1 / x1) * 2
(x2 / x2) * 2
(x1 / x2) * 2
(x2 / x1) * 2
(abs(x1) * 2) ^ x1
(abs(x2) * 2) ^ x2
(abs(x1) * 2) ^ x2
(abs(x2) * 2) ^ x1
(x1 + x2) / x1
(x1 + x2) / x2
(x1 + x2) / x2
(x1 + x2) / x1
abs(x1 + x2) ^ x1
abs(x1 + x2) ^ x2
abs(x1 + x2) ^ x2
abs(x1 + x2) ^ x1
sqr(x1) - x1
sqr(x2) - x2
sqr(x1) - x2
sqr(x2) - x1
sqr(x1) ^ x1
sqr(x2) ^ x2
sqr(x1) ^ x2
sqr(x2) ^ x1
x1 * x2 - x1
x1 * x2 - x2
x1 * x2 - x2
x1 * x2 - x1
abs(x1 * x2) ^ x1
abs(x1 * x2) ^ x2
abs(x1 * x2) ^ x2
abs(x1 * x2) ^ x1
(x1 + p1) / x1
(x2 + p1) / x2
(x1 + p1) / x2
(x2 + p1) / x1
abs(x1 + p1) ^ x1
abs(x2 + p1) ^ x2
abs(x1 + p1) ^ x2
abs(x2 + p1) ^ x1
x1 * p1 - x2
x2 * p1 - x1
abs(x1 * p1) ^ x1
abs(x2 * p1) ^ x2
abs(x1 * p1) ^ x2
abs(x2 * p1) ^ x1
0 ^ x1
0 ^ x2
(x1 - x2) / x1
(x2 - x1) / x2
(x1 - x2) / x2
(x2 - x1) / x1
abs(x1 - x2) ^ x1
abs(x2 - x1) ^ x2
abs(x1 - x2) ^ x2
abs(x2 - x1) ^ x1
x1 / x1 - x1
x2 / x2 - x2
x1 / x1 - x2
x2 / x2 - x1
abs(x1 / x1) ^ x1
abs(x2 / x2) ^ x2
abs(x1 / x1) ^ x2
abs(x2 / x2) ^ x1
x1 / x2 - x1
x2 / x1 - x2
x1 / x2 - x2
x2 / x1 - x1
abs(x1 / x2) ^ x1
abs(x2 / x1) ^ x2
abs(x1 / x2) ^ x2
abs(x2 / x1) ^ x1
abs(x1) ^ x1 - x1
abs(x2) ^ x2 - x2
abs(x1) ^ x1 - x2
abs(x2) ^ x2 - x1
abs(x1) ^ x1 / x1
abs(x2) ^ x2 / x2
abs(x1) ^ x1 / x2
abs(x2) ^ x2 / x1
(abs(x1) ^ x1) ^ x1
(abs(x2) ^ x2) ^ x2
(abs(x1) ^ x1) ^ x2
(abs(x2) ^ x2) ^ x1
abs(x1) ^ x2 - x1
abs(x2) ^ x1 - x2
abs(x1) ^ x2 - x2
abs(x2) ^ x1 - x1
abs(x1) ^ x2 / x1
abs(x2) ^ x1 / x2
abs(x1) ^ x2 / x2
abs(x2) ^ x1 / x1
(abs(x1) ^ x2) ^ x1
(abs(x2) ^ x1) ^ x2
(abs(x1) ^ x2) ^ x2
(abs(x2) ^ x1) ^ x1
(p1 - x1) / x1
(p1 - x2) / x2
(p1 - x1) / x2
(p1 - x2) / x1
p1 / x1 - x1
p1 / x2 - x2
p1 / x1 - x2
p1 / x2 - x1
abs(p1 / x1) ^ x1
abs(p1 / x2) ^ x2
abs(p1 / x1) ^ x2
abs(p1 / x2) ^ x1
abs(p1) ^ x1 - x1
abs(p1) ^ x2 - x2
abs(p1) ^ x1 - x2
abs(p1) ^ x2 - x1
abs(p1) ^ x1 / x1
abs(p1) ^ x2 / x2
abs(p1) ^ x1 / x2
abs(p1) ^ x2 / x1
abs(x1) ^ p1 - x1
abs(x2) ^ p1 - x2
abs(x1) ^ p1 - x2
abs(x2) ^ p1 - x1
abs(x1) ^ p1 / x1
abs(x2) ^ p1 / x2
abs(x1) ^ p1 / x2
abs(x2) ^ p1 / x1
(abs(x1) ^ p1) ^ x1
(abs(x2) ^ p1) ^ x2
(abs(x1) ^ p1) ^ x2
(abs(x2) ^ p1) ^ x1
abs(p1) - x1
abs(p1) - x2
abs(p1) / x1
abs(p1) / x2
(abs(x1) * 2) ^ p1
(abs(x2) * 2) ^ p1
abs(x1 + x2) ^ p1
sqr(x1) ^ p1
sqr(x2) ^ p1
abs(x1 * x2) ^ p1
abs(x1 + p1) ^ p2
abs(x2 + p1) ^ p2
abs(x1 * p1) ^ p2
abs(x2 * p1) ^ p2
abs(x1 - x2) ^ p1
abs(x2 - x1) ^ p1
abs(x1 / x1) ^ p1
abs(x2 / x2) ^ p1
abs(x1 / x2) ^ p1
abs(x2 / x1) ^ p1
(abs(x1) ^ x1) ^ p1
(abs(x2) ^ x2) ^ p1
(abs(x1) ^ x2) ^ p1
(abs(x2) ^ x1) ^ p1
abs(p1 / x1) ^ p2
abs(p1 / x2) ^ p2
(abs(x1) ^ p1) ^ p2
(abs(x2) ^ p1) ^ p2