light simplification of terms

jverzani · Jan 17, 2025 · 3f1fd58 · 3f1fd58
1 parent 19d73e9
commit 3f1fd58
Show file tree

Hide file tree

Showing 11 changed files with 820 additions and 574 deletions.
diff --git a/Project.toml b/Project.toml
@@ -1,7 +1,7 @@
 name = "SimpleExpressions"
 uuid = "deba94f7-f32a-40ad-b45e-be020a5ded2f"
 authors = ["jverzani <[email protected]> and contributors"]
-version = "1.1.9"
+version = "1.1.10"
 
 [deps]
 CallableExpressions = "391672e0-bbe4-4ab4-8bc9-b89a79cbc2f0"
@@ -22,6 +22,7 @@ SpecialFunctions = "276daf66-3868-5448-9aa4-cd146d93841b"
 [extensions]
 SimpleExpressionsAbstractTreesExt = "AbstractTrees"
 SimpleExpressionsLatexifyExt = "Latexify"
+#SimpleExpressionsMetatheoryExt = "Metatheory"
 SimpleExpressionsRecipesBaseExt = "RecipesBase"
 SimpleExpressionsRootsExt = "Roots"
 SimpleExpressionsSpecialFunctionsExt = "SpecialFunctions"

diff --git a/docs/src/index.md b/docs/src/index.md
@@ -271,4 +271,4 @@ u = D(exp(x) * (sin(3x) + sin(101x)), x)
 
 #### Simplification
 
-No simplification is done so the expressions can quickly become unwieldy. There is `TermInterface` support, so--in theory--rewriting of expressions, as is possible with the `Metatheory.jl` package, is supported. The scaffolding is in place, but waits for the development version to be tagged.
+No simplification is done so the expressions can quickly become unwieldy. The unexported `combine` does light simplfication.  There is `TermInterface` support, so--in theory--rewriting of expressions, as is possible with the `Metatheory.jl` package, is supported. The scaffolding is in place, but waits for the development version to be tagged.
Original file line number	Diff line number	Diff line change
Expand Up		@@ -271,4 +271,4 @@ u = D(exp(x) * (sin(3x) + sin(101x)), x)

		#### Simplification

		No simplification is done so the expressions can quickly become unwieldy. There is `TermInterface` support, so--in theory--rewriting of expressions, as is possible with the `Metatheory.jl` package, is supported. The scaffolding is in place, but waits for the development version to be tagged.
		No simplification is done so the expressions can quickly become unwieldy. The unexported `combine` does light simplfication. There is `TermInterface` support, so--in theory--rewriting of expressions, as is possible with the `Metatheory.jl` package, is supported. The scaffolding is in place, but waits for the development version to be tagged.