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.
Files changed (41) hide show
  1. {polybench-0.3.2 → polybench-0.3.4}/PKG-INFO +5 -3
  2. {polybench-0.3.2 → polybench-0.3.4}/README.md +1 -1
  3. {polybench-0.3.2 → polybench-0.3.4}/polybench/solvers/rings/build.gradle +4 -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
  5. {polybench-0.3.2 → polybench-0.3.4}/polybench/solvers/symbolica/Cargo.lock +75 -107
  6. {polybench-0.3.2 → polybench-0.3.4}/polybench/solvers/symbolica/Cargo.toml +1 -1
  7. {polybench-0.3.2 → polybench-0.3.4}/polybench/solvers/symbolica/src/main.rs +4 -6
  8. {polybench-0.3.2 → polybench-0.3.4}/pyproject.toml +1 -1
  9. {polybench-0.3.2 → polybench-0.3.4}/LICENSE +0 -0
  10. {polybench-0.3.2 → polybench-0.3.4}/polybench/__init__.py +0 -0
  11. {polybench-0.3.2 → polybench-0.3.4}/polybench/__main__.py +0 -0
  12. {polybench-0.3.2 → polybench-0.3.4}/polybench/main.py +0 -0
  13. {polybench-0.3.2 → polybench-0.3.4}/polybench/plot.py +0 -0
  14. {polybench-0.3.2 → polybench-0.3.4}/polybench/poly.py +0 -0
  15. {polybench-0.3.2 → polybench-0.3.4}/polybench/prob.py +0 -0
  16. {polybench-0.3.2 → polybench-0.3.4}/polybench/py.typed +0 -0
  17. {polybench-0.3.2 → polybench-0.3.4}/polybench/solver.py +0 -0
  18. {polybench-0.3.2 → polybench-0.3.4}/polybench/solvers/__init__.py +0 -0
  19. {polybench-0.3.2 → polybench-0.3.4}/polybench/solvers/fer.py +0 -0
  20. {polybench-0.3.2 → polybench-0.3.4}/polybench/solvers/flint/CMakeLists.txt +0 -0
  21. {polybench-0.3.2 → polybench-0.3.4}/polybench/solvers/flint/cmake/init-vcpkg.cmake +0 -0
  22. {polybench-0.3.2 → polybench-0.3.4}/polybench/solvers/flint/main.c +0 -0
  23. {polybench-0.3.2 → polybench-0.3.4}/polybench/solvers/flint/vcpkg.json +0 -0
  24. {polybench-0.3.2 → polybench-0.3.4}/polybench/solvers/flint/version.h.in +0 -0
  25. {polybench-0.3.2 → polybench-0.3.4}/polybench/solvers/flint.py +0 -0
  26. {polybench-0.3.2 → polybench-0.3.4}/polybench/solvers/form.py +0 -0
  27. {polybench-0.3.2 → polybench-0.3.4}/polybench/solvers/mma.py +0 -0
  28. {polybench-0.3.2 → polybench-0.3.4}/polybench/solvers/reform/Cargo.lock +0 -0
  29. {polybench-0.3.2 → polybench-0.3.4}/polybench/solvers/reform/Cargo.toml +0 -0
  30. {polybench-0.3.2 → polybench-0.3.4}/polybench/solvers/reform/src/main.rs +0 -0
  31. {polybench-0.3.2 → polybench-0.3.4}/polybench/solvers/reform.py +0 -0
  32. {polybench-0.3.2 → polybench-0.3.4}/polybench/solvers/rings/config/greclipse.properties +0 -0
  33. {polybench-0.3.2 → polybench-0.3.4}/polybench/solvers/rings/gradle/wrapper/gradle-wrapper.jar +0 -0
  34. {polybench-0.3.2 → polybench-0.3.4}/polybench/solvers/rings/gradle/wrapper/gradle-wrapper.properties +0 -0
  35. {polybench-0.3.2 → polybench-0.3.4}/polybench/solvers/rings/gradlew +0 -0
  36. {polybench-0.3.2 → polybench-0.3.4}/polybench/solvers/rings/gradlew.bat +0 -0
  37. {polybench-0.3.2 → polybench-0.3.4}/polybench/solvers/rings.py +0 -0
  38. {polybench-0.3.2 → polybench-0.3.4}/polybench/solvers/singular.py +0 -0
  39. {polybench-0.3.2 → polybench-0.3.4}/polybench/solvers/symbolica.py +0 -0
  40. {polybench-0.3.2 → polybench-0.3.4}/polybench/util.py +0 -0
  41. {polybench-0.3.2 → polybench-0.3.4}/polybench/version.py +0 -0
@@ -1,8 +1,9 @@
1
- Metadata-Version: 2.3
1
+ Metadata-Version: 2.4
2
2
  Name: polybench
3
- Version: 0.3.2
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.73),
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.73),
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.0.4'
4
- id 'com.github.ben-manes.versions' version '0.52.0'
5
- id 'ru.vyarus.quality' version '5.0.0'
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.25.0',
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 + "," + factors.unit);
64
+ result.append((t2 - t1) / 1.0e9).append(',').append(factors.unit);
65
65
  for (int i = 0; i < factors.size(); i++) {
66
- result.append(",(" + factors.get(i).toString(variables) + ")^" + factors.getExponent(i));
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 = "5.0.0"
59
+ version = "8.0.1"
54
60
  source = "registry+https://github.com/rust-lang/crates.io-index"
55
- checksum = "19483b140a7ac7174d34b5a581b406c64f84da5409d3e09cf4fff604f9270e67"
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 = "4.0.1"
70
+ version = "5.0.0"
65
71
  source = "registry+https://github.com/rust-lang/crates.io-index"
66
- checksum = "9a45bd2e4095a8b518033b128020dd4a55aab1c0a381ba4404a472630f4bc362"
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 = "2.1.0"
104
+ version = "3.0.0"
99
105
  source = "registry+https://github.com/rust-lang/crates.io-index"
100
- checksum = "cbf2150cce219b664a8a70df7a1f933836724b503f8a413af9365b4dcc4d90b8"
106
+ checksum = "fde0e0ec90c9dfb3b4b1a0891a7dcd0e2bffde2f7efed5fe7c9bb00e5bfb915e"
101
107
  dependencies = [
102
- "lazy_static",
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 = "gmp-mpfr-sys"
156
- version = "1.6.4"
160
+ name = "getrandom"
161
+ version = "0.3.3"
157
162
  source = "registry+https://github.com/rust-lang/crates.io-index"
158
- checksum = "b0205cd82059bc63b63cf516d714352a30c44f2c74da9961dfda2617ae6b5918"
163
+ checksum = "26145e563e54f2cadc477553f1ec5ee650b00862f0a58bcd12cbdc5f0ea2d2f4"
159
164
  dependencies = [
165
+ "cfg-if",
160
166
  "libc",
161
- "windows-sys 0.52.0",
167
+ "r-efi",
168
+ "wasi 0.14.2+wasi-0.2.4",
162
169
  ]
163
170
 
164
171
  [[package]]
165
- name = "lazy_static"
166
- version = "1.5.0"
172
+ name = "gmp-mpfr-sys"
173
+ version = "1.6.4"
167
174
  source = "registry+https://github.com/rust-lang/crates.io-index"
168
- checksum = "bbd2bcb4c963f2ddae06a2efc7e9f3591312473c50c6685e1f298068316e66fe"
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 0.52.6",
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.8.5"
257
+ version = "0.9.2"
241
258
  source = "registry+https://github.com/rust-lang/crates.io-index"
242
- checksum = "34af8d1a0e25924bc5b7c43c079c942339d8f0a8b57c39049bef581b46327404"
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.3.1"
267
+ version = "0.9.0"
252
268
  source = "registry+https://github.com/rust-lang/crates.io-index"
253
- checksum = "e6c10a63a0fa32252be49d21e7709d4d4baf8d231c2dbce1eaa8141b9b127d88"
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.6.4"
277
+ version = "0.9.3"
262
278
  source = "registry+https://github.com/rust-lang/crates.io-index"
263
- checksum = "ec0be4795e2f6a28069bec0b5ff3e2ac9bafc99e6a9a7dc3547996c5c816922c"
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.6.0"
286
+ version = "0.7.0"
271
287
  source = "registry+https://github.com/rust-lang/crates.io-index"
272
- checksum = "6f97cdb2a36ed4183de61b2f824cc45c9f1037f28afe0a322e9fff4c108b5aaa"
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.25.0"
315
+ version = "1.27.0"
300
316
  source = "registry+https://github.com/rust-lang/crates.io-index"
301
- checksum = "01d157703b9f96e9be75c739e7030d1d81be377d882d93046670309381517772"
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.4"
336
+ version = "1.2.0"
321
337
  source = "registry+https://github.com/rust-lang/crates.io-index"
322
- checksum = "d369a96f978623eb3dc28807c4852d6cc617fed53da5d3c400feff1ef34a714a"
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.16.0"
365
+ version = "0.18.0"
350
366
  source = "registry+https://github.com/rust-lang/crates.io-index"
351
- checksum = "cd604b65465f118ac20bc2edef1b45f15f28e978b72e89050101dc524432e501"
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 = "wide"
442
- version = "0.7.28"
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 = "b828f995bf1e9622031f8009f8481a85406ce1f4d4588ff746d872043e855690"
460
+ checksum = "9683f9a5a998d873c0d21fcbe3c083009670149a8fab228644b8bd36b2c48cb3"
445
461
  dependencies = [
446
- "bytemuck",
447
- "safe_arch",
462
+ "wit-bindgen-rt",
448
463
  ]
449
464
 
450
465
  [[package]]
451
- name = "windows-sys"
452
- version = "0.48.0"
466
+ name = "wide"
467
+ version = "0.7.28"
453
468
  source = "registry+https://github.com/rust-lang/crates.io-index"
454
- checksum = "677d2418bec65e3338edb076e806bc1ec15693c5d0104683f2efe857f61056a9"
469
+ checksum = "b828f995bf1e9622031f8009f8481a85406ce1f4d4588ff746d872043e855690"
455
470
  dependencies = [
456
- "windows-targets 0.48.5",
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 0.52.6",
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 0.52.6",
490
- "windows_aarch64_msvc 0.52.6",
491
- "windows_i686_gnu 0.52.6",
490
+ "windows_aarch64_gnullvm",
491
+ "windows_aarch64_msvc",
492
+ "windows_i686_gnu",
492
493
  "windows_i686_gnullvm",
493
- "windows_i686_msvc 0.52.6",
494
- "windows_x86_64_gnu 0.52.6",
495
- "windows_x86_64_gnullvm 0.52.6",
496
- "windows_x86_64_msvc 0.52.6",
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.48.5"
544
+ version = "0.52.6"
580
545
  source = "registry+https://github.com/rust-lang/crates.io-index"
581
- checksum = "ed94fce61571a4006852b7389a063ab983c02eb1bb37b47f8272ce92d06d9538"
546
+ checksum = "589f6da84c646204747d1270a2a5661ea66ed1cced2631d546fdfb155959f9ec"
582
547
 
583
548
  [[package]]
584
- name = "windows_x86_64_msvc"
585
- version = "0.52.6"
549
+ name = "wit-bindgen-rt"
550
+ version = "0.39.0"
586
551
  source = "registry+https://github.com/rust-lang/crates.io-index"
587
- checksum = "589f6da84c646204747d1270a2a5661ea66ed1cced2631d546fdfb155959f9ec"
552
+ checksum = "6f42320e61fe2cfd34354ecb597f86f413484a798ba44a8ca1165c58d42da6c1"
553
+ dependencies = [
554
+ "bitflags",
555
+ ]
588
556
 
589
557
  [[package]]
590
558
  name = "zerocopy"
@@ -5,4 +5,4 @@ authors = ["Takahiro Ueda <t.ueda.od@juntendo.ac.jp>"]
5
5
  edition = "2021"
6
6
 
7
7
  [dependencies]
8
- symbolica = "0.16.0"
8
+ symbolica = "0.18.0"
@@ -74,14 +74,14 @@ fn main() {
74
74
  )
75
75
  .unwrap();
76
76
  if !monomial_factor.is_one() {
77
- write!(&mut output, ",{}", monomial_factor).unwrap();
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, ",{}", f).unwrap();
82
+ write!(&mut output, ",{f}").unwrap();
83
83
  } else {
84
- write!(&mut output, ",({})^{}", f, p).unwrap();
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
  }
@@ -1,6 +1,6 @@
1
1
  [tool.poetry]
2
2
  name = "polybench"
3
- version = "0.3.2"
3
+ version = "0.3.4"
4
4
  description = "Multivariate polynomial arithmetic benchmark tests."
5
5
  license = "MIT"
6
6
  authors = ["Takahiro Ueda <t.ueda.od@juntendo.ac.jp>"]
File without changes
File without changes
File without changes
File without changes
File without changes
File without changes
File without changes
File without changes