polybench 0.3.1__tar.gz → 0.3.3__tar.gz

{polybench-0.3.1 → polybench-0.3.3}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.3
 Name: polybench
-Version: 0.3.1
+Version: 0.3.3
 Summary: Multivariate polynomial arithmetic benchmark tests.
 License: MIT
 Keywords: benchmark,mathematics,multivariate-polynomials
@@ -22,7 +22,7 @@ Classifier: Programming Language :: Python :: 3.13
 Classifier: Topic :: Scientific/Engineering :: Mathematics
 Classifier: Topic :: System :: Benchmark
 Requires-Dist: colorama (>=0.4.5,<0.5.0)
-Requires-Dist: colorlog (>=6.8.2,<7.0.0)
+Requires-Dist: colorlog (>=6.9.0,<7.0.0)
 Requires-Dist: importlib-metadata (>=4.8.3,<5.0.0)
 Requires-Dist: importlib-resources (>=5.4.0,<6.0.0)
 Requires-Dist: kiwisolver (>=1.3.1,<1.4.0) ; python_full_version >= "3.6.1" and python_full_version < "3.7.0"
@@ -37,7 +37,7 @@ Requires-Dist: pandas (>=1.1.5,<1.2.0) ; python_full_version >= "3.6.1" and pyth
 Requires-Dist: pandas (>=1.3.5,<1.4.0) ; python_full_version >= "3.7.1" and python_version < "3.11"
 Requires-Dist: pandas (>=2.2.2,<3.0.0) ; python_version >= "3.11" and python_version < "3.14"
 Requires-Dist: pretty-errors (>=1.2.25,<2.0.0)
-Requires-Dist: psutil (>=6.0.0,<7.0.0)
+Requires-Dist: psutil (>=7.0.0,<8.0.0)
 Requires-Dist: py-cpuinfo (>=9.0.0,<10.0.0)
 Requires-Dist: symengine (>=0.10.0,<0.11.0) ; python_version == "3.7"
 Requires-Dist: symengine (>=0.13.0,<0.14.0) ; python_version >= "3.8" and python_version < "3.14"
@@ -50,7 +50,7 @@ Description-Content-Type: text/markdown
 polybench
 =========
 
-[![Test](https://github.com/tueda/polybench/actions/workflows/test.yml/badge.svg?branch=master)](https://github.com/tueda/polybench/actions?query=branch:master)
+[![Test](https://github.com/tueda/polybench/actions/workflows/test.yml/badge.svg?branch=main)](https://github.com/tueda/polybench/actions?query=branch:main)
 [![PyPI version](https://badge.fury.io/py/polybench.svg)](https://pypi.org/project/polybench/)
 
 Multivariate polynomial arithmetic benchmark tests.
@@ -74,7 +74,8 @@ They are (in alphabetical order):
 
 - [Fermat](https://home.bway.net/lewis/)
 - [FLINT](https://flintlib.org/): automatically downloaded via [vcpkg](https://vcpkg.io/)
-  (requires [CMake](https://cmake.org/) >= 3.15, a C compiler and the Make utility).
+  (requires [CMake](https://cmake.org/) >= 3.15, a C compiler and the Make utility;
+  see also [vcpkg dependencies](https://learn.microsoft.com/en-us/vcpkg/concepts/supported-hosts#dependencies)).
 - [FORM](https://www.nikhef.nl/~form/):
   if not available in the system, then
   a [release binary](https://github.com/vermaseren/form/releases)
@@ -90,7 +91,7 @@ They are (in alphabetical order):
 - [Singular](https://www.singular.uni-kl.de/)
 - [Symbolica](https://symbolica.io/):
   automatically downloaded
-  (requires [Rust](https://www.rust-lang.org/) >= 1.73),
+  (requires [Rust](https://www.rust-lang.org/) >= 1.85),
   running in [restricted mode](https://symbolica.io/docs/get_started.html#license).
 
 
@@ -206,5 +207,5 @@ cd path/to/project
 License
 -------
 
-[MIT](https://github.com/tueda/polybench/blob/master/LICENSE)
+[MIT](https://github.com/tueda/polybench/blob/main/LICENSE)
 

{polybench-0.3.1 → polybench-0.3.3}/README.md

@@ -1,7 +1,7 @@
 polybench
 =========
 
-[![Test](https://github.com/tueda/polybench/actions/workflows/test.yml/badge.svg?branch=master)](https://github.com/tueda/polybench/actions?query=branch:master)
+[![Test](https://github.com/tueda/polybench/actions/workflows/test.yml/badge.svg?branch=main)](https://github.com/tueda/polybench/actions?query=branch:main)
 [![PyPI version](https://badge.fury.io/py/polybench.svg)](https://pypi.org/project/polybench/)
 
 Multivariate polynomial arithmetic benchmark tests.
@@ -25,7 +25,8 @@ They are (in alphabetical order):
 
 - [Fermat](https://home.bway.net/lewis/)
 - [FLINT](https://flintlib.org/): automatically downloaded via [vcpkg](https://vcpkg.io/)
-  (requires [CMake](https://cmake.org/) >= 3.15, a C compiler and the Make utility).
+  (requires [CMake](https://cmake.org/) >= 3.15, a C compiler and the Make utility;
+  see also [vcpkg dependencies](https://learn.microsoft.com/en-us/vcpkg/concepts/supported-hosts#dependencies)).
 - [FORM](https://www.nikhef.nl/~form/):
   if not available in the system, then
   a [release binary](https://github.com/vermaseren/form/releases)
@@ -41,7 +42,7 @@ They are (in alphabetical order):
 - [Singular](https://www.singular.uni-kl.de/)
 - [Symbolica](https://symbolica.io/):
   automatically downloaded
-  (requires [Rust](https://www.rust-lang.org/) >= 1.73),
+  (requires [Rust](https://www.rust-lang.org/) >= 1.85),
   running in [restricted mode](https://symbolica.io/docs/get_started.html#license).
 
 
@@ -157,4 +158,4 @@ cd path/to/project
 License
 -------
 
-[MIT](https://github.com/tueda/polybench/blob/master/LICENSE)
+[MIT](https://github.com/tueda/polybench/blob/main/LICENSE)

{polybench-0.3.1 → polybench-0.3.3}/polybench/solvers/flint/vcpkg.json

@@ -2,7 +2,7 @@
   "$schema": "https://raw.githubusercontent.com/microsoft/vcpkg-tool/main/docs/vcpkg.schema.json",
   "name": "polybench-flint",
   "version-string": "0.1.0",
-  "builtin-baseline": "f7423ee180c4b7f40d43402c2feb3859161ef625",
+  "builtin-baseline": "ce613c41372b23b1f51333815feb3edd87ef8a8b",
   "dependencies": [
     {
       "name": "flint",

{polybench-0.3.1 → polybench-0.3.3}/polybench/solvers/rings/build.gradle

@@ -1,12 +1,12 @@
 plugins {
   id 'application'
-  id 'com.diffplug.spotless' version '7.0.2'
+  id 'com.diffplug.spotless' version '7.2.1'
   id 'com.github.ben-manes.versions' version '0.52.0'
-  id 'ru.vyarus.quality' version '4.4.0'
+  id 'ru.vyarus.quality' version '5.0.0'
 }
 
 def versions = [
-  checkstyle: '10.21.2',
+  checkstyle: '10.26.1',
   rings: '2.5.8',
 ]
 

{polybench-0.3.1 → polybench-0.3.3}/polybench/solvers/rings/src/main/java/com/github/tueda/polybench/rings/App.java

@@ -21,31 +21,24 @@ public class App {
     final Path inputFile = Paths.get(args[1]);
     final Path outputFile = Paths.get(args[2]);
 
-    final BufferedReader in = Files.newBufferedReader(inputFile);
-    try {
-      final PrintWriter out = new PrintWriter(Files.newBufferedWriter(outputFile));
-      try {
-        while (true) {
-          final String line = in.readLine();
-          if (line == null) {
-            break;
-          }
-          String answer;
-          if (line.startsWith("gcd")) {
-            answer = doGcd(line, variables);
-          } else if (line.startsWith("factor")) {
-            answer = doFactor(line, variables);
-          } else {
-            String problemType = line.length() > 8 ? line.substring(0, 8) + "..." : line;
-            throw new IllegalArgumentException("unknown problem type: " + problemType);
-          }
-          out.println(answer);
+    try (BufferedReader in = Files.newBufferedReader(inputFile);
+        PrintWriter out = new PrintWriter(Files.newBufferedWriter(outputFile))) {
+      while (true) {
+        final String line = in.readLine();
+        if (line == null) {
+          break;
         }
-      } finally {
-        out.close();
+        String answer;
+        if (line.startsWith("gcd")) {
+          answer = doGcd(line, variables);
+        } else if (line.startsWith("factor")) {
+          answer = doFactor(line, variables);
+        } else {
+          String problemType = line.length() > 8 ? line.substring(0, 8) + "..." : line;
+          throw new IllegalArgumentException("unknown problem type: " + problemType);
+        }
+        out.println(answer);
       }
-    } finally {
-      in.close();
     }
   }
 

{polybench-0.3.1 → polybench-0.3.3}/polybench/solvers/symbolica/Cargo.lock

@@ -1,6 +1,6 @@
 # This file is automatically @generated by Cargo.
 # It is not intended for manual editing.
-version = 3
+version = 4
 
 [[package]]
 name = "ahash"
@@ -9,7 +9,7 @@ source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "e89da841a80418a9b391ebaea17f5c112ffaaa96f621d2c285b5174da76b9011"
 dependencies = [
  "cfg-if",
- "getrandom",
+ "getrandom 0.2.15",
  "once_cell",
  "version_check",
  "zerocopy",
@@ -48,11 +48,17 @@ version = "1.2.1"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "7b7e4c2464d97fe331d41de9d5db0def0a96f4d823b8b32a2efd503578988973"
 
+[[package]]
+name = "bitflags"
+version = "2.9.1"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "1b8e56985ec62d17e9c1001dc89c88ecd7dc08e47eba5ec7c29c7b5eeecde967"
+
 [[package]]
 name = "brotli"
-version = "5.0.0"
+version = "8.0.1"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "19483b140a7ac7174d34b5a581b406c64f84da5409d3e09cf4fff604f9270e67"
+checksum = "9991eea70ea4f293524138648e41ee89b0b2b12ddef3b255effa43c8056e0e0d"
 dependencies = [
  "alloc-no-stdlib",
  "alloc-stdlib",
@@ -61,9 +67,9 @@ dependencies = [
 
 [[package]]
 name = "brotli-decompressor"
-version = "4.0.1"
+version = "5.0.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "9a45bd2e4095a8b518033b128020dd4a55aab1c0a381ba4404a472630f4bc362"
+checksum = "874bb8112abecc98cbd6d81ea4fa7e94fb9449648c93cc89aa40c81c24d7de03"
 dependencies = [
  "alloc-no-stdlib",
  "alloc-stdlib",
@@ -95,12 +101,11 @@ checksum = "baf1de4339761588bc0619e3cbc0120ee582ebb74b53b4efbf79117bd2da40fd"
 
 [[package]]
 name = "colored"
-version = "2.1.0"
+version = "3.0.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "cbf2150cce219b664a8a70df7a1f933836724b503f8a413af9365b4dcc4d90b8"
+checksum = "fde0e0ec90c9dfb3b4b1a0891a7dcd0e2bffde2f7efed5fe7c9bb00e5bfb915e"
 dependencies = [
- "lazy_static",
- "windows-sys 0.48.0",
+ "windows-sys",
 ]
 
 [[package]]
@@ -148,24 +153,30 @@ checksum = "c4567c8db10ae91089c99af84c68c38da3ec2f087c3f82960bcdbf3656b6f4d7"
 dependencies = [
  "cfg-if",
  "libc",
- "wasi",
+ "wasi 0.11.0+wasi-snapshot-preview1",
 ]
 
 [[package]]
-name = "gmp-mpfr-sys"
-version = "1.6.4"
+name = "getrandom"
+version = "0.3.3"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "b0205cd82059bc63b63cf516d714352a30c44f2c74da9961dfda2617ae6b5918"
+checksum = "26145e563e54f2cadc477553f1ec5ee650b00862f0a58bcd12cbdc5f0ea2d2f4"
 dependencies = [
+ "cfg-if",
  "libc",
- "windows-sys 0.52.0",
+ "r-efi",
+ "wasi 0.14.2+wasi-0.2.4",
 ]
 
 [[package]]
-name = "lazy_static"
-version = "1.5.0"
+name = "gmp-mpfr-sys"
+version = "1.6.4"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "bbd2bcb4c963f2ddae06a2efc7e9f3591312473c50c6685e1f298068316e66fe"
+checksum = "b0205cd82059bc63b63cf516d714352a30c44f2c74da9961dfda2617ae6b5918"
+dependencies = [
+ "libc",
+ "windows-sys",
+]
 
 [[package]]
 name = "libc"
@@ -180,7 +191,7 @@ source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "4979f22fdb869068da03c9f7528f8297c6fd2606bc3a4affe42e6a823fdb8da4"
 dependencies = [
  "cfg-if",
- "windows-targets 0.52.6",
+ "windows-targets",
 ]
 
 [[package]]
@@ -235,22 +246,27 @@ dependencies = [
  "proc-macro2",
 ]
 
+[[package]]
+name = "r-efi"
+version = "5.3.0"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "69cdb34c158ceb288df11e18b4bd39de994f6657d83847bdffdbd7f346754b0f"
+
 [[package]]
 name = "rand"
-version = "0.8.5"
+version = "0.9.2"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "34af8d1a0e25924bc5b7c43c079c942339d8f0a8b57c39049bef581b46327404"
+checksum = "6db2770f06117d490610c7488547d543617b21bfa07796d7a12f6f1bd53850d1"
 dependencies = [
- "libc",
  "rand_chacha",
  "rand_core",
 ]
 
 [[package]]
 name = "rand_chacha"
-version = "0.3.1"
+version = "0.9.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "e6c10a63a0fa32252be49d21e7709d4d4baf8d231c2dbce1eaa8141b9b127d88"
+checksum = "d3022b5f1df60f26e1ffddd6c66e8aa15de382ae63b3a0c1bfc0e4d3e3f325cb"
 dependencies = [
  "ppv-lite86",
  "rand_core",
@@ -258,18 +274,18 @@ dependencies = [
 
 [[package]]
 name = "rand_core"
-version = "0.6.4"
+version = "0.9.3"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "ec0be4795e2f6a28069bec0b5ff3e2ac9bafc99e6a9a7dc3547996c5c816922c"
+checksum = "99d9a13982dcf210057a8a78572b2217b667c3beacbf3a0d8b454f6f82837d38"
 dependencies = [
- "getrandom",
+ "getrandom 0.3.3",
 ]
 
 [[package]]
 name = "rand_xoshiro"
-version = "0.6.0"
+version = "0.7.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "6f97cdb2a36ed4183de61b2f824cc45c9f1037f28afe0a322e9fff4c108b5aaa"
+checksum = "f703f4665700daf5512dcca5f43afa6af89f09db47fb56be587f80636bda2d41"
 dependencies = [
  "rand_core",
 ]
@@ -296,9 +312,9 @@ dependencies = [
 
 [[package]]
 name = "rug"
-version = "1.25.0"
+version = "1.27.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "01d157703b9f96e9be75c739e7030d1d81be377d882d93046670309381517772"
+checksum = "4207e8d668e5b8eb574bda8322088ccd0d7782d3d03c7e8d562e82ed82bdcbc3"
 dependencies = [
  "az",
  "gmp-mpfr-sys",
@@ -321,26 +337,6 @@ version = "1.0.4"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "d369a96f978623eb3dc28807c4852d6cc617fed53da5d3c400feff1ef34a714a"
 
-[[package]]
-name = "serde"
-version = "1.0.208"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "cff085d2cb684faa248efb494c39b68e522822ac0de72ccf08109abde717cfb2"
-dependencies = [
- "serde_derive",
-]
-
-[[package]]
-name = "serde_derive"
-version = "1.0.208"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "24008e81ff7613ed8e5ba0cfaf24e2c2f1e5b8a0495711e44fcd4882fca62bcf"
-dependencies = [
- "proc-macro2",
- "quote",
- "syn",
-]
-
 [[package]]
 name = "smallvec"
 version = "1.13.2"
@@ -366,9 +362,9 @@ checksum = "a2eb9349b6444b326872e140eb1cf5e7c522154d69e7a0ffb0fb81c06b37543f"
 
 [[package]]
 name = "symbolica"
-version = "0.15.1"
+version = "0.17.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "ef24412afb257fe810c4084213deba06349d8c581aec63c876c84c3b2b3c4497"
+checksum = "bda144440566e5fd07e45ab88ff77723e49f5a840dfcb4c346b4446db6a95600"
 dependencies = [
  "ahash",
  "append-only-vec",
@@ -384,7 +380,6 @@ dependencies = [
  "rayon",
  "rug",
  "self_cell",
- "serde",
  "smallvec",
  "smartstring",
  "tinyjson",
@@ -459,22 +454,22 @@ source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "9c8d87e72b64a3b4db28d11ce29237c246188f4f51057d65a7eab63b7987e423"
 
 [[package]]
-name = "wide"
-version = "0.7.28"
+name = "wasi"
+version = "0.14.2+wasi-0.2.4"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "b828f995bf1e9622031f8009f8481a85406ce1f4d4588ff746d872043e855690"
+checksum = "9683f9a5a998d873c0d21fcbe3c083009670149a8fab228644b8bd36b2c48cb3"
 dependencies = [
- "bytemuck",
- "safe_arch",
+ "wit-bindgen-rt",
 ]
 
 [[package]]
-name = "windows-sys"
-version = "0.48.0"
+name = "wide"
+version = "0.7.28"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "677d2418bec65e3338edb076e806bc1ec15693c5d0104683f2efe857f61056a9"
+checksum = "b828f995bf1e9622031f8009f8481a85406ce1f4d4588ff746d872043e855690"
 dependencies = [
- "windows-targets 0.48.5",
+ "bytemuck",
+ "safe_arch",
 ]
 
 [[package]]
@@ -483,22 +478,7 @@ version = "0.52.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "282be5f36a8ce781fad8c8ae18fa3f9beff57ec1b52cb3de0789201425d9a33d"
 dependencies = [
- "windows-targets 0.52.6",
-]
-
-[[package]]
-name = "windows-targets"
-version = "0.48.5"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "9a2fa6e2155d7247be68c096456083145c183cbbbc2764150dda45a87197940c"
-dependencies = [
- "windows_aarch64_gnullvm 0.48.5",
- "windows_aarch64_msvc 0.48.5",
- "windows_i686_gnu 0.48.5",
- "windows_i686_msvc 0.48.5",
- "windows_x86_64_gnu 0.48.5",
- "windows_x86_64_gnullvm 0.48.5",
- "windows_x86_64_msvc 0.48.5",
+ "windows-targets",
 ]
 
 [[package]]
@@ -507,46 +487,28 @@ version = "0.52.6"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "9b724f72796e036ab90c1021d4780d4d3d648aca59e491e6b98e725b84e99973"
 dependencies = [
- "windows_aarch64_gnullvm 0.52.6",
- "windows_aarch64_msvc 0.52.6",
- "windows_i686_gnu 0.52.6",
+ "windows_aarch64_gnullvm",
+ "windows_aarch64_msvc",
+ "windows_i686_gnu",
  "windows_i686_gnullvm",
- "windows_i686_msvc 0.52.6",
- "windows_x86_64_gnu 0.52.6",
- "windows_x86_64_gnullvm 0.52.6",
- "windows_x86_64_msvc 0.52.6",
+ "windows_i686_msvc",
+ "windows_x86_64_gnu",
+ "windows_x86_64_gnullvm",
+ "windows_x86_64_msvc",
 ]
 
-[[package]]
-name = "windows_aarch64_gnullvm"
-version = "0.48.5"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "2b38e32f0abccf9987a4e3079dfb67dcd799fb61361e53e2882c3cbaf0d905d8"
-
 [[package]]
 name = "windows_aarch64_gnullvm"
 version = "0.52.6"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "32a4622180e7a0ec044bb555404c800bc9fd9ec262ec147edd5989ccd0c02cd3"
 
-[[package]]
-name = "windows_aarch64_msvc"
-version = "0.48.5"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "dc35310971f3b2dbbf3f0690a219f40e2d9afcf64f9ab7cc1be722937c26b4bc"
-
 [[package]]
 name = "windows_aarch64_msvc"
 version = "0.52.6"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "09ec2a7bb152e2252b53fa7803150007879548bc709c039df7627cabbd05d469"
 
-[[package]]
-name = "windows_i686_gnu"
-version = "0.48.5"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "a75915e7def60c94dcef72200b9a8e58e5091744960da64ec734a6c6e9b3743e"
-
 [[package]]
 name = "windows_i686_gnu"
 version = "0.52.6"
@@ -559,36 +521,18 @@ version = "0.52.6"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "0eee52d38c090b3caa76c563b86c3a4bd71ef1a819287c19d586d7334ae8ed66"
 
-[[package]]
-name = "windows_i686_msvc"
-version = "0.48.5"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "8f55c233f70c4b27f66c523580f78f1004e8b5a8b659e05a4eb49d4166cca406"
-
 [[package]]
 name = "windows_i686_msvc"
 version = "0.52.6"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "240948bc05c5e7c6dabba28bf89d89ffce3e303022809e73deaefe4f6ec56c66"
 
-[[package]]
-name = "windows_x86_64_gnu"
-version = "0.48.5"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "53d40abd2583d23e4718fddf1ebec84dbff8381c07cae67ff7768bbf19c6718e"
-
 [[package]]
 name = "windows_x86_64_gnu"
 version = "0.52.6"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "147a5c80aabfbf0c7d901cb5895d1de30ef2907eb21fbbab29ca94c5b08b1a78"
 
-[[package]]
-name = "windows_x86_64_gnullvm"
-version = "0.48.5"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "0b7b52767868a23d5bab768e390dc5f5c55825b6d30b86c844ff2dc7414044cc"
-
 [[package]]
 name = "windows_x86_64_gnullvm"
 version = "0.52.6"
@@ -597,15 +541,18 @@ checksum = "24d5b23dc417412679681396f2b49f3de8c1473deb516bd34410872eff51ed0d"
 
 [[package]]
 name = "windows_x86_64_msvc"
-version = "0.48.5"
+version = "0.52.6"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "ed94fce61571a4006852b7389a063ab983c02eb1bb37b47f8272ce92d06d9538"
+checksum = "589f6da84c646204747d1270a2a5661ea66ed1cced2631d546fdfb155959f9ec"
 
 [[package]]
-name = "windows_x86_64_msvc"
-version = "0.52.6"
+name = "wit-bindgen-rt"
+version = "0.39.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "589f6da84c646204747d1270a2a5661ea66ed1cced2631d546fdfb155959f9ec"
+checksum = "6f42320e61fe2cfd34354ecb597f86f413484a798ba44a8ca1165c58d42da6c1"
+dependencies = [
+ "bitflags",
+]
 
 [[package]]
 name = "zerocopy"

{polybench-0.3.1 → polybench-0.3.3}/polybench/solvers/symbolica/Cargo.toml

@@ -5,4 +5,4 @@ authors = ["Takahiro Ueda <t.ueda.od@juntendo.ac.jp>"]
 edition = "2021"
 
 [dependencies]
-symbolica = "0.15.1"
+symbolica = "0.17.0"

{polybench-0.3.1 → polybench-0.3.3}/polybench/solvers/symbolica/src/main.rs

@@ -74,14 +74,14 @@ fn main() {
             )
             .unwrap();
             if !monomial_factor.is_one() {
-                write!(&mut output, ",{}", monomial_factor).unwrap();
+                write!(&mut output, ",{monomial_factor}").unwrap();
             }
             for (f, p) in factors {
                 if f.nterms() != 1 {
                     if p == 1 {
-                        write!(&mut output, ",{}", f).unwrap();
+                        write!(&mut output, ",{f}").unwrap();
                     } else {
-                        write!(&mut output, ",({})^{}", f, p).unwrap();
+                        write!(&mut output, ",({f})^{p}").unwrap();
                     }
                 }
             }
@@ -93,7 +93,5 @@ fn main() {
 }
 
 fn get_poly(expr: &str, var_map: &Arc<Vec<Variable>>) -> MultivariatePolynomial<Z, u8> {
-    parse!(expr)
-        .unwrap()
-        .to_polynomial(&Z, Some(var_map.clone()))
+    parse!(expr).to_polynomial(&Z, Some(var_map.clone()))
 }

{polybench-0.3.1 → polybench-0.3.3}/pyproject.toml

@@ -1,6 +1,6 @@
 [tool.poetry]
 name = "polybench"
-version = "0.3.1"
+version = "0.3.3"
 description = "Multivariate polynomial arithmetic benchmark tests."
 license = "MIT"
 authors = ["Takahiro Ueda <t.ueda.od@juntendo.ac.jp>"]
@@ -19,11 +19,11 @@ classifiers = [
 python = "^3.6.1"
 
 colorama = "^0.4.5"  # 0.4.6 requires python >= 3.7
-colorlog = "^6.8.2"
+colorlog = "^6.9.0"
 importlib-metadata = "^4.8.3"  # 4.9.0 requires python >= 3.7
 importlib-resources = "^5.4.0"  # 5.6.0 requires python >= 3.7
 pretty-errors = "^1.2.25"
-psutil = "^6.0.0"
+psutil = "^7.0.0"
 py-cpuinfo = "^9.0.0"
 toml = "^0.10.2"
 typing-extensions = "^4.1.1"  # 4.2.0 requires python >= 3.7