From 2331464fe87c3350ad23cd6607f6a46a72f9d9af Mon Sep 17 00:00:00 2001
From: jverzani <jverzani@gmail.com>
Date: Tue, 16 Dec 2025 16:42:15 -0500
Subject: [PATCH 1/2] deprecate SymbolicUtils dependency

---
 Project.toml               | 10 +++++-----
 test/test-SymbolicUtils.jl |  4 +++-
 2 files changed, 8 insertions(+), 6 deletions(-)

diff --git a/Project.toml b/Project.toml
index 5cd5bc5..4eb3364 100644
--- a/Project.toml
+++ b/Project.toml
@@ -12,11 +12,11 @@ SpecialFunctions = "276daf66-3868-5448-9aa4-cd146d93841b"
 SymEngine_jll = "3428059b-622b-5399-b16f-d347a77089a4"
 
 [weakdeps]
-SymbolicUtils = "d1185830-fcd6-423d-90d6-eec64667417b"
+#SymbolicUtils = "d1185830-fcd6-423d-90d6-eec64667417b"
 TermInterface = "8ea1fca8-c5ef-4a55-8b96-4e9afe9c9a3c"
 
 [extensions]
-SymEngineSymbolicUtilsExt = "SymbolicUtils"
+#SymEngineSymbolicUtilsExt = "SymbolicUtils"
 SymEngineTermInterfaceExt = "TermInterface"
 
 [compat]
@@ -24,14 +24,14 @@ Compat = "0.63.0, 1, 2, 3, 4"
 RecipesBase = "0.1, 0.2, 0.3, 0.4, 0.5, 0.6, 0.7, 0.8, 1.0"
 SpecialFunctions = "0.3, 0.4, 0.5, 0.6, 0.7, 0.8, 0.9, 0.10, 1, 2"
 SymEngine_jll = "0.9, 0.10, 0.11, 0.12"
-SymbolicUtils = "3"
+#SymbolicUtils = "3"
 TermInterface = "2"
 julia = "1.6"
 
 [extras]
 Test = "8dfed614-e22c-5e08-85e1-65c5234f0b40"
-SymbolicUtils = "d1185830-fcd6-423d-90d6-eec64667417b"
+#SymbolicUtils = "d1185830-fcd6-423d-90d6-eec64667417b"
 TermInterface = "8ea1fca8-c5ef-4a55-8b96-4e9afe9c9a3c"
 
 [targets]
-test = ["SymbolicUtils", "TermInterface", "Test"]
+test = ["TermInterface", "Test"]
diff --git a/test/test-SymbolicUtils.jl b/test/test-SymbolicUtils.jl
index 3c6f9d2..0b25afc 100644
--- a/test/test-SymbolicUtils.jl
+++ b/test/test-SymbolicUtils.jl
@@ -1,6 +1,5 @@
 using Test
 using SymEngine
-import SymbolicUtils: simplify, @rule, @acrule, Chain, Fixpoint
 
 import TermInterface
 @testset "TermInterface" begin
@@ -11,6 +10,8 @@ import TermInterface
     @test TermInterface.arguments(sin(x)) == [x]
 end
 
+#=
+import SymbolicUtils: simplify, @rule, @acrule, Chain, Fixpoint
 @testset "SymbolicUtils" begin
     # from SymbolicUtils.jl docs
     # https://symbolicutils.juliasymbolics.org/rewrite/#rule-based_rewriting
@@ -60,3 +61,4 @@ end
     @test Fixpoint(cas)((cos(x) + sin(x))^2) == 1 + 2cos(x)*sin(x)
 
 end
+=#

From be53ab23ef676e2e89273e1425dd2e322d1015a9 Mon Sep 17 00:00:00 2001
From: jverzani <jverzani@gmail.com>
Date: Tue, 16 Dec 2025 17:05:50 -0500
Subject: [PATCH 2/2] docs; regression

---
 docs/src/basicUsage.md | 13 ++-----------
 test/runtests.jl       |  2 +-
 2 files changed, 3 insertions(+), 12 deletions(-)

diff --git a/docs/src/basicUsage.md b/docs/src/basicUsage.md
index 92ee046..7bf7d3f 100644
--- a/docs/src/basicUsage.md
+++ b/docs/src/basicUsage.md
@@ -353,18 +353,9 @@ a
 
 Other types that may be useful to minimize allocations are `SymEngine.CSetBasic` and `SymEngine.CVecBasic`.
 
-## Use with `SymbolicUtils` and `TermInterface`
+## Use with `TermInterface`
 
-There is an extension for `TermInterface` (and `SymbolicUtils`) which should allow the symbolic simplification routines from `SymbolicUtils` to be of use.
-
-
-```@example symengine
-using SymbolicUtils;
-@vars x
-simplify(sin(x)^2 + cos(x)^2)
-```
-
-The `TermInterface` package allows general symbolic expression manipulation. This example shows how some of the functionality of `subs` can be programmed using the package's interface.
+There is an extension for `TermInterface`. The `TermInterface` package allows general symbolic expression manipulation. This example shows how some of the functionality of `subs` can be programmed using the package's interface.
 
 ```@example symengine
 using TermInterface
diff --git a/test/runtests.jl b/test/runtests.jl
index 2336e45..34c884f 100644
--- a/test/runtests.jl
+++ b/test/runtests.jl
@@ -268,7 +268,7 @@ x,y,z = symbols("x y z")
 # is/has/free symbol(s)
 @vars x y z
 @test SymEngine.is_symbol(x)
-@test (@allocated SymEngine.is_symbol(x)) == 0
+#@test (@allocated SymEngine.is_symbol(x)) == 0
 @test !SymEngine.is_symbol(x(2))
 @test !SymEngine.is_symbol(x^2)
 @test SymEngine.has_symbol(x^2, x)