polybench 0.3.4__tar.gz → 0.3.5__tar.gz
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- {polybench-0.3.4 → polybench-0.3.5}/LICENSE +1 -1
- {polybench-0.3.4 → polybench-0.3.5}/PKG-INFO +4 -3
- {polybench-0.3.4 → polybench-0.3.5}/README.md +1 -1
- {polybench-0.3.4 → polybench-0.3.5}/polybench/solvers/flint/main.c +2 -3
- {polybench-0.3.4 → polybench-0.3.5}/polybench/solvers/form.py +9 -3
- {polybench-0.3.4 → polybench-0.3.5}/polybench/solvers/mma.py +4 -8
- {polybench-0.3.4 → polybench-0.3.5}/polybench/solvers/symbolica/Cargo.lock +238 -23
- {polybench-0.3.4 → polybench-0.3.5}/polybench/solvers/symbolica/Cargo.toml +3 -2
- {polybench-0.3.4 → polybench-0.3.5}/polybench/solvers/symbolica/src/main.rs +6 -5
- {polybench-0.3.4 → polybench-0.3.5}/pyproject.toml +12 -2
- {polybench-0.3.4 → polybench-0.3.5}/polybench/__init__.py +0 -0
- {polybench-0.3.4 → polybench-0.3.5}/polybench/__main__.py +0 -0
- {polybench-0.3.4 → polybench-0.3.5}/polybench/main.py +0 -0
- {polybench-0.3.4 → polybench-0.3.5}/polybench/plot.py +0 -0
- {polybench-0.3.4 → polybench-0.3.5}/polybench/poly.py +0 -0
- {polybench-0.3.4 → polybench-0.3.5}/polybench/prob.py +0 -0
- {polybench-0.3.4 → polybench-0.3.5}/polybench/py.typed +0 -0
- {polybench-0.3.4 → polybench-0.3.5}/polybench/solver.py +0 -0
- {polybench-0.3.4 → polybench-0.3.5}/polybench/solvers/__init__.py +0 -0
- {polybench-0.3.4 → polybench-0.3.5}/polybench/solvers/fer.py +0 -0
- {polybench-0.3.4 → polybench-0.3.5}/polybench/solvers/flint/CMakeLists.txt +0 -0
- {polybench-0.3.4 → polybench-0.3.5}/polybench/solvers/flint/cmake/init-vcpkg.cmake +0 -0
- {polybench-0.3.4 → polybench-0.3.5}/polybench/solvers/flint/vcpkg.json +0 -0
- {polybench-0.3.4 → polybench-0.3.5}/polybench/solvers/flint/version.h.in +0 -0
- {polybench-0.3.4 → polybench-0.3.5}/polybench/solvers/flint.py +0 -0
- {polybench-0.3.4 → polybench-0.3.5}/polybench/solvers/reform/Cargo.lock +0 -0
- {polybench-0.3.4 → polybench-0.3.5}/polybench/solvers/reform/Cargo.toml +0 -0
- {polybench-0.3.4 → polybench-0.3.5}/polybench/solvers/reform/src/main.rs +0 -0
- {polybench-0.3.4 → polybench-0.3.5}/polybench/solvers/reform.py +0 -0
- {polybench-0.3.4 → polybench-0.3.5}/polybench/solvers/rings/build.gradle +0 -0
- {polybench-0.3.4 → polybench-0.3.5}/polybench/solvers/rings/config/greclipse.properties +0 -0
- {polybench-0.3.4 → polybench-0.3.5}/polybench/solvers/rings/gradle/wrapper/gradle-wrapper.jar +0 -0
- {polybench-0.3.4 → polybench-0.3.5}/polybench/solvers/rings/gradle/wrapper/gradle-wrapper.properties +0 -0
- {polybench-0.3.4 → polybench-0.3.5}/polybench/solvers/rings/gradlew +0 -0
- {polybench-0.3.4 → polybench-0.3.5}/polybench/solvers/rings/gradlew.bat +0 -0
- {polybench-0.3.4 → polybench-0.3.5}/polybench/solvers/rings/src/main/java/com/github/tueda/polybench/rings/App.java +0 -0
- {polybench-0.3.4 → polybench-0.3.5}/polybench/solvers/rings.py +0 -0
- {polybench-0.3.4 → polybench-0.3.5}/polybench/solvers/singular.py +0 -0
- {polybench-0.3.4 → polybench-0.3.5}/polybench/solvers/symbolica.py +0 -0
- {polybench-0.3.4 → polybench-0.3.5}/polybench/util.py +0 -0
- {polybench-0.3.4 → polybench-0.3.5}/polybench/version.py +0 -0
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
Metadata-Version: 2.4
|
|
2
2
|
Name: polybench
|
|
3
|
-
Version: 0.3.
|
|
3
|
+
Version: 0.3.5
|
|
4
4
|
Summary: Multivariate polynomial arithmetic benchmark tests.
|
|
5
5
|
License: MIT
|
|
6
6
|
License-File: LICENSE
|
|
@@ -26,7 +26,8 @@ Classifier: Topic :: System :: Benchmark
|
|
|
26
26
|
Requires-Dist: colorama (>=0.4.5,<0.5.0)
|
|
27
27
|
Requires-Dist: colorlog (>=6.9.0,<7.0.0)
|
|
28
28
|
Requires-Dist: importlib-metadata (>=4.8.3,<5.0.0)
|
|
29
|
-
Requires-Dist: importlib-resources (>=5.
|
|
29
|
+
Requires-Dist: importlib-resources (>=5.2.0,<5.3.0) ; python_full_version >= "3.6.1" and python_full_version < "3.7.0"
|
|
30
|
+
Requires-Dist: importlib-resources (>=5.6.0,<6.0.0) ; python_version >= "3.7"
|
|
30
31
|
Requires-Dist: kiwisolver (>=1.3.1,<1.4.0) ; python_full_version >= "3.6.1" and python_full_version < "3.7.0"
|
|
31
32
|
Requires-Dist: kiwisolver (>=1.4.5,<2.0.0) ; python_version >= "3.7" and python_version < "3.14"
|
|
32
33
|
Requires-Dist: matplotlib (>=3.3.4,<3.4.0) ; python_full_version >= "3.6.1" and python_full_version < "3.7.0"
|
|
@@ -93,7 +94,7 @@ They are (in alphabetical order):
|
|
|
93
94
|
- [Singular](https://www.singular.uni-kl.de/)
|
|
94
95
|
- [Symbolica](https://symbolica.io/):
|
|
95
96
|
automatically downloaded
|
|
96
|
-
(requires [Rust](https://www.rust-lang.org/) >= 1.
|
|
97
|
+
(requires [Rust](https://www.rust-lang.org/) >= 1.88),
|
|
97
98
|
running in [restricted mode](https://symbolica.io/docs/get_started.html#license).
|
|
98
99
|
|
|
99
100
|
|
|
@@ -42,7 +42,7 @@ They are (in alphabetical order):
|
|
|
42
42
|
- [Singular](https://www.singular.uni-kl.de/)
|
|
43
43
|
- [Symbolica](https://symbolica.io/):
|
|
44
44
|
automatically downloaded
|
|
45
|
-
(requires [Rust](https://www.rust-lang.org/) >= 1.
|
|
45
|
+
(requires [Rust](https://www.rust-lang.org/) >= 1.88),
|
|
46
46
|
running in [restricted mode](https://symbolica.io/docs/get_started.html#license).
|
|
47
47
|
|
|
48
48
|
|
|
@@ -1,11 +1,10 @@
|
|
|
1
|
+
#include <flint/fmpz_mpoly.h>
|
|
2
|
+
#include <flint/fmpz_mpoly_factor.h>
|
|
1
3
|
#include <stdio.h>
|
|
2
4
|
#include <stdlib.h>
|
|
3
5
|
#include <string.h>
|
|
4
6
|
#include <time.h>
|
|
5
7
|
|
|
6
|
-
#include <flint/fmpz_mpoly.h>
|
|
7
|
-
#include <flint/fmpz_mpoly_factor.h>
|
|
8
|
-
|
|
9
8
|
#include "version.h"
|
|
10
9
|
|
|
11
10
|
void error(const char* msg) {
|
|
@@ -29,13 +29,19 @@ class FormSolver(Solver):
|
|
|
29
29
|
|
|
30
30
|
# Try to download the released binary.
|
|
31
31
|
|
|
32
|
-
version = "
|
|
32
|
+
version = "5.0.0"
|
|
33
33
|
if platform.system() == "Linux" and platform.machine() == "x86_64":
|
|
34
34
|
distname = f"form-{version}-x86_64-linux"
|
|
35
|
-
sha256 = "
|
|
35
|
+
sha256 = "94e40a3b9e0c3158dfce08ce252a1c20f338a0199a251cc0c458edf81324cbd6"
|
|
36
|
+
elif platform.system() == "Linux" and platform.machine() == "arm64":
|
|
37
|
+
distname = f"form-{version}-arm64-linux"
|
|
38
|
+
sha256 = "feaca9d8e320850696e0cd8bcae57928cae3ea2da2844bb50e23481126cdbc88"
|
|
36
39
|
elif platform.system() == "Darwin" and platform.machine() == "x86_64":
|
|
37
40
|
distname = f"form-{version}-x86_64-osx"
|
|
38
|
-
sha256 = "
|
|
41
|
+
sha256 = "44ea668705ba233d7991a618eb5e45a22ef9efa8054d2c7204f7a7773991c14a"
|
|
42
|
+
elif platform.system() == "Darwin" and platform.machine() == "arm64":
|
|
43
|
+
distname = f"form-{version}-arm64-osx"
|
|
44
|
+
sha256 = "2409437156e97c4f2afd2bc201d497cbbadbdf11df057099ae72ba724e19211f"
|
|
39
45
|
else:
|
|
40
46
|
return None
|
|
41
47
|
|
|
@@ -51,8 +51,7 @@ class MathematicaSolver(Solver):
|
|
|
51
51
|
|
|
52
52
|
if problems.problem_type == "gcd":
|
|
53
53
|
print2('s = OpenWrite["output.csv"];')
|
|
54
|
-
print2(
|
|
55
|
-
"""
|
|
54
|
+
print2("""
|
|
56
55
|
DoGCD[p_, q_] := Module[{r, t, a},
|
|
57
56
|
r = Timing[PolynomialGCD[p, q]];
|
|
58
57
|
t = r[[1]] // ToString;
|
|
@@ -60,8 +59,7 @@ class MathematicaSolver(Solver):
|
|
|
60
59
|
a = StringReplace[a, " " -> ""];
|
|
61
60
|
WriteLine[s, t <> "," <> a];
|
|
62
61
|
];
|
|
63
|
-
"""
|
|
64
|
-
)
|
|
62
|
+
""")
|
|
65
63
|
|
|
66
64
|
for p in problems:
|
|
67
65
|
print2(f"p = {p.p};")
|
|
@@ -71,8 +69,7 @@ class MathematicaSolver(Solver):
|
|
|
71
69
|
print2("Close[s];")
|
|
72
70
|
elif problems.problem_type == "factor":
|
|
73
71
|
print2('s = OpenWrite["output.csv"];')
|
|
74
|
-
print2(
|
|
75
|
-
"""
|
|
72
|
+
print2("""
|
|
76
73
|
DoFactor[p_] := Module[{r, t, a, x1, x2},
|
|
77
74
|
r = Timing[Factor[p]];
|
|
78
75
|
t = r[[1]] // ToString;
|
|
@@ -83,8 +80,7 @@ class MathematicaSolver(Solver):
|
|
|
83
80
|
a = StringReplace[a, "}" -> ""];
|
|
84
81
|
WriteLine[s, t <> "," <> a];
|
|
85
82
|
];
|
|
86
|
-
"""
|
|
87
|
-
)
|
|
83
|
+
""")
|
|
88
84
|
|
|
89
85
|
for p in problems:
|
|
90
86
|
print2(f"p = {p.p};")
|
|
@@ -15,6 +15,15 @@ dependencies = [
|
|
|
15
15
|
"zerocopy",
|
|
16
16
|
]
|
|
17
17
|
|
|
18
|
+
[[package]]
|
|
19
|
+
name = "aho-corasick"
|
|
20
|
+
version = "1.1.4"
|
|
21
|
+
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
22
|
+
checksum = "ddd31a130427c27518df266943a5308ed92d4b226cc639f5a8f1002816174301"
|
|
23
|
+
dependencies = [
|
|
24
|
+
"memchr",
|
|
25
|
+
]
|
|
26
|
+
|
|
18
27
|
[[package]]
|
|
19
28
|
name = "alloc-no-stdlib"
|
|
20
29
|
version = "2.0.4"
|
|
@@ -77,9 +86,9 @@ dependencies = [
|
|
|
77
86
|
|
|
78
87
|
[[package]]
|
|
79
88
|
name = "bytemuck"
|
|
80
|
-
version = "1.
|
|
89
|
+
version = "1.24.0"
|
|
81
90
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
82
|
-
checksum = "
|
|
91
|
+
checksum = "1fbdf580320f38b612e485521afda1ee26d10cc9884efaaa750d383e13e3c5f4"
|
|
83
92
|
|
|
84
93
|
[[package]]
|
|
85
94
|
name = "byteorder"
|
|
@@ -93,6 +102,16 @@ version = "1.7.1"
|
|
|
93
102
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
94
103
|
checksum = "8318a53db07bb3f8dca91a600466bdb3f2eaadeedfdbcf02e1accbad9271ba50"
|
|
95
104
|
|
|
105
|
+
[[package]]
|
|
106
|
+
name = "cc"
|
|
107
|
+
version = "1.2.55"
|
|
108
|
+
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
109
|
+
checksum = "47b26a0954ae34af09b50f0de26458fa95369a0d478d8236d3f93082b219bd29"
|
|
110
|
+
dependencies = [
|
|
111
|
+
"find-msvc-tools",
|
|
112
|
+
"shlex",
|
|
113
|
+
]
|
|
114
|
+
|
|
96
115
|
[[package]]
|
|
97
116
|
name = "cfg-if"
|
|
98
117
|
version = "1.0.0"
|
|
@@ -105,7 +124,7 @@ version = "3.0.0"
|
|
|
105
124
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
106
125
|
checksum = "fde0e0ec90c9dfb3b4b1a0891a7dcd0e2bffde2f7efed5fe7c9bb00e5bfb915e"
|
|
107
126
|
dependencies = [
|
|
108
|
-
"windows-sys",
|
|
127
|
+
"windows-sys 0.52.0",
|
|
109
128
|
]
|
|
110
129
|
|
|
111
130
|
[[package]]
|
|
@@ -145,6 +164,12 @@ version = "1.13.0"
|
|
|
145
164
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
146
165
|
checksum = "60b1af1c220855b6ceac025d3f6ecdd2b7c4894bfe9cd9bda4fbb4bc7c0d4cf0"
|
|
147
166
|
|
|
167
|
+
[[package]]
|
|
168
|
+
name = "find-msvc-tools"
|
|
169
|
+
version = "0.1.9"
|
|
170
|
+
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
171
|
+
checksum = "5baebc0774151f905a1a2cc41989300b1e6fbb29aff0ceffa1064fdd3088d582"
|
|
172
|
+
|
|
148
173
|
[[package]]
|
|
149
174
|
name = "getrandom"
|
|
150
175
|
version = "0.2.15"
|
|
@@ -175,9 +200,36 @@ source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
|
175
200
|
checksum = "b0205cd82059bc63b63cf516d714352a30c44f2c74da9961dfda2617ae6b5918"
|
|
176
201
|
dependencies = [
|
|
177
202
|
"libc",
|
|
178
|
-
"windows-sys",
|
|
203
|
+
"windows-sys 0.52.0",
|
|
179
204
|
]
|
|
180
205
|
|
|
206
|
+
[[package]]
|
|
207
|
+
name = "graphica"
|
|
208
|
+
version = "1.2.0"
|
|
209
|
+
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
210
|
+
checksum = "12b2b69c2c5be07ec7bd0be71c87fbf6bcccf0b443fd85ac592c7715ebdeeb4f"
|
|
211
|
+
dependencies = [
|
|
212
|
+
"ahash",
|
|
213
|
+
"dyn-clone",
|
|
214
|
+
"numerica",
|
|
215
|
+
"rand",
|
|
216
|
+
]
|
|
217
|
+
|
|
218
|
+
[[package]]
|
|
219
|
+
name = "itertools"
|
|
220
|
+
version = "0.14.0"
|
|
221
|
+
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
222
|
+
checksum = "2b192c782037fadd9cfa75548310488aabdbf3d2da73885b31bd0abd03351285"
|
|
223
|
+
dependencies = [
|
|
224
|
+
"either",
|
|
225
|
+
]
|
|
226
|
+
|
|
227
|
+
[[package]]
|
|
228
|
+
name = "lazy_static"
|
|
229
|
+
version = "1.5.0"
|
|
230
|
+
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
231
|
+
checksum = "bbd2bcb4c963f2ddae06a2efc7e9f3591312473c50c6685e1f298068316e66fe"
|
|
232
|
+
|
|
181
233
|
[[package]]
|
|
182
234
|
name = "libc"
|
|
183
235
|
version = "0.2.156"
|
|
@@ -186,12 +238,12 @@ checksum = "a5f43f184355eefb8d17fc948dbecf6c13be3c141f20d834ae842193a448c72a"
|
|
|
186
238
|
|
|
187
239
|
[[package]]
|
|
188
240
|
name = "libloading"
|
|
189
|
-
version = "0.
|
|
241
|
+
version = "0.9.0"
|
|
190
242
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
191
|
-
checksum = "
|
|
243
|
+
checksum = "754ca22de805bb5744484a5b151a9e1a8e837d5dc232c2d7d8c2e3492edc8b60"
|
|
192
244
|
dependencies = [
|
|
193
245
|
"cfg-if",
|
|
194
|
-
"windows-
|
|
246
|
+
"windows-link",
|
|
195
247
|
]
|
|
196
248
|
|
|
197
249
|
[[package]]
|
|
@@ -200,6 +252,73 @@ version = "0.2.8"
|
|
|
200
252
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
201
253
|
checksum = "4ec2a862134d2a7d32d7983ddcdd1c4923530833c9f2ea1a44fc5fa473989058"
|
|
202
254
|
|
|
255
|
+
[[package]]
|
|
256
|
+
name = "libmimalloc-sys"
|
|
257
|
+
version = "0.1.44"
|
|
258
|
+
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
259
|
+
checksum = "667f4fec20f29dfc6bc7357c582d91796c169ad7e2fce709468aefeb2c099870"
|
|
260
|
+
dependencies = [
|
|
261
|
+
"cc",
|
|
262
|
+
"libc",
|
|
263
|
+
]
|
|
264
|
+
|
|
265
|
+
[[package]]
|
|
266
|
+
name = "log"
|
|
267
|
+
version = "0.4.28"
|
|
268
|
+
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
269
|
+
checksum = "34080505efa8e45a4b816c349525ebe327ceaa8559756f0356cba97ef3bf7432"
|
|
270
|
+
|
|
271
|
+
[[package]]
|
|
272
|
+
name = "matchers"
|
|
273
|
+
version = "0.2.0"
|
|
274
|
+
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
275
|
+
checksum = "d1525a2a28c7f4fa0fc98bb91ae755d1e2d1505079e05539e35bc876b5d65ae9"
|
|
276
|
+
dependencies = [
|
|
277
|
+
"regex-automata",
|
|
278
|
+
]
|
|
279
|
+
|
|
280
|
+
[[package]]
|
|
281
|
+
name = "memchr"
|
|
282
|
+
version = "2.7.6"
|
|
283
|
+
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
284
|
+
checksum = "f52b00d39961fc5b2736ea853c9cc86238e165017a493d1d5c8eac6bdc4cc273"
|
|
285
|
+
|
|
286
|
+
[[package]]
|
|
287
|
+
name = "mimalloc"
|
|
288
|
+
version = "0.1.48"
|
|
289
|
+
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
290
|
+
checksum = "e1ee66a4b64c74f4ef288bcbb9192ad9c3feaad75193129ac8509af543894fd8"
|
|
291
|
+
dependencies = [
|
|
292
|
+
"libmimalloc-sys",
|
|
293
|
+
]
|
|
294
|
+
|
|
295
|
+
[[package]]
|
|
296
|
+
name = "nu-ansi-term"
|
|
297
|
+
version = "0.50.3"
|
|
298
|
+
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
299
|
+
checksum = "7957b9740744892f114936ab4a57b3f487491bbeafaf8083688b16841a4240e5"
|
|
300
|
+
dependencies = [
|
|
301
|
+
"windows-sys 0.61.2",
|
|
302
|
+
]
|
|
303
|
+
|
|
304
|
+
[[package]]
|
|
305
|
+
name = "numerica"
|
|
306
|
+
version = "1.2.1"
|
|
307
|
+
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
308
|
+
checksum = "5404006d4b917b1d2886f6b258e61f75aaa29572db913515f051b9d6a44fc758"
|
|
309
|
+
dependencies = [
|
|
310
|
+
"ahash",
|
|
311
|
+
"colored",
|
|
312
|
+
"dyn-clone",
|
|
313
|
+
"itertools",
|
|
314
|
+
"rand",
|
|
315
|
+
"rand_xoshiro",
|
|
316
|
+
"rayon",
|
|
317
|
+
"rug",
|
|
318
|
+
"smallvec",
|
|
319
|
+
"wide",
|
|
320
|
+
]
|
|
321
|
+
|
|
203
322
|
[[package]]
|
|
204
323
|
name = "once_cell"
|
|
205
324
|
version = "1.19.0"
|
|
@@ -292,9 +411,9 @@ dependencies = [
|
|
|
292
411
|
|
|
293
412
|
[[package]]
|
|
294
413
|
name = "rayon"
|
|
295
|
-
version = "1.
|
|
414
|
+
version = "1.11.0"
|
|
296
415
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
297
|
-
checksum = "
|
|
416
|
+
checksum = "368f01d005bf8fd9b1206fb6fa653e6c4a81ceb1466406b81792d87c5677a58f"
|
|
298
417
|
dependencies = [
|
|
299
418
|
"either",
|
|
300
419
|
"rayon-core",
|
|
@@ -302,14 +421,31 @@ dependencies = [
|
|
|
302
421
|
|
|
303
422
|
[[package]]
|
|
304
423
|
name = "rayon-core"
|
|
305
|
-
version = "1.
|
|
424
|
+
version = "1.13.0"
|
|
306
425
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
307
|
-
checksum = "
|
|
426
|
+
checksum = "22e18b0f0062d30d4230b2e85ff77fdfe4326feb054b9783a3460d8435c8ab91"
|
|
308
427
|
dependencies = [
|
|
309
428
|
"crossbeam-deque",
|
|
310
429
|
"crossbeam-utils",
|
|
311
430
|
]
|
|
312
431
|
|
|
432
|
+
[[package]]
|
|
433
|
+
name = "regex-automata"
|
|
434
|
+
version = "0.4.13"
|
|
435
|
+
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
436
|
+
checksum = "5276caf25ac86c8d810222b3dbb938e512c55c6831a10f3e6ed1c93b84041f1c"
|
|
437
|
+
dependencies = [
|
|
438
|
+
"aho-corasick",
|
|
439
|
+
"memchr",
|
|
440
|
+
"regex-syntax",
|
|
441
|
+
]
|
|
442
|
+
|
|
443
|
+
[[package]]
|
|
444
|
+
name = "regex-syntax"
|
|
445
|
+
version = "0.8.8"
|
|
446
|
+
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
447
|
+
checksum = "7a2d987857b319362043e95f5353c0535c1f58eec5336fdfcf626430af7def58"
|
|
448
|
+
|
|
313
449
|
[[package]]
|
|
314
450
|
name = "rug"
|
|
315
451
|
version = "1.27.0"
|
|
@@ -324,9 +460,9 @@ dependencies = [
|
|
|
324
460
|
|
|
325
461
|
[[package]]
|
|
326
462
|
name = "safe_arch"
|
|
327
|
-
version = "0.
|
|
463
|
+
version = "0.9.2"
|
|
328
464
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
329
|
-
checksum = "
|
|
465
|
+
checksum = "3fb5032219cc30e5bb98749b19a18ceb2cf15e24ba8d517a7e64dff4f1f1eca5"
|
|
330
466
|
dependencies = [
|
|
331
467
|
"bytemuck",
|
|
332
468
|
]
|
|
@@ -337,6 +473,21 @@ version = "1.2.0"
|
|
|
337
473
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
338
474
|
checksum = "0f7d95a54511e0c7be3f51e8867aa8cf35148d7b9445d44de2f943e2b206e749"
|
|
339
475
|
|
|
476
|
+
[[package]]
|
|
477
|
+
name = "sharded-slab"
|
|
478
|
+
version = "0.1.7"
|
|
479
|
+
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
480
|
+
checksum = "f40ca3c46823713e0d4209592e8d6e826aa57e928f09752619fc696c499637f6"
|
|
481
|
+
dependencies = [
|
|
482
|
+
"lazy_static",
|
|
483
|
+
]
|
|
484
|
+
|
|
485
|
+
[[package]]
|
|
486
|
+
name = "shlex"
|
|
487
|
+
version = "1.3.0"
|
|
488
|
+
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
489
|
+
checksum = "0fda2ff0d084019ba4d7c6f371c95d8fd75ce3524c3cb8fb653a3023f6323e64"
|
|
490
|
+
|
|
340
491
|
[[package]]
|
|
341
492
|
name = "smallvec"
|
|
342
493
|
version = "1.13.2"
|
|
@@ -362,9 +513,9 @@ checksum = "a2eb9349b6444b326872e140eb1cf5e7c522154d69e7a0ffb0fb81c06b37543f"
|
|
|
362
513
|
|
|
363
514
|
[[package]]
|
|
364
515
|
name = "symbolica"
|
|
365
|
-
version = "
|
|
516
|
+
version = "1.3.0"
|
|
366
517
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
367
|
-
checksum = "
|
|
518
|
+
checksum = "f294ad84842e2c057ee4aed428dfd9035b95159dc2f928743a3d0516dadc59f4"
|
|
368
519
|
dependencies = [
|
|
369
520
|
"ahash",
|
|
370
521
|
"append-only-vec",
|
|
@@ -373,7 +524,10 @@ dependencies = [
|
|
|
373
524
|
"bytes",
|
|
374
525
|
"colored",
|
|
375
526
|
"dyn-clone",
|
|
527
|
+
"graphica",
|
|
376
528
|
"libloading",
|
|
529
|
+
"mimalloc",
|
|
530
|
+
"numerica",
|
|
377
531
|
"once_cell",
|
|
378
532
|
"rand",
|
|
379
533
|
"rand_xoshiro",
|
|
@@ -384,6 +538,7 @@ dependencies = [
|
|
|
384
538
|
"smartstring",
|
|
385
539
|
"tinyjson",
|
|
386
540
|
"tracing",
|
|
541
|
+
"tracing-subscriber",
|
|
387
542
|
"wide",
|
|
388
543
|
]
|
|
389
544
|
|
|
@@ -398,6 +553,15 @@ dependencies = [
|
|
|
398
553
|
"unicode-ident",
|
|
399
554
|
]
|
|
400
555
|
|
|
556
|
+
[[package]]
|
|
557
|
+
name = "thread_local"
|
|
558
|
+
version = "1.1.9"
|
|
559
|
+
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
560
|
+
checksum = "f60246a4944f24f6e018aa17cdeffb7818b76356965d03b07d6a9886e8962185"
|
|
561
|
+
dependencies = [
|
|
562
|
+
"cfg-if",
|
|
563
|
+
]
|
|
564
|
+
|
|
401
565
|
[[package]]
|
|
402
566
|
name = "tinyjson"
|
|
403
567
|
version = "2.5.1"
|
|
@@ -406,9 +570,9 @@ checksum = "9ab95735ea2c8fd51154d01e39cf13912a78071c2d89abc49a7ef102a7dd725a"
|
|
|
406
570
|
|
|
407
571
|
[[package]]
|
|
408
572
|
name = "tracing"
|
|
409
|
-
version = "0.1.
|
|
573
|
+
version = "0.1.41"
|
|
410
574
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
411
|
-
checksum = "
|
|
575
|
+
checksum = "784e0ac535deb450455cbfa28a6f0df145ea1bb7ae51b821cf5e7927fdcfbdd0"
|
|
412
576
|
dependencies = [
|
|
413
577
|
"pin-project-lite",
|
|
414
578
|
"tracing-attributes",
|
|
@@ -417,9 +581,9 @@ dependencies = [
|
|
|
417
581
|
|
|
418
582
|
[[package]]
|
|
419
583
|
name = "tracing-attributes"
|
|
420
|
-
version = "0.1.
|
|
584
|
+
version = "0.1.30"
|
|
421
585
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
422
|
-
checksum = "
|
|
586
|
+
checksum = "81383ab64e72a7a8b8e13130c49e3dab29def6d0c7d76a03087b3cf71c5c6903"
|
|
423
587
|
dependencies = [
|
|
424
588
|
"proc-macro2",
|
|
425
589
|
"quote",
|
|
@@ -428,11 +592,41 @@ dependencies = [
|
|
|
428
592
|
|
|
429
593
|
[[package]]
|
|
430
594
|
name = "tracing-core"
|
|
431
|
-
version = "0.1.
|
|
595
|
+
version = "0.1.34"
|
|
596
|
+
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
597
|
+
checksum = "b9d12581f227e93f094d3af2ae690a574abb8a2b9b7a96e7cfe9647b2b617678"
|
|
598
|
+
dependencies = [
|
|
599
|
+
"once_cell",
|
|
600
|
+
"valuable",
|
|
601
|
+
]
|
|
602
|
+
|
|
603
|
+
[[package]]
|
|
604
|
+
name = "tracing-log"
|
|
605
|
+
version = "0.2.0"
|
|
606
|
+
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
607
|
+
checksum = "ee855f1f400bd0e5c02d150ae5de3840039a3f54b025156404e34c23c03f47c3"
|
|
608
|
+
dependencies = [
|
|
609
|
+
"log",
|
|
610
|
+
"once_cell",
|
|
611
|
+
"tracing-core",
|
|
612
|
+
]
|
|
613
|
+
|
|
614
|
+
[[package]]
|
|
615
|
+
name = "tracing-subscriber"
|
|
616
|
+
version = "0.3.20"
|
|
432
617
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
433
|
-
checksum = "
|
|
618
|
+
checksum = "2054a14f5307d601f88daf0553e1cbf472acc4f2c51afab632431cdcd72124d5"
|
|
434
619
|
dependencies = [
|
|
620
|
+
"matchers",
|
|
621
|
+
"nu-ansi-term",
|
|
435
622
|
"once_cell",
|
|
623
|
+
"regex-automata",
|
|
624
|
+
"sharded-slab",
|
|
625
|
+
"smallvec",
|
|
626
|
+
"thread_local",
|
|
627
|
+
"tracing",
|
|
628
|
+
"tracing-core",
|
|
629
|
+
"tracing-log",
|
|
436
630
|
]
|
|
437
631
|
|
|
438
632
|
[[package]]
|
|
@@ -441,6 +635,12 @@ version = "1.0.12"
|
|
|
441
635
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
442
636
|
checksum = "3354b9ac3fae1ff6755cb6db53683adb661634f67557942dea4facebec0fee4b"
|
|
443
637
|
|
|
638
|
+
[[package]]
|
|
639
|
+
name = "valuable"
|
|
640
|
+
version = "0.1.1"
|
|
641
|
+
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
642
|
+
checksum = "ba73ea9cf16a25df0c8caa16c51acb937d5712a8429db78a3ee29d5dcacd3a65"
|
|
643
|
+
|
|
444
644
|
[[package]]
|
|
445
645
|
name = "version_check"
|
|
446
646
|
version = "0.9.5"
|
|
@@ -464,14 +664,20 @@ dependencies = [
|
|
|
464
664
|
|
|
465
665
|
[[package]]
|
|
466
666
|
name = "wide"
|
|
467
|
-
version = "0.
|
|
667
|
+
version = "0.8.1"
|
|
468
668
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
469
|
-
checksum = "
|
|
669
|
+
checksum = "01e9aba2ca45c04ecbf5c516b21b4a16ddb2cc43f69c10adb08956c2fe1ec081"
|
|
470
670
|
dependencies = [
|
|
471
671
|
"bytemuck",
|
|
472
672
|
"safe_arch",
|
|
473
673
|
]
|
|
474
674
|
|
|
675
|
+
[[package]]
|
|
676
|
+
name = "windows-link"
|
|
677
|
+
version = "0.2.1"
|
|
678
|
+
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
679
|
+
checksum = "f0805222e57f7521d6a62e36fa9163bc891acd422f971defe97d64e70d0a4fe5"
|
|
680
|
+
|
|
475
681
|
[[package]]
|
|
476
682
|
name = "windows-sys"
|
|
477
683
|
version = "0.52.0"
|
|
@@ -481,6 +687,15 @@ dependencies = [
|
|
|
481
687
|
"windows-targets",
|
|
482
688
|
]
|
|
483
689
|
|
|
690
|
+
[[package]]
|
|
691
|
+
name = "windows-sys"
|
|
692
|
+
version = "0.61.2"
|
|
693
|
+
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
694
|
+
checksum = "ae137229bcbd6cdf0f7b80a31df61766145077ddf49416a728b02cb3921ff3fc"
|
|
695
|
+
dependencies = [
|
|
696
|
+
"windows-link",
|
|
697
|
+
]
|
|
698
|
+
|
|
484
699
|
[[package]]
|
|
485
700
|
name = "windows-targets"
|
|
486
701
|
version = "0.52.6"
|
|
@@ -3,11 +3,12 @@ use std::fs::File;
|
|
|
3
3
|
use std::io::{BufRead, BufReader, LineWriter, Write};
|
|
4
4
|
use std::sync::Arc;
|
|
5
5
|
use std::time::Instant;
|
|
6
|
+
use symbolica::atom::AtomCore;
|
|
6
7
|
use symbolica::domains::integer::Z;
|
|
8
|
+
use symbolica::poly::PolyVariable;
|
|
7
9
|
use symbolica::poly::factor::Factorize;
|
|
8
10
|
use symbolica::poly::polynomial::MultivariatePolynomial;
|
|
9
|
-
use symbolica::
|
|
10
|
-
use symbolica::{atom::AtomCore, parse, symbol};
|
|
11
|
+
use symbolica::{parse, symbol};
|
|
11
12
|
|
|
12
13
|
fn main() {
|
|
13
14
|
let args: Vec<_> = env::args().collect();
|
|
@@ -21,7 +22,7 @@ fn main() {
|
|
|
21
22
|
|
|
22
23
|
let mut output = LineWriter::new(output_file);
|
|
23
24
|
|
|
24
|
-
let var_map: Arc<Vec<
|
|
25
|
+
let var_map: Arc<Vec<PolyVariable>> =
|
|
25
26
|
Arc::new(variables.iter().map(|x| symbol!(x).into()).collect());
|
|
26
27
|
|
|
27
28
|
for line in BufReader::new(input_file).lines() {
|
|
@@ -92,6 +93,6 @@ fn main() {
|
|
|
92
93
|
}
|
|
93
94
|
}
|
|
94
95
|
|
|
95
|
-
fn get_poly(expr: &str, var_map: &Arc<Vec<
|
|
96
|
-
parse!(expr).to_polynomial(&Z, Some(
|
|
96
|
+
fn get_poly(expr: &str, var_map: &Arc<Vec<PolyVariable>>) -> MultivariatePolynomial<Z, u8> {
|
|
97
|
+
parse!(expr).to_polynomial(&Z, Some(Arc::clone(var_map)))
|
|
97
98
|
}
|
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
[tool.poetry]
|
|
2
2
|
name = "polybench"
|
|
3
|
-
version = "0.3.
|
|
3
|
+
version = "0.3.5"
|
|
4
4
|
description = "Multivariate polynomial arithmetic benchmark tests."
|
|
5
5
|
license = "MIT"
|
|
6
6
|
authors = ["Takahiro Ueda <t.ueda.od@juntendo.ac.jp>"]
|
|
@@ -21,13 +21,17 @@ python = "^3.6.1"
|
|
|
21
21
|
colorama = "^0.4.5" # 0.4.6 requires python >= 3.7
|
|
22
22
|
colorlog = "^6.9.0"
|
|
23
23
|
importlib-metadata = "^4.8.3" # 4.9.0 requires python >= 3.7
|
|
24
|
-
importlib-resources = "^5.4.0" # 5.6.0 requires python >= 3.7
|
|
25
24
|
pretty-errors = "^1.2.25"
|
|
26
25
|
psutil = "^7.0.0"
|
|
27
26
|
py-cpuinfo = "^9.0.0"
|
|
28
27
|
toml = "^0.10.2"
|
|
29
28
|
typing-extensions = "^4.1.1" # 4.2.0 requires python >= 3.7
|
|
30
29
|
|
|
30
|
+
importlib-resources = [
|
|
31
|
+
{ version = "~5.2.0", python = "~3.6.1" },
|
|
32
|
+
{ version = "^5.6.0", python = ">=3.7" },
|
|
33
|
+
]
|
|
34
|
+
|
|
31
35
|
kiwisolver = [
|
|
32
36
|
{ version = "~1.3.1", python = "~3.6.1" },
|
|
33
37
|
{ version = "^1.4.5", python = ">=3.7,<3.14" },
|
|
@@ -63,6 +67,12 @@ coverage = [
|
|
|
63
67
|
{ version = "~6.2", python = "~3.6.1" },
|
|
64
68
|
{ version = "^7.2.7", python = ">=3.7" }, # Python 3.11 doesn't work with coverage 6.2
|
|
65
69
|
]
|
|
70
|
+
pre-commit = [
|
|
71
|
+
{ version = "~2.17.0", python = ">=3.6.1,<3.7" },
|
|
72
|
+
{ version = "~2.21.0", python = ">=3.7,<3.9" },
|
|
73
|
+
{ version = "~3.5.0", python = ">=3.9,<3.10" },
|
|
74
|
+
{ version = "^4.5.0", python = ">=3.10" },
|
|
75
|
+
]
|
|
66
76
|
|
|
67
77
|
[tool.poetry.scripts]
|
|
68
78
|
polybench = "polybench.__main__:entry_point"
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
{polybench-0.3.4 → polybench-0.3.5}/polybench/solvers/rings/gradle/wrapper/gradle-wrapper.jar
RENAMED
|
File without changes
|
{polybench-0.3.4 → polybench-0.3.5}/polybench/solvers/rings/gradle/wrapper/gradle-wrapper.properties
RENAMED
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|