polybench 0.3.4__tar.gz → 0.3.6__tar.gz

{polybench-0.3.4 → polybench-0.3.6}/LICENSE

@@ -1,6 +1,6 @@
 MIT License
 
-Copyright (c) 2020-2025 Takahiro Ueda
+Copyright (c) 2020-2026 Takahiro Ueda
 
 Permission is hereby granted, free of charge, to any person obtaining a copy
 of this software and associated documentation files (the "Software"), to deal

{polybench-0.3.4 → polybench-0.3.6}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: polybench
-Version: 0.3.4
+Version: 0.3.6
 Summary: Multivariate polynomial arithmetic benchmark tests.
 License: MIT
 License-File: LICENSE
@@ -26,7 +26,8 @@ Classifier: Topic :: System :: Benchmark
 Requires-Dist: colorama (>=0.4.5,<0.5.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: importlib-resources (>=5.2.0,<5.3.0) ; python_full_version >= "3.6.1" and python_full_version < "3.7.0"
+Requires-Dist: importlib-resources (>=5.6.0,<6.0.0) ; python_version >= "3.7"
 Requires-Dist: kiwisolver (>=1.3.1,<1.4.0) ; python_full_version >= "3.6.1" and python_full_version < "3.7.0"
 Requires-Dist: kiwisolver (>=1.4.5,<2.0.0) ; python_version >= "3.7" and python_version < "3.14"
 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):
 - [Singular](https://www.singular.uni-kl.de/)
 - [Symbolica](https://symbolica.io/):
   automatically downloaded
-  (requires [Rust](https://www.rust-lang.org/) >= 1.85),
+  (requires [Rust](https://www.rust-lang.org/) >= 1.88),
   running in [restricted mode](https://symbolica.io/docs/get_started.html#license).
 
 

{polybench-0.3.4 → polybench-0.3.6}/README.md

@@ -42,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.85),
+  (requires [Rust](https://www.rust-lang.org/) >= 1.88),
   running in [restricted mode](https://symbolica.io/docs/get_started.html#license).
 
 

{polybench-0.3.4 → polybench-0.3.6}/polybench/solvers/flint/CMakeLists.txt

@@ -8,20 +8,16 @@ project(
 get_filename_component(COMPILER_NAME ${CMAKE_C_COMPILER} NAME_WE)
 set(COMPILER_VERSION
     "${COMPILER_NAME} (${CMAKE_C_COMPILER_ID}) ${CMAKE_C_COMPILER_VERSION}")
-
 configure_file(${CMAKE_SOURCE_DIR}/version.h.in ${CMAKE_BINARY_DIR}/version.h
                @ONLY)
 
 find_package(PkgConfig REQUIRED)
-pkg_check_modules(gmp REQUIRED IMPORTED_TARGET gmp)
-pkg_check_modules(mpfr REQUIRED IMPORTED_TARGET mpfr)
+pkg_check_modules(flint REQUIRED IMPORTED_TARGET flint)
 
-find_path(FLINT_INCLUDE_DIR flint/flint.h)
-find_library(FLINT_LIBRARY flint)
+find_library(MATH_LIBRARY m)
+add_library(Math::Math INTERFACE IMPORTED)
+target_link_libraries(Math::Math INTERFACE ${MATH_LIBRARY})
 
 add_executable(polybench-flint main.c)
-
-target_include_directories(polybench-flint PRIVATE ${FLINT_INCLUDE_DIR}
-                                                   ${CMAKE_BINARY_DIR})
-target_link_libraries(polybench-flint PRIVATE m PkgConfig::gmp PkgConfig::mpfr
-                                              ${FLINT_LIBRARY})
+target_include_directories(polybench-flint PRIVATE ${CMAKE_BINARY_DIR})
+target_link_libraries(polybench-flint PRIVATE PkgConfig::flint Math::Math)

{polybench-0.3.4 → polybench-0.3.6}/polybench/solvers/flint/main.c

@@ -1,11 +1,11 @@
+#include <flint/fmpz.h>
+#include <flint/fmpz_mpoly.h>
+#include <flint/fmpz_mpoly_factor.h>
 #include <stdio.h>
 #include <stdlib.h>
 #include <string.h>
 #include <time.h>
 
-#include <flint/fmpz_mpoly.h>
-#include <flint/fmpz_mpoly_factor.h>
-
 #include "version.h"
 
 void error(const char* msg) {

polybench-0.3.6/polybench/solvers/flint/ports/flint/portfile.cmake

@@ -0,0 +1,29 @@
+vcpkg_download_distfile(ARCHIVE
+    URLS "https://github.com/flintlib/flint/releases/download/v${VERSION}/flint-${VERSION}.tar.xz"
+    FILENAME "flint-${VERSION}.tar.xz"
+    SHA512 f7f0ee7837d960c64b207d542fa384d6b3ab923c5d218d6545c4cd8abd0efd56c99e88a72b837e966127e0b6d3d42a3bf53ed947df89ecaa004377431f060a78
+)
+
+vcpkg_extract_source_archive(
+    SOURCE_PATH
+    ARCHIVE "${ARCHIVE}"
+)
+
+set(_extra_libs "")
+if(VCPKG_TARGET_IS_LINUX)
+    set(_extra_libs "LIBS=-lm")
+endif()
+
+vcpkg_configure_make(
+    SOURCE_PATH "${SOURCE_PATH}"
+    AUTOCONFIG
+    OPTIONS ${_extra_libs}
+)
+
+vcpkg_install_make()
+vcpkg_copy_pdbs()
+vcpkg_fixup_pkgconfig()
+
+vcpkg_install_copyright(
+    FILE_LIST "${SOURCE_PATH}/COPYING" "${SOURCE_PATH}/COPYING.LESSER"
+)

polybench-0.3.6/polybench/solvers/flint/ports/flint/vcpkg.json

@@ -0,0 +1,11 @@
+{
+  "name": "flint",
+  "version-semver": "3.4.0",
+  "description": "Fast Library for Number Theory",
+  "homepage": "https://www.flintlib.org/",
+  "supports": "!uwp",
+  "dependencies": [
+    "gmp",
+    "mpfr"
+  ]
+}

polybench-0.3.6/polybench/solvers/flint/vcpkg-configuration.json

@@ -0,0 +1,5 @@
+{
+  "overlay-ports": [
+    "ports"
+  ]
+}

{polybench-0.3.4 → polybench-0.3.6}/polybench/solvers/flint/vcpkg.json

@@ -2,11 +2,11 @@
   "$schema": "https://raw.githubusercontent.com/microsoft/vcpkg-tool/main/docs/vcpkg.schema.json",
   "name": "polybench-flint",
   "version-string": "0.1.0",
-  "builtin-baseline": "ce613c41372b23b1f51333815feb3edd87ef8a8b",
+  "builtin-baseline": "66c0373dc7fca549e5803087b9487edfe3aca0a1",
   "dependencies": [
     {
       "name": "flint",
-      "version>=": "2.9.0"
+      "version>=": "3.4.0"
     }
   ]
 }

{polybench-0.3.4 → polybench-0.3.6}/polybench/solvers/form.py

@@ -29,13 +29,19 @@ class FormSolver(Solver):
 
         # Try to download the released binary.
 
-        version = "4.3.1"
+        version = "5.0.0"
         if platform.system() == "Linux" and platform.machine() == "x86_64":
             distname = f"form-{version}-x86_64-linux"
-            sha256 = "7af2edb16a2bd1a929ee0ccfd9af7e27b8ab7be3ed0f7bf0f9be04dc792ecd17"
+            sha256 = "94e40a3b9e0c3158dfce08ce252a1c20f338a0199a251cc0c458edf81324cbd6"
+        elif platform.system() == "Linux" and platform.machine() == "arm64":
+            distname = f"form-{version}-arm64-linux"
+            sha256 = "feaca9d8e320850696e0cd8bcae57928cae3ea2da2844bb50e23481126cdbc88"
         elif platform.system() == "Darwin" and platform.machine() == "x86_64":
             distname = f"form-{version}-x86_64-osx"
-            sha256 = "cb68473a1794bc7e18e0b536804c5f67dc6746065904a63336225acb20369972"
+            sha256 = "44ea668705ba233d7991a618eb5e45a22ef9efa8054d2c7204f7a7773991c14a"
+        elif platform.system() == "Darwin" and platform.machine() == "arm64":
+            distname = f"form-{version}-arm64-osx"
+            sha256 = "2409437156e97c4f2afd2bc201d497cbbadbdf11df057099ae72ba724e19211f"
         else:
             return None
 

{polybench-0.3.4 → polybench-0.3.6}/polybench/solvers/mma.py

@@ -51,8 +51,7 @@ class MathematicaSolver(Solver):
 
             if problems.problem_type == "gcd":
                 print2('s = OpenWrite["output.csv"];')
-                print2(
-                    """
+                print2("""
                         DoGCD[p_, q_] := Module[{r, t, a},
                             r = Timing[PolynomialGCD[p, q]];
                             t = r[[1]] // ToString;
@@ -60,8 +59,7 @@ class MathematicaSolver(Solver):
                             a = StringReplace[a, " " -> ""];
                             WriteLine[s, t <> "," <> a];
                         ];
-                    """
-                )
+                    """)
 
                 for p in problems:
                     print2(f"p = {p.p};")
@@ -71,8 +69,7 @@ class MathematicaSolver(Solver):
                 print2("Close[s];")
             elif problems.problem_type == "factor":
                 print2('s = OpenWrite["output.csv"];')
-                print2(
-                    """
+                print2("""
                         DoFactor[p_] := Module[{r, t, a, x1, x2},
                             r = Timing[Factor[p]];
                             t = r[[1]] // ToString;
@@ -83,8 +80,7 @@ class MathematicaSolver(Solver):
                             a = StringReplace[a, "}" -> ""];
                             WriteLine[s, t <> "," <> a];
                         ];
-                    """
-                )
+                    """)
 
                 for p in problems:
                     print2(f"p = {p.p};")

{polybench-0.3.4 → polybench-0.3.6}/polybench/solvers/symbolica/Cargo.lock

@@ -15,6 +15,15 @@ dependencies = [
  "zerocopy",
 ]
 
+[[package]]
+name = "aho-corasick"
+version = "1.1.4"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "ddd31a130427c27518df266943a5308ed92d4b226cc639f5a8f1002816174301"
+dependencies = [
+ "memchr",
+]
+
 [[package]]
 name = "alloc-no-stdlib"
 version = "2.0.4"
@@ -77,9 +86,9 @@ dependencies = [
 
 [[package]]
 name = "bytemuck"
-version = "1.17.0"
+version = "1.24.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "6fd4c6dcc3b0aea2f5c0b4b82c2b15fe39ddbc76041a310848f4706edf76bb31"
+checksum = "1fbdf580320f38b612e485521afda1ee26d10cc9884efaaa750d383e13e3c5f4"
 
 [[package]]
 name = "byteorder"
@@ -93,6 +102,16 @@ version = "1.7.1"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "8318a53db07bb3f8dca91a600466bdb3f2eaadeedfdbcf02e1accbad9271ba50"
 
+[[package]]
+name = "cc"
+version = "1.2.55"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "47b26a0954ae34af09b50f0de26458fa95369a0d478d8236d3f93082b219bd29"
+dependencies = [
+ "find-msvc-tools",
+ "shlex",
+]
+
 [[package]]
 name = "cfg-if"
 version = "1.0.0"
@@ -105,7 +124,7 @@ version = "3.0.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "fde0e0ec90c9dfb3b4b1a0891a7dcd0e2bffde2f7efed5fe7c9bb00e5bfb915e"
 dependencies = [
- "windows-sys",
+ "windows-sys 0.52.0",
 ]
 
 [[package]]
@@ -145,6 +164,12 @@ version = "1.13.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "60b1af1c220855b6ceac025d3f6ecdd2b7c4894bfe9cd9bda4fbb4bc7c0d4cf0"
 
+[[package]]
+name = "find-msvc-tools"
+version = "0.1.9"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "5baebc0774151f905a1a2cc41989300b1e6fbb29aff0ceffa1064fdd3088d582"
+
 [[package]]
 name = "getrandom"
 version = "0.2.15"
@@ -175,9 +200,36 @@ source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "b0205cd82059bc63b63cf516d714352a30c44f2c74da9961dfda2617ae6b5918"
 dependencies = [
  "libc",
- "windows-sys",
+ "windows-sys 0.52.0",
 ]
 
+[[package]]
+name = "graphica"
+version = "1.2.0"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "12b2b69c2c5be07ec7bd0be71c87fbf6bcccf0b443fd85ac592c7715ebdeeb4f"
+dependencies = [
+ "ahash",
+ "dyn-clone",
+ "numerica",
+ "rand",
+]
+
+[[package]]
+name = "itertools"
+version = "0.14.0"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "2b192c782037fadd9cfa75548310488aabdbf3d2da73885b31bd0abd03351285"
+dependencies = [
+ "either",
+]
+
+[[package]]
+name = "lazy_static"
+version = "1.5.0"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "bbd2bcb4c963f2ddae06a2efc7e9f3591312473c50c6685e1f298068316e66fe"
+
 [[package]]
 name = "libc"
 version = "0.2.156"
@@ -186,12 +238,12 @@ checksum = "a5f43f184355eefb8d17fc948dbecf6c13be3c141f20d834ae842193a448c72a"
 
 [[package]]
 name = "libloading"
-version = "0.8.5"
+version = "0.9.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "4979f22fdb869068da03c9f7528f8297c6fd2606bc3a4affe42e6a823fdb8da4"
+checksum = "754ca22de805bb5744484a5b151a9e1a8e837d5dc232c2d7d8c2e3492edc8b60"
 dependencies = [
  "cfg-if",
- "windows-targets",
+ "windows-link",
 ]
 
 [[package]]
@@ -200,6 +252,73 @@ version = "0.2.8"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "4ec2a862134d2a7d32d7983ddcdd1c4923530833c9f2ea1a44fc5fa473989058"
 
+[[package]]
+name = "libmimalloc-sys"
+version = "0.1.44"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "667f4fec20f29dfc6bc7357c582d91796c169ad7e2fce709468aefeb2c099870"
+dependencies = [
+ "cc",
+ "libc",
+]
+
+[[package]]
+name = "log"
+version = "0.4.28"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "34080505efa8e45a4b816c349525ebe327ceaa8559756f0356cba97ef3bf7432"
+
+[[package]]
+name = "matchers"
+version = "0.2.0"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "d1525a2a28c7f4fa0fc98bb91ae755d1e2d1505079e05539e35bc876b5d65ae9"
+dependencies = [
+ "regex-automata",
+]
+
+[[package]]
+name = "memchr"
+version = "2.7.6"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "f52b00d39961fc5b2736ea853c9cc86238e165017a493d1d5c8eac6bdc4cc273"
+
+[[package]]
+name = "mimalloc"
+version = "0.1.48"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "e1ee66a4b64c74f4ef288bcbb9192ad9c3feaad75193129ac8509af543894fd8"
+dependencies = [
+ "libmimalloc-sys",
+]
+
+[[package]]
+name = "nu-ansi-term"
+version = "0.50.3"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "7957b9740744892f114936ab4a57b3f487491bbeafaf8083688b16841a4240e5"
+dependencies = [
+ "windows-sys 0.61.2",
+]
+
+[[package]]
+name = "numerica"
+version = "1.2.1"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "5404006d4b917b1d2886f6b258e61f75aaa29572db913515f051b9d6a44fc758"
+dependencies = [
+ "ahash",
+ "colored",
+ "dyn-clone",
+ "itertools",
+ "rand",
+ "rand_xoshiro",
+ "rayon",
+ "rug",
+ "smallvec",
+ "wide",
+]
+
 [[package]]
 name = "once_cell"
 version = "1.19.0"
@@ -292,9 +411,9 @@ dependencies = [
 
 [[package]]
 name = "rayon"
-version = "1.10.0"
+version = "1.11.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "b418a60154510ca1a002a752ca9714984e21e4241e804d32555251faf8b78ffa"
+checksum = "368f01d005bf8fd9b1206fb6fa653e6c4a81ceb1466406b81792d87c5677a58f"
 dependencies = [
  "either",
  "rayon-core",
@@ -302,14 +421,31 @@ dependencies = [
 
 [[package]]
 name = "rayon-core"
-version = "1.12.1"
+version = "1.13.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "1465873a3dfdaa8ae7cb14b4383657caab0b3e8a0aa9ae8e04b044854c8dfce2"
+checksum = "22e18b0f0062d30d4230b2e85ff77fdfe4326feb054b9783a3460d8435c8ab91"
 dependencies = [
  "crossbeam-deque",
  "crossbeam-utils",
 ]
 
+[[package]]
+name = "regex-automata"
+version = "0.4.13"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "5276caf25ac86c8d810222b3dbb938e512c55c6831a10f3e6ed1c93b84041f1c"
+dependencies = [
+ "aho-corasick",
+ "memchr",
+ "regex-syntax",
+]
+
+[[package]]
+name = "regex-syntax"
+version = "0.8.8"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "7a2d987857b319362043e95f5353c0535c1f58eec5336fdfcf626430af7def58"
+
 [[package]]
 name = "rug"
 version = "1.27.0"
@@ -324,9 +460,9 @@ dependencies = [
 
 [[package]]
 name = "safe_arch"
-version = "0.7.2"
+version = "0.9.2"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "c3460605018fdc9612bce72735cba0d27efbcd9904780d44c7e3a9948f96148a"
+checksum = "3fb5032219cc30e5bb98749b19a18ceb2cf15e24ba8d517a7e64dff4f1f1eca5"
 dependencies = [
  "bytemuck",
 ]
@@ -337,6 +473,21 @@ version = "1.2.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "0f7d95a54511e0c7be3f51e8867aa8cf35148d7b9445d44de2f943e2b206e749"
 
+[[package]]
+name = "sharded-slab"
+version = "0.1.7"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "f40ca3c46823713e0d4209592e8d6e826aa57e928f09752619fc696c499637f6"
+dependencies = [
+ "lazy_static",
+]
+
+[[package]]
+name = "shlex"
+version = "1.3.0"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "0fda2ff0d084019ba4d7c6f371c95d8fd75ce3524c3cb8fb653a3023f6323e64"
+
 [[package]]
 name = "smallvec"
 version = "1.13.2"
@@ -362,9 +513,9 @@ checksum = "a2eb9349b6444b326872e140eb1cf5e7c522154d69e7a0ffb0fb81c06b37543f"
 
 [[package]]
 name = "symbolica"
-version = "0.18.0"
+version = "1.3.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "69a17722769f6efc9e24d6b881a4e87ac03d8a42b844990fb9e43bf0d84d8e05"
+checksum = "f294ad84842e2c057ee4aed428dfd9035b95159dc2f928743a3d0516dadc59f4"
 dependencies = [
  "ahash",
  "append-only-vec",
@@ -373,7 +524,10 @@ dependencies = [
  "bytes",
  "colored",
  "dyn-clone",
+ "graphica",
  "libloading",
+ "mimalloc",
+ "numerica",
  "once_cell",
  "rand",
  "rand_xoshiro",
@@ -384,6 +538,7 @@ dependencies = [
  "smartstring",
  "tinyjson",
  "tracing",
+ "tracing-subscriber",
  "wide",
 ]
 
@@ -398,6 +553,15 @@ dependencies = [
  "unicode-ident",
 ]
 
+[[package]]
+name = "thread_local"
+version = "1.1.9"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "f60246a4944f24f6e018aa17cdeffb7818b76356965d03b07d6a9886e8962185"
+dependencies = [
+ "cfg-if",
+]
+
 [[package]]
 name = "tinyjson"
 version = "2.5.1"
@@ -406,9 +570,9 @@ checksum = "9ab95735ea2c8fd51154d01e39cf13912a78071c2d89abc49a7ef102a7dd725a"
 
 [[package]]
 name = "tracing"
-version = "0.1.40"
+version = "0.1.41"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "c3523ab5a71916ccf420eebdf5521fcef02141234bbc0b8a49f2fdc4544364ef"
+checksum = "784e0ac535deb450455cbfa28a6f0df145ea1bb7ae51b821cf5e7927fdcfbdd0"
 dependencies = [
  "pin-project-lite",
  "tracing-attributes",
@@ -417,9 +581,9 @@ dependencies = [
 
 [[package]]
 name = "tracing-attributes"
-version = "0.1.27"
+version = "0.1.30"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "34704c8d6ebcbc939824180af020566b01a7c01f80641264eba0999f6c2b6be7"
+checksum = "81383ab64e72a7a8b8e13130c49e3dab29def6d0c7d76a03087b3cf71c5c6903"
 dependencies = [
  "proc-macro2",
  "quote",
@@ -428,11 +592,41 @@ dependencies = [
 
 [[package]]
 name = "tracing-core"
-version = "0.1.32"
+version = "0.1.34"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "b9d12581f227e93f094d3af2ae690a574abb8a2b9b7a96e7cfe9647b2b617678"
+dependencies = [
+ "once_cell",
+ "valuable",
+]
+
+[[package]]
+name = "tracing-log"
+version = "0.2.0"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "ee855f1f400bd0e5c02d150ae5de3840039a3f54b025156404e34c23c03f47c3"
+dependencies = [
+ "log",
+ "once_cell",
+ "tracing-core",
+]
+
+[[package]]
+name = "tracing-subscriber"
+version = "0.3.20"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "c06d3da6113f116aaee68e4d601191614c9053067f9ab7f6edbcb161237daa54"
+checksum = "2054a14f5307d601f88daf0553e1cbf472acc4f2c51afab632431cdcd72124d5"
 dependencies = [
+ "matchers",
+ "nu-ansi-term",
  "once_cell",
+ "regex-automata",
+ "sharded-slab",
+ "smallvec",
+ "thread_local",
+ "tracing",
+ "tracing-core",
+ "tracing-log",
 ]
 
 [[package]]
@@ -441,6 +635,12 @@ version = "1.0.12"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "3354b9ac3fae1ff6755cb6db53683adb661634f67557942dea4facebec0fee4b"
 
+[[package]]
+name = "valuable"
+version = "0.1.1"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "ba73ea9cf16a25df0c8caa16c51acb937d5712a8429db78a3ee29d5dcacd3a65"
+
 [[package]]
 name = "version_check"
 version = "0.9.5"
@@ -464,14 +664,20 @@ dependencies = [
 
 [[package]]
 name = "wide"
-version = "0.7.28"
+version = "0.8.1"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "b828f995bf1e9622031f8009f8481a85406ce1f4d4588ff746d872043e855690"
+checksum = "01e9aba2ca45c04ecbf5c516b21b4a16ddb2cc43f69c10adb08956c2fe1ec081"
 dependencies = [
  "bytemuck",
  "safe_arch",
 ]
 
+[[package]]
+name = "windows-link"
+version = "0.2.1"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "f0805222e57f7521d6a62e36fa9163bc891acd422f971defe97d64e70d0a4fe5"
+
 [[package]]
 name = "windows-sys"
 version = "0.52.0"
@@ -481,6 +687,15 @@ dependencies = [
  "windows-targets",
 ]
 
+[[package]]
+name = "windows-sys"
+version = "0.61.2"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "ae137229bcbd6cdf0f7b80a31df61766145077ddf49416a728b02cb3921ff3fc"
+dependencies = [
+ "windows-link",
+]
+
 [[package]]
 name = "windows-targets"
 version = "0.52.6"

{polybench-0.3.4 → polybench-0.3.6}/polybench/solvers/symbolica/Cargo.toml

@@ -2,7 +2,8 @@
 name = "polybench-symbolica"
 version = "0.1.0"
 authors = ["Takahiro Ueda <t.ueda.od@juntendo.ac.jp>"]
-edition = "2021"
+edition = "2024"
+rust-version = "1.88"
 
 [dependencies]
-symbolica = "0.18.0"
+symbolica = "1.3.0"

{polybench-0.3.4 → polybench-0.3.6}/polybench/solvers/symbolica/src/main.rs

@@ -3,11 +3,12 @@ use std::fs::File;
 use std::io::{BufRead, BufReader, LineWriter, Write};
 use std::sync::Arc;
 use std::time::Instant;
+use symbolica::atom::AtomCore;
 use symbolica::domains::integer::Z;
+use symbolica::poly::PolyVariable;
 use symbolica::poly::factor::Factorize;
 use symbolica::poly::polynomial::MultivariatePolynomial;
-use symbolica::poly::Variable;
-use symbolica::{atom::AtomCore, parse, symbol};
+use symbolica::{parse, symbol};
 
 fn main() {
     let args: Vec<_> = env::args().collect();
@@ -21,7 +22,7 @@ fn main() {
 
     let mut output = LineWriter::new(output_file);
 
-    let var_map: Arc<Vec<Variable>> =
+    let var_map: Arc<Vec<PolyVariable>> =
         Arc::new(variables.iter().map(|x| symbol!(x).into()).collect());
 
     for line in BufReader::new(input_file).lines() {
@@ -92,6 +93,6 @@ fn main() {
     }
 }
 
-fn get_poly(expr: &str, var_map: &Arc<Vec<Variable>>) -> MultivariatePolynomial<Z, u8> {
-    parse!(expr).to_polynomial(&Z, Some(var_map.clone()))
+fn get_poly(expr: &str, var_map: &Arc<Vec<PolyVariable>>) -> MultivariatePolynomial<Z, u8> {
+    parse!(expr).to_polynomial(&Z, Some(Arc::clone(var_map)))
 }

{polybench-0.3.4 → polybench-0.3.6}/pyproject.toml

@@ -1,6 +1,6 @@
 [tool.poetry]
 name = "polybench"
-version = "0.3.4"
+version = "0.3.6"
 description = "Multivariate polynomial arithmetic benchmark tests."
 license = "MIT"
 authors = ["Takahiro Ueda <t.ueda.od@juntendo.ac.jp>"]
@@ -21,13 +21,17 @@ python = "^3.6.1"
 colorama = "^0.4.5"  # 0.4.6 requires python >= 3.7
 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 = "^7.0.0"
 py-cpuinfo = "^9.0.0"
 toml = "^0.10.2"
 typing-extensions = "^4.1.1"  # 4.2.0 requires python >= 3.7
 
+importlib-resources = [
+    { version = "~5.2.0", python = "~3.6.1" },
+    { version = "^5.6.0", python = ">=3.7" },
+]
+
 kiwisolver = [
     { version = "~1.3.1", python = "~3.6.1" },
     { version = "^1.4.5", python = ">=3.7,<3.14" },
@@ -63,6 +67,12 @@ coverage = [
     { version = "~6.2", python = "~3.6.1" },
     { version = "^7.2.7", python = ">=3.7" },  # Python 3.11 doesn't work with coverage 6.2
 ]
+pre-commit = [
+    { version = "~2.17.0", python = ">=3.6.1,<3.7" },
+    { version = "~2.21.0", python = ">=3.7,<3.9" },
+    { version = "~3.5.0", python = ">=3.9,<3.10" },
+    { version = "^4.5.0", python = ">=3.10" },
+]
 
 [tool.poetry.scripts]
 polybench = "polybench.__main__:entry_point"