polybench 0.3.2__tar.gz → 0.3.4__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.2 → polybench-0.3.4}/PKG-INFO +5 -3
- {polybench-0.3.2 → polybench-0.3.4}/README.md +1 -1
- {polybench-0.3.2 → polybench-0.3.4}/polybench/solvers/rings/build.gradle +4 -4
- {polybench-0.3.2 → polybench-0.3.4}/polybench/solvers/rings/src/main/java/com/github/tueda/polybench/rings/App.java +6 -2
- {polybench-0.3.2 → polybench-0.3.4}/polybench/solvers/symbolica/Cargo.lock +75 -107
- {polybench-0.3.2 → polybench-0.3.4}/polybench/solvers/symbolica/Cargo.toml +1 -1
- {polybench-0.3.2 → polybench-0.3.4}/polybench/solvers/symbolica/src/main.rs +4 -6
- {polybench-0.3.2 → polybench-0.3.4}/pyproject.toml +1 -1
- {polybench-0.3.2 → polybench-0.3.4}/LICENSE +0 -0
- {polybench-0.3.2 → polybench-0.3.4}/polybench/__init__.py +0 -0
- {polybench-0.3.2 → polybench-0.3.4}/polybench/__main__.py +0 -0
- {polybench-0.3.2 → polybench-0.3.4}/polybench/main.py +0 -0
- {polybench-0.3.2 → polybench-0.3.4}/polybench/plot.py +0 -0
- {polybench-0.3.2 → polybench-0.3.4}/polybench/poly.py +0 -0
- {polybench-0.3.2 → polybench-0.3.4}/polybench/prob.py +0 -0
- {polybench-0.3.2 → polybench-0.3.4}/polybench/py.typed +0 -0
- {polybench-0.3.2 → polybench-0.3.4}/polybench/solver.py +0 -0
- {polybench-0.3.2 → polybench-0.3.4}/polybench/solvers/__init__.py +0 -0
- {polybench-0.3.2 → polybench-0.3.4}/polybench/solvers/fer.py +0 -0
- {polybench-0.3.2 → polybench-0.3.4}/polybench/solvers/flint/CMakeLists.txt +0 -0
- {polybench-0.3.2 → polybench-0.3.4}/polybench/solvers/flint/cmake/init-vcpkg.cmake +0 -0
- {polybench-0.3.2 → polybench-0.3.4}/polybench/solvers/flint/main.c +0 -0
- {polybench-0.3.2 → polybench-0.3.4}/polybench/solvers/flint/vcpkg.json +0 -0
- {polybench-0.3.2 → polybench-0.3.4}/polybench/solvers/flint/version.h.in +0 -0
- {polybench-0.3.2 → polybench-0.3.4}/polybench/solvers/flint.py +0 -0
- {polybench-0.3.2 → polybench-0.3.4}/polybench/solvers/form.py +0 -0
- {polybench-0.3.2 → polybench-0.3.4}/polybench/solvers/mma.py +0 -0
- {polybench-0.3.2 → polybench-0.3.4}/polybench/solvers/reform/Cargo.lock +0 -0
- {polybench-0.3.2 → polybench-0.3.4}/polybench/solvers/reform/Cargo.toml +0 -0
- {polybench-0.3.2 → polybench-0.3.4}/polybench/solvers/reform/src/main.rs +0 -0
- {polybench-0.3.2 → polybench-0.3.4}/polybench/solvers/reform.py +0 -0
- {polybench-0.3.2 → polybench-0.3.4}/polybench/solvers/rings/config/greclipse.properties +0 -0
- {polybench-0.3.2 → polybench-0.3.4}/polybench/solvers/rings/gradle/wrapper/gradle-wrapper.jar +0 -0
- {polybench-0.3.2 → polybench-0.3.4}/polybench/solvers/rings/gradle/wrapper/gradle-wrapper.properties +0 -0
- {polybench-0.3.2 → polybench-0.3.4}/polybench/solvers/rings/gradlew +0 -0
- {polybench-0.3.2 → polybench-0.3.4}/polybench/solvers/rings/gradlew.bat +0 -0
- {polybench-0.3.2 → polybench-0.3.4}/polybench/solvers/rings.py +0 -0
- {polybench-0.3.2 → polybench-0.3.4}/polybench/solvers/singular.py +0 -0
- {polybench-0.3.2 → polybench-0.3.4}/polybench/solvers/symbolica.py +0 -0
- {polybench-0.3.2 → polybench-0.3.4}/polybench/util.py +0 -0
- {polybench-0.3.2 → polybench-0.3.4}/polybench/version.py +0 -0
|
@@ -1,8 +1,9 @@
|
|
|
1
|
-
Metadata-Version: 2.
|
|
1
|
+
Metadata-Version: 2.4
|
|
2
2
|
Name: polybench
|
|
3
|
-
Version: 0.3.
|
|
3
|
+
Version: 0.3.4
|
|
4
4
|
Summary: Multivariate polynomial arithmetic benchmark tests.
|
|
5
5
|
License: MIT
|
|
6
|
+
License-File: LICENSE
|
|
6
7
|
Keywords: benchmark,mathematics,multivariate-polynomials
|
|
7
8
|
Author: Takahiro Ueda
|
|
8
9
|
Author-email: t.ueda.od@juntendo.ac.jp
|
|
@@ -19,6 +20,7 @@ Classifier: Programming Language :: Python :: 3.10
|
|
|
19
20
|
Classifier: Programming Language :: Python :: 3.11
|
|
20
21
|
Classifier: Programming Language :: Python :: 3.12
|
|
21
22
|
Classifier: Programming Language :: Python :: 3.13
|
|
23
|
+
Classifier: Programming Language :: Python :: 3.14
|
|
22
24
|
Classifier: Topic :: Scientific/Engineering :: Mathematics
|
|
23
25
|
Classifier: Topic :: System :: Benchmark
|
|
24
26
|
Requires-Dist: colorama (>=0.4.5,<0.5.0)
|
|
@@ -91,7 +93,7 @@ They are (in alphabetical order):
|
|
|
91
93
|
- [Singular](https://www.singular.uni-kl.de/)
|
|
92
94
|
- [Symbolica](https://symbolica.io/):
|
|
93
95
|
automatically downloaded
|
|
94
|
-
(requires [Rust](https://www.rust-lang.org/) >= 1.
|
|
96
|
+
(requires [Rust](https://www.rust-lang.org/) >= 1.85),
|
|
95
97
|
running in [restricted mode](https://symbolica.io/docs/get_started.html#license).
|
|
96
98
|
|
|
97
99
|
|
|
@@ -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.85),
|
|
46
46
|
running in [restricted mode](https://symbolica.io/docs/get_started.html#license).
|
|
47
47
|
|
|
48
48
|
|
|
@@ -1,12 +1,12 @@
|
|
|
1
1
|
plugins {
|
|
2
2
|
id 'application'
|
|
3
|
-
id 'com.diffplug.spotless' version '7.
|
|
4
|
-
id 'com.github.ben-manes.versions' version '0.
|
|
5
|
-
id 'ru.vyarus.quality' version '
|
|
3
|
+
id 'com.diffplug.spotless' version '7.2.1'
|
|
4
|
+
id 'com.github.ben-manes.versions' version '0.53.0'
|
|
5
|
+
id 'ru.vyarus.quality' version '6.0.1'
|
|
6
6
|
}
|
|
7
7
|
|
|
8
8
|
def versions = [
|
|
9
|
-
checkstyle: '10.
|
|
9
|
+
checkstyle: '10.26.1',
|
|
10
10
|
rings: '2.5.8',
|
|
11
11
|
]
|
|
12
12
|
|
|
@@ -61,9 +61,13 @@ public class App {
|
|
|
61
61
|
MultivariateFactorization.Factor(p);
|
|
62
62
|
long t2 = System.nanoTime();
|
|
63
63
|
StringBuilder result = new StringBuilder();
|
|
64
|
-
result.append((t2 - t1) / 1.0e9
|
|
64
|
+
result.append((t2 - t1) / 1.0e9).append(',').append(factors.unit);
|
|
65
65
|
for (int i = 0; i < factors.size(); i++) {
|
|
66
|
-
result
|
|
66
|
+
result
|
|
67
|
+
.append(",(")
|
|
68
|
+
.append(factors.get(i).toString(variables))
|
|
69
|
+
.append(")^")
|
|
70
|
+
.append(factors.getExponent(i));
|
|
67
71
|
}
|
|
68
72
|
return result.toString();
|
|
69
73
|
}
|
|
@@ -9,7 +9,7 @@ source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
|
9
9
|
checksum = "e89da841a80418a9b391ebaea17f5c112ffaaa96f621d2c285b5174da76b9011"
|
|
10
10
|
dependencies = [
|
|
11
11
|
"cfg-if",
|
|
12
|
-
"getrandom",
|
|
12
|
+
"getrandom 0.2.15",
|
|
13
13
|
"once_cell",
|
|
14
14
|
"version_check",
|
|
15
15
|
"zerocopy",
|
|
@@ -48,11 +48,17 @@ version = "1.2.1"
|
|
|
48
48
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
49
49
|
checksum = "7b7e4c2464d97fe331d41de9d5db0def0a96f4d823b8b32a2efd503578988973"
|
|
50
50
|
|
|
51
|
+
[[package]]
|
|
52
|
+
name = "bitflags"
|
|
53
|
+
version = "2.9.1"
|
|
54
|
+
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
55
|
+
checksum = "1b8e56985ec62d17e9c1001dc89c88ecd7dc08e47eba5ec7c29c7b5eeecde967"
|
|
56
|
+
|
|
51
57
|
[[package]]
|
|
52
58
|
name = "brotli"
|
|
53
|
-
version = "
|
|
59
|
+
version = "8.0.1"
|
|
54
60
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
55
|
-
checksum = "
|
|
61
|
+
checksum = "9991eea70ea4f293524138648e41ee89b0b2b12ddef3b255effa43c8056e0e0d"
|
|
56
62
|
dependencies = [
|
|
57
63
|
"alloc-no-stdlib",
|
|
58
64
|
"alloc-stdlib",
|
|
@@ -61,9 +67,9 @@ dependencies = [
|
|
|
61
67
|
|
|
62
68
|
[[package]]
|
|
63
69
|
name = "brotli-decompressor"
|
|
64
|
-
version = "
|
|
70
|
+
version = "5.0.0"
|
|
65
71
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
66
|
-
checksum = "
|
|
72
|
+
checksum = "874bb8112abecc98cbd6d81ea4fa7e94fb9449648c93cc89aa40c81c24d7de03"
|
|
67
73
|
dependencies = [
|
|
68
74
|
"alloc-no-stdlib",
|
|
69
75
|
"alloc-stdlib",
|
|
@@ -95,12 +101,11 @@ checksum = "baf1de4339761588bc0619e3cbc0120ee582ebb74b53b4efbf79117bd2da40fd"
|
|
|
95
101
|
|
|
96
102
|
[[package]]
|
|
97
103
|
name = "colored"
|
|
98
|
-
version = "
|
|
104
|
+
version = "3.0.0"
|
|
99
105
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
100
|
-
checksum = "
|
|
106
|
+
checksum = "fde0e0ec90c9dfb3b4b1a0891a7dcd0e2bffde2f7efed5fe7c9bb00e5bfb915e"
|
|
101
107
|
dependencies = [
|
|
102
|
-
"
|
|
103
|
-
"windows-sys 0.48.0",
|
|
108
|
+
"windows-sys",
|
|
104
109
|
]
|
|
105
110
|
|
|
106
111
|
[[package]]
|
|
@@ -148,24 +153,30 @@ checksum = "c4567c8db10ae91089c99af84c68c38da3ec2f087c3f82960bcdbf3656b6f4d7"
|
|
|
148
153
|
dependencies = [
|
|
149
154
|
"cfg-if",
|
|
150
155
|
"libc",
|
|
151
|
-
"wasi",
|
|
156
|
+
"wasi 0.11.0+wasi-snapshot-preview1",
|
|
152
157
|
]
|
|
153
158
|
|
|
154
159
|
[[package]]
|
|
155
|
-
name = "
|
|
156
|
-
version = "
|
|
160
|
+
name = "getrandom"
|
|
161
|
+
version = "0.3.3"
|
|
157
162
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
158
|
-
checksum = "
|
|
163
|
+
checksum = "26145e563e54f2cadc477553f1ec5ee650b00862f0a58bcd12cbdc5f0ea2d2f4"
|
|
159
164
|
dependencies = [
|
|
165
|
+
"cfg-if",
|
|
160
166
|
"libc",
|
|
161
|
-
"
|
|
167
|
+
"r-efi",
|
|
168
|
+
"wasi 0.14.2+wasi-0.2.4",
|
|
162
169
|
]
|
|
163
170
|
|
|
164
171
|
[[package]]
|
|
165
|
-
name = "
|
|
166
|
-
version = "1.
|
|
172
|
+
name = "gmp-mpfr-sys"
|
|
173
|
+
version = "1.6.4"
|
|
167
174
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
168
|
-
checksum = "
|
|
175
|
+
checksum = "b0205cd82059bc63b63cf516d714352a30c44f2c74da9961dfda2617ae6b5918"
|
|
176
|
+
dependencies = [
|
|
177
|
+
"libc",
|
|
178
|
+
"windows-sys",
|
|
179
|
+
]
|
|
169
180
|
|
|
170
181
|
[[package]]
|
|
171
182
|
name = "libc"
|
|
@@ -180,7 +191,7 @@ source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
|
180
191
|
checksum = "4979f22fdb869068da03c9f7528f8297c6fd2606bc3a4affe42e6a823fdb8da4"
|
|
181
192
|
dependencies = [
|
|
182
193
|
"cfg-if",
|
|
183
|
-
"windows-targets
|
|
194
|
+
"windows-targets",
|
|
184
195
|
]
|
|
185
196
|
|
|
186
197
|
[[package]]
|
|
@@ -235,22 +246,27 @@ dependencies = [
|
|
|
235
246
|
"proc-macro2",
|
|
236
247
|
]
|
|
237
248
|
|
|
249
|
+
[[package]]
|
|
250
|
+
name = "r-efi"
|
|
251
|
+
version = "5.3.0"
|
|
252
|
+
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
253
|
+
checksum = "69cdb34c158ceb288df11e18b4bd39de994f6657d83847bdffdbd7f346754b0f"
|
|
254
|
+
|
|
238
255
|
[[package]]
|
|
239
256
|
name = "rand"
|
|
240
|
-
version = "0.
|
|
257
|
+
version = "0.9.2"
|
|
241
258
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
242
|
-
checksum = "
|
|
259
|
+
checksum = "6db2770f06117d490610c7488547d543617b21bfa07796d7a12f6f1bd53850d1"
|
|
243
260
|
dependencies = [
|
|
244
|
-
"libc",
|
|
245
261
|
"rand_chacha",
|
|
246
262
|
"rand_core",
|
|
247
263
|
]
|
|
248
264
|
|
|
249
265
|
[[package]]
|
|
250
266
|
name = "rand_chacha"
|
|
251
|
-
version = "0.
|
|
267
|
+
version = "0.9.0"
|
|
252
268
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
253
|
-
checksum = "
|
|
269
|
+
checksum = "d3022b5f1df60f26e1ffddd6c66e8aa15de382ae63b3a0c1bfc0e4d3e3f325cb"
|
|
254
270
|
dependencies = [
|
|
255
271
|
"ppv-lite86",
|
|
256
272
|
"rand_core",
|
|
@@ -258,18 +274,18 @@ dependencies = [
|
|
|
258
274
|
|
|
259
275
|
[[package]]
|
|
260
276
|
name = "rand_core"
|
|
261
|
-
version = "0.
|
|
277
|
+
version = "0.9.3"
|
|
262
278
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
263
|
-
checksum = "
|
|
279
|
+
checksum = "99d9a13982dcf210057a8a78572b2217b667c3beacbf3a0d8b454f6f82837d38"
|
|
264
280
|
dependencies = [
|
|
265
|
-
"getrandom",
|
|
281
|
+
"getrandom 0.3.3",
|
|
266
282
|
]
|
|
267
283
|
|
|
268
284
|
[[package]]
|
|
269
285
|
name = "rand_xoshiro"
|
|
270
|
-
version = "0.
|
|
286
|
+
version = "0.7.0"
|
|
271
287
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
272
|
-
checksum = "
|
|
288
|
+
checksum = "f703f4665700daf5512dcca5f43afa6af89f09db47fb56be587f80636bda2d41"
|
|
273
289
|
dependencies = [
|
|
274
290
|
"rand_core",
|
|
275
291
|
]
|
|
@@ -296,9 +312,9 @@ dependencies = [
|
|
|
296
312
|
|
|
297
313
|
[[package]]
|
|
298
314
|
name = "rug"
|
|
299
|
-
version = "1.
|
|
315
|
+
version = "1.27.0"
|
|
300
316
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
301
|
-
checksum = "
|
|
317
|
+
checksum = "4207e8d668e5b8eb574bda8322088ccd0d7782d3d03c7e8d562e82ed82bdcbc3"
|
|
302
318
|
dependencies = [
|
|
303
319
|
"az",
|
|
304
320
|
"gmp-mpfr-sys",
|
|
@@ -317,9 +333,9 @@ dependencies = [
|
|
|
317
333
|
|
|
318
334
|
[[package]]
|
|
319
335
|
name = "self_cell"
|
|
320
|
-
version = "1.0
|
|
336
|
+
version = "1.2.0"
|
|
321
337
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
322
|
-
checksum = "
|
|
338
|
+
checksum = "0f7d95a54511e0c7be3f51e8867aa8cf35148d7b9445d44de2f943e2b206e749"
|
|
323
339
|
|
|
324
340
|
[[package]]
|
|
325
341
|
name = "smallvec"
|
|
@@ -346,9 +362,9 @@ checksum = "a2eb9349b6444b326872e140eb1cf5e7c522154d69e7a0ffb0fb81c06b37543f"
|
|
|
346
362
|
|
|
347
363
|
[[package]]
|
|
348
364
|
name = "symbolica"
|
|
349
|
-
version = "0.
|
|
365
|
+
version = "0.18.0"
|
|
350
366
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
351
|
-
checksum = "
|
|
367
|
+
checksum = "69a17722769f6efc9e24d6b881a4e87ac03d8a42b844990fb9e43bf0d84d8e05"
|
|
352
368
|
dependencies = [
|
|
353
369
|
"ahash",
|
|
354
370
|
"append-only-vec",
|
|
@@ -438,22 +454,22 @@ source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
|
438
454
|
checksum = "9c8d87e72b64a3b4db28d11ce29237c246188f4f51057d65a7eab63b7987e423"
|
|
439
455
|
|
|
440
456
|
[[package]]
|
|
441
|
-
name = "
|
|
442
|
-
version = "0.
|
|
457
|
+
name = "wasi"
|
|
458
|
+
version = "0.14.2+wasi-0.2.4"
|
|
443
459
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
444
|
-
checksum = "
|
|
460
|
+
checksum = "9683f9a5a998d873c0d21fcbe3c083009670149a8fab228644b8bd36b2c48cb3"
|
|
445
461
|
dependencies = [
|
|
446
|
-
"
|
|
447
|
-
"safe_arch",
|
|
462
|
+
"wit-bindgen-rt",
|
|
448
463
|
]
|
|
449
464
|
|
|
450
465
|
[[package]]
|
|
451
|
-
name = "
|
|
452
|
-
version = "0.
|
|
466
|
+
name = "wide"
|
|
467
|
+
version = "0.7.28"
|
|
453
468
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
454
|
-
checksum = "
|
|
469
|
+
checksum = "b828f995bf1e9622031f8009f8481a85406ce1f4d4588ff746d872043e855690"
|
|
455
470
|
dependencies = [
|
|
456
|
-
"
|
|
471
|
+
"bytemuck",
|
|
472
|
+
"safe_arch",
|
|
457
473
|
]
|
|
458
474
|
|
|
459
475
|
[[package]]
|
|
@@ -462,22 +478,7 @@ version = "0.52.0"
|
|
|
462
478
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
463
479
|
checksum = "282be5f36a8ce781fad8c8ae18fa3f9beff57ec1b52cb3de0789201425d9a33d"
|
|
464
480
|
dependencies = [
|
|
465
|
-
"windows-targets
|
|
466
|
-
]
|
|
467
|
-
|
|
468
|
-
[[package]]
|
|
469
|
-
name = "windows-targets"
|
|
470
|
-
version = "0.48.5"
|
|
471
|
-
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
472
|
-
checksum = "9a2fa6e2155d7247be68c096456083145c183cbbbc2764150dda45a87197940c"
|
|
473
|
-
dependencies = [
|
|
474
|
-
"windows_aarch64_gnullvm 0.48.5",
|
|
475
|
-
"windows_aarch64_msvc 0.48.5",
|
|
476
|
-
"windows_i686_gnu 0.48.5",
|
|
477
|
-
"windows_i686_msvc 0.48.5",
|
|
478
|
-
"windows_x86_64_gnu 0.48.5",
|
|
479
|
-
"windows_x86_64_gnullvm 0.48.5",
|
|
480
|
-
"windows_x86_64_msvc 0.48.5",
|
|
481
|
+
"windows-targets",
|
|
481
482
|
]
|
|
482
483
|
|
|
483
484
|
[[package]]
|
|
@@ -486,46 +487,28 @@ version = "0.52.6"
|
|
|
486
487
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
487
488
|
checksum = "9b724f72796e036ab90c1021d4780d4d3d648aca59e491e6b98e725b84e99973"
|
|
488
489
|
dependencies = [
|
|
489
|
-
"windows_aarch64_gnullvm
|
|
490
|
-
"windows_aarch64_msvc
|
|
491
|
-
"windows_i686_gnu
|
|
490
|
+
"windows_aarch64_gnullvm",
|
|
491
|
+
"windows_aarch64_msvc",
|
|
492
|
+
"windows_i686_gnu",
|
|
492
493
|
"windows_i686_gnullvm",
|
|
493
|
-
"windows_i686_msvc
|
|
494
|
-
"windows_x86_64_gnu
|
|
495
|
-
"windows_x86_64_gnullvm
|
|
496
|
-
"windows_x86_64_msvc
|
|
494
|
+
"windows_i686_msvc",
|
|
495
|
+
"windows_x86_64_gnu",
|
|
496
|
+
"windows_x86_64_gnullvm",
|
|
497
|
+
"windows_x86_64_msvc",
|
|
497
498
|
]
|
|
498
499
|
|
|
499
|
-
[[package]]
|
|
500
|
-
name = "windows_aarch64_gnullvm"
|
|
501
|
-
version = "0.48.5"
|
|
502
|
-
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
503
|
-
checksum = "2b38e32f0abccf9987a4e3079dfb67dcd799fb61361e53e2882c3cbaf0d905d8"
|
|
504
|
-
|
|
505
500
|
[[package]]
|
|
506
501
|
name = "windows_aarch64_gnullvm"
|
|
507
502
|
version = "0.52.6"
|
|
508
503
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
509
504
|
checksum = "32a4622180e7a0ec044bb555404c800bc9fd9ec262ec147edd5989ccd0c02cd3"
|
|
510
505
|
|
|
511
|
-
[[package]]
|
|
512
|
-
name = "windows_aarch64_msvc"
|
|
513
|
-
version = "0.48.5"
|
|
514
|
-
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
515
|
-
checksum = "dc35310971f3b2dbbf3f0690a219f40e2d9afcf64f9ab7cc1be722937c26b4bc"
|
|
516
|
-
|
|
517
506
|
[[package]]
|
|
518
507
|
name = "windows_aarch64_msvc"
|
|
519
508
|
version = "0.52.6"
|
|
520
509
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
521
510
|
checksum = "09ec2a7bb152e2252b53fa7803150007879548bc709c039df7627cabbd05d469"
|
|
522
511
|
|
|
523
|
-
[[package]]
|
|
524
|
-
name = "windows_i686_gnu"
|
|
525
|
-
version = "0.48.5"
|
|
526
|
-
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
527
|
-
checksum = "a75915e7def60c94dcef72200b9a8e58e5091744960da64ec734a6c6e9b3743e"
|
|
528
|
-
|
|
529
512
|
[[package]]
|
|
530
513
|
name = "windows_i686_gnu"
|
|
531
514
|
version = "0.52.6"
|
|
@@ -538,36 +521,18 @@ version = "0.52.6"
|
|
|
538
521
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
539
522
|
checksum = "0eee52d38c090b3caa76c563b86c3a4bd71ef1a819287c19d586d7334ae8ed66"
|
|
540
523
|
|
|
541
|
-
[[package]]
|
|
542
|
-
name = "windows_i686_msvc"
|
|
543
|
-
version = "0.48.5"
|
|
544
|
-
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
545
|
-
checksum = "8f55c233f70c4b27f66c523580f78f1004e8b5a8b659e05a4eb49d4166cca406"
|
|
546
|
-
|
|
547
524
|
[[package]]
|
|
548
525
|
name = "windows_i686_msvc"
|
|
549
526
|
version = "0.52.6"
|
|
550
527
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
551
528
|
checksum = "240948bc05c5e7c6dabba28bf89d89ffce3e303022809e73deaefe4f6ec56c66"
|
|
552
529
|
|
|
553
|
-
[[package]]
|
|
554
|
-
name = "windows_x86_64_gnu"
|
|
555
|
-
version = "0.48.5"
|
|
556
|
-
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
557
|
-
checksum = "53d40abd2583d23e4718fddf1ebec84dbff8381c07cae67ff7768bbf19c6718e"
|
|
558
|
-
|
|
559
530
|
[[package]]
|
|
560
531
|
name = "windows_x86_64_gnu"
|
|
561
532
|
version = "0.52.6"
|
|
562
533
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
563
534
|
checksum = "147a5c80aabfbf0c7d901cb5895d1de30ef2907eb21fbbab29ca94c5b08b1a78"
|
|
564
535
|
|
|
565
|
-
[[package]]
|
|
566
|
-
name = "windows_x86_64_gnullvm"
|
|
567
|
-
version = "0.48.5"
|
|
568
|
-
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
569
|
-
checksum = "0b7b52767868a23d5bab768e390dc5f5c55825b6d30b86c844ff2dc7414044cc"
|
|
570
|
-
|
|
571
536
|
[[package]]
|
|
572
537
|
name = "windows_x86_64_gnullvm"
|
|
573
538
|
version = "0.52.6"
|
|
@@ -576,15 +541,18 @@ checksum = "24d5b23dc417412679681396f2b49f3de8c1473deb516bd34410872eff51ed0d"
|
|
|
576
541
|
|
|
577
542
|
[[package]]
|
|
578
543
|
name = "windows_x86_64_msvc"
|
|
579
|
-
version = "0.
|
|
544
|
+
version = "0.52.6"
|
|
580
545
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
581
|
-
checksum = "
|
|
546
|
+
checksum = "589f6da84c646204747d1270a2a5661ea66ed1cced2631d546fdfb155959f9ec"
|
|
582
547
|
|
|
583
548
|
[[package]]
|
|
584
|
-
name = "
|
|
585
|
-
version = "0.
|
|
549
|
+
name = "wit-bindgen-rt"
|
|
550
|
+
version = "0.39.0"
|
|
586
551
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
587
|
-
checksum = "
|
|
552
|
+
checksum = "6f42320e61fe2cfd34354ecb597f86f413484a798ba44a8ca1165c58d42da6c1"
|
|
553
|
+
dependencies = [
|
|
554
|
+
"bitflags",
|
|
555
|
+
]
|
|
588
556
|
|
|
589
557
|
[[package]]
|
|
590
558
|
name = "zerocopy"
|
|
@@ -74,14 +74,14 @@ fn main() {
|
|
|
74
74
|
)
|
|
75
75
|
.unwrap();
|
|
76
76
|
if !monomial_factor.is_one() {
|
|
77
|
-
write!(&mut output, ",{}"
|
|
77
|
+
write!(&mut output, ",{monomial_factor}").unwrap();
|
|
78
78
|
}
|
|
79
79
|
for (f, p) in factors {
|
|
80
80
|
if f.nterms() != 1 {
|
|
81
81
|
if p == 1 {
|
|
82
|
-
write!(&mut output, ",{}"
|
|
82
|
+
write!(&mut output, ",{f}").unwrap();
|
|
83
83
|
} else {
|
|
84
|
-
write!(&mut output, ",({})^{}"
|
|
84
|
+
write!(&mut output, ",({f})^{p}").unwrap();
|
|
85
85
|
}
|
|
86
86
|
}
|
|
87
87
|
}
|
|
@@ -93,7 +93,5 @@ fn main() {
|
|
|
93
93
|
}
|
|
94
94
|
|
|
95
95
|
fn get_poly(expr: &str, var_map: &Arc<Vec<Variable>>) -> MultivariatePolynomial<Z, u8> {
|
|
96
|
-
parse!(expr)
|
|
97
|
-
.unwrap()
|
|
98
|
-
.to_polynomial(&Z, Some(var_map.clone()))
|
|
96
|
+
parse!(expr).to_polynomial(&Z, Some(var_map.clone()))
|
|
99
97
|
}
|
|
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
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
{polybench-0.3.2 → polybench-0.3.4}/polybench/solvers/rings/gradle/wrapper/gradle-wrapper.jar
RENAMED
|
File without changes
|
{polybench-0.3.2 → polybench-0.3.4}/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
|