build based on 5cf6341

JuliaSymbolics · Oct 5, 2024 · f4fdb9d · f4fdb9d
1 parent c3ba0fb
commit f4fdb9d
Show file tree

Hide file tree

Showing 25 changed files with 13,352 additions and 13,283 deletions.
diff --git a/dev/.documenter-siteinfo.json b/dev/.documenter-siteinfo.json
@@ -1 +1 @@
-{"documenter":{"julia_version":"1.10.5","generation_timestamp":"2024-10-04T12:37:38","documenter_version":"1.7.0"}}
+{"documenter":{"julia_version":"1.10.5","generation_timestamp":"2024-10-05T15:27:18","documenter_version":"1.7.0"}}
diff --git a/dev/assets/Manifest.toml b/dev/assets/Manifest.toml
@@ -391,9 +391,9 @@ version = "1.15.1"
 
 [[deps.DifferentiationInterface]]
 deps = ["ADTypes", "Compat", "LinearAlgebra", "PackageExtensionCompat"]
-git-tree-sha1 = "7e10eebf52857cd441274f74e3a172cad950437f"
+git-tree-sha1 = "624e283ddac6d608742e857b0487238f11940f57"
 uuid = "a0c0ee7d-e4b9-4e03-894e-1c5f64a51d63"
-version = "0.6.5"
+version = "0.6.6"
 
     [deps.DifferentiationInterface.extensions]
     DifferentiationInterfaceChainRulesCoreExt = "ChainRulesCore"
@@ -1015,6 +1015,16 @@ git-tree-sha1 = "5ee6203157c120d79034c748a2acba45b82b8807"
 uuid = "38a345b3-de98-5d2b-a5d3-14cd9215e700"
 version = "2.40.1+0"
 
+[[deps.LineSearch]]
+deps = ["ADTypes", "CommonSolve", "ConcreteStructs", "FastClosures", "LinearAlgebra", "MaybeInplace", "SciMLBase", "SciMLJacobianOperators"]
+git-tree-sha1 = "0f18f1661771b0c9bfd8e650507d2bc4cff2a8e0"
+uuid = "87fe0de2-c867-4266-b59a-2f0a94fc965b"
+version = "0.1.2"
+weakdeps = ["LineSearches"]
+
+    [deps.LineSearch.extensions]
+    LineSearchLineSearchesExt = "LineSearches"
+
 [[deps.LineSearches]]
 deps = ["LinearAlgebra", "NLSolversBase", "NaNMath", "Parameters", "Printf"]
 git-tree-sha1 = "e4c3be53733db1051cc15ecf573b1042b3a712a1"
@@ -1213,10 +1223,10 @@ uuid = "ca575930-c2e3-43a9-ace4-1e988b2c1908"
 version = "1.2.0"
 
 [[deps.NonlinearSolve]]
-deps = ["ADTypes", "ArrayInterface", "ConcreteStructs", "DiffEqBase", "FastBroadcast", "FastClosures", "FiniteDiff", "ForwardDiff", "LazyArrays", "LineSearches", "LinearAlgebra", "LinearSolve", "MaybeInplace", "PrecompileTools", "Preferences", "Printf", "RecursiveArrayTools", "Reexport", "SciMLBase", "SimpleNonlinearSolve", "SparseArrays", "SparseDiffTools", "StaticArraysCore", "SymbolicIndexingInterface", "TimerOutputs"]
-git-tree-sha1 = "bcd8812e751326ff1d4b2dd50764b93df51f143b"
+deps = ["ADTypes", "ArrayInterface", "ConcreteStructs", "DiffEqBase", "DifferentiationInterface", "FastBroadcast", "FastClosures", "FiniteDiff", "ForwardDiff", "LazyArrays", "LineSearch", "LineSearches", "LinearAlgebra", "LinearSolve", "MaybeInplace", "PrecompileTools", "Preferences", "Printf", "RecursiveArrayTools", "Reexport", "SciMLBase", "SciMLJacobianOperators", "SciMLOperators", "Setfield", "SimpleNonlinearSolve", "SparseArrays", "SparseConnectivityTracer", "SparseMatrixColorings", "StaticArraysCore", "SymbolicIndexingInterface", "TimerOutputs"]
+git-tree-sha1 = "65fa1b52c004f127b06167d89a280c4465ba7a2e"
 uuid = "8913a72c-1f9b-4ce2-8d82-65094dcecaec"
-version = "3.14.0"
+version = "3.15.0"
 
     [deps.NonlinearSolve.extensions]
     NonlinearSolveBandedMatricesExt = "BandedMatrices"
@@ -1228,8 +1238,6 @@ version = "3.14.0"
     NonlinearSolveNLsolveExt = "NLsolve"
     NonlinearSolveSIAMFANLEquationsExt = "SIAMFANLEquations"
     NonlinearSolveSpeedMappingExt = "SpeedMapping"
-    NonlinearSolveSymbolicsExt = "Symbolics"
-    NonlinearSolveZygoteExt = "Zygote"
 
     [deps.NonlinearSolve.weakdeps]
     BandedMatrices = "aae01518-5342-5314-be14-df237901396f"
@@ -1241,8 +1249,6 @@ version = "3.14.0"
     NLsolve = "2774e3e8-f4cf-5e23-947b-6d7e65073b56"
     SIAMFANLEquations = "084e46ad-d928-497d-ad5e-07fa361a48c4"
     SpeedMapping = "f1835b91-879b-4a3f-a438-e4baacf14412"
-    Symbolics = "0c5d862f-8b57-4792-8d23-62f2024744c7"
-    Zygote = "e88e6eb3-aa80-5325-afca-941959d7151f"
 
 [[deps.OffsetArrays]]
 git-tree-sha1 = "1a27764e945a152f7ca7efa04de513d473e9542e"
@@ -1813,6 +1819,12 @@ version = "2.55.0"
     RCall = "6f49c342-dc21-5d91-9882-a32aef131414"
     Zygote = "e88e6eb3-aa80-5325-afca-941959d7151f"
 
+[[deps.SciMLJacobianOperators]]
+deps = ["ADTypes", "ConcreteStructs", "ConstructionBase", "DifferentiationInterface", "FastClosures", "LinearAlgebra", "SciMLBase", "SciMLOperators"]
+git-tree-sha1 = "991d2a8900e687e2c693d587daa739c8fda01366"
+uuid = "19f34311-ddf3-4b8b-af20-060888a46c0e"
+version = "0.1.0"
+
 [[deps.SciMLOperators]]
 deps = ["Accessors", "ArrayInterface", "DocStringExtensions", "LinearAlgebra", "MacroTools"]
 git-tree-sha1 = "e39c5f217f9aca640c8e27ab21acf557a3967db5"
@@ -1903,6 +1915,26 @@ deps = ["Libdl", "LinearAlgebra", "Random", "Serialization", "SuiteSparse_jll"]
 uuid = "2f01184e-e22b-5df5-ae63-d93ebab69eaf"
 version = "1.10.0"
 
+[[deps.SparseConnectivityTracer]]
+deps = ["ADTypes", "DocStringExtensions", "FillArrays", "LinearAlgebra", "Random", "Requires", "SparseArrays"]
+git-tree-sha1 = "e5efbf152d3e14a513f19a9119b810340b7ac86b"
+uuid = "9f842d2f-2579-4b1d-911e-f412cf18a3f5"
+version = "0.6.6"
+
+    [deps.SparseConnectivityTracer.extensions]
+    SparseConnectivityTracerDataInterpolationsExt = "DataInterpolations"
+    SparseConnectivityTracerLogExpFunctionsExt = "LogExpFunctions"
+    SparseConnectivityTracerNNlibExt = "NNlib"
+    SparseConnectivityTracerNaNMathExt = "NaNMath"
+    SparseConnectivityTracerSpecialFunctionsExt = "SpecialFunctions"
+
+    [deps.SparseConnectivityTracer.weakdeps]
+    DataInterpolations = "82cc6244-b520-54b8-b5a6-8a565e85f1d0"
+    LogExpFunctions = "2ab3a3ac-af41-5b50-aa03-7779005ae688"
+    NNlib = "872c559c-99b0-510c-b3b7-b6c96a88d5cd"
+    NaNMath = "77ba4419-2d1f-58cd-9bb1-8ffee604a2e3"
+    SpecialFunctions = "276daf66-3868-5448-9aa4-cd146d93841b"
+
 [[deps.SparseDiffTools]]
 deps = ["ADTypes", "Adapt", "ArrayInterface", "Compat", "DataStructures", "FiniteDiff", "ForwardDiff", "Graphs", "LinearAlgebra", "PackageExtensionCompat", "Random", "Reexport", "SciMLOperators", "Setfield", "SparseArrays", "StaticArrayInterface", "StaticArrays", "Tricks", "UnPack", "VertexSafeGraphs"]
 git-tree-sha1 = "7db12cef226aaa8ca730040c9c35e32b86a69b83"
@@ -1923,6 +1955,12 @@ version = "2.22.0"
     Symbolics = "0c5d862f-8b57-4792-8d23-62f2024744c7"
     Zygote = "e88e6eb3-aa80-5325-afca-941959d7151f"
 
+[[deps.SparseMatrixColorings]]
+deps = ["ADTypes", "Compat", "DataStructures", "DocStringExtensions", "LinearAlgebra", "Random", "SparseArrays"]
+git-tree-sha1 = "ad17e2069015839e58a1f9275608b405fae1f28e"
+uuid = "0a514795-09f3-496d-8182-132a7b665d35"
+version = "0.4.6"
+
 [[deps.Sparspak]]
 deps = ["Libdl", "LinearAlgebra", "Logging", "OffsetArrays", "Printf", "SparseArrays", "Test"]
 git-tree-sha1 = "342cf4b449c299d8d1ceaf00b7a49f4fbc7940e7"

diff --git a/dev/comparison/index.html b/dev/comparison/index.html
diff --git a/dev/examples/perturbation/index.html b/dev/examples/perturbation/index.html
@@ -65,4 +65,4 @@
 - (𝜀 + 4*𝜀^2 + 10*𝜀^3)*𝑀^3/6
 + (𝜀 + 16*𝜀^2 + 91*𝜀^3)*𝑀^5/120</code></pre><p>Comparing the formula to the one for 𝐸 in the <a href="https://en.wikipedia.org/wiki/Kepler%27s_equation">Wikipedia article on the Kepler&#39;s equation</a>:</p><p class="math-container">\[  E = \frac{1}{1-\epsilon}M
     -\frac{\epsilon}{(1-\epsilon)^4} \frac{M^3}{3!} + \frac{(9\epsilon^2
-    + \epsilon)}{(1-\epsilon)^7}\frac{M^5}{5!}\cdots\]</p><p>The first deviation is in the coefficient of <span>$\epsilon^3 M^5$</span>.</p></article><nav class="docs-footer"><a class="docs-footer-prevpage" href="../../tutorials/converting_to_C/">« Automatic Conversion of Julia Code to C Functions</a><a class="docs-footer-nextpage" href="../../manual/variables/">Variable and Equation Types »</a><div class="flexbox-break"></div><p class="footer-message">Powered by <a href="https://github.com/JuliaDocs/Documenter.jl">Documenter.jl</a> and the <a href="https://julialang.org/">Julia Programming Language</a>.</p></nav></div><div class="modal" id="documenter-settings"><div class="modal-background"></div><div class="modal-card"><header class="modal-card-head"><p class="modal-card-title">Settings</p><button class="delete"></button></header><section class="modal-card-body"><p><label class="label">Theme</label><div class="select"><select id="documenter-themepicker"><option value="auto">Automatic (OS)</option><option value="documenter-light">documenter-light</option><option value="documenter-dark">documenter-dark</option><option value="catppuccin-latte">catppuccin-latte</option><option value="catppuccin-frappe">catppuccin-frappe</option><option value="catppuccin-macchiato">catppuccin-macchiato</option><option value="catppuccin-mocha">catppuccin-mocha</option></select></div></p><hr/><p>This document was generated with <a href="https://github.com/JuliaDocs/Documenter.jl">Documenter.jl</a> version 1.7.0 on <span class="colophon-date" title="Friday 4 October 2024 12:37">Friday 4 October 2024</span>. Using Julia version 1.10.5.</p></section><footer class="modal-card-foot"></footer></div></div></div></body></html>
+    + \epsilon)}{(1-\epsilon)^7}\frac{M^5}{5!}\cdots\]</p><p>The first deviation is in the coefficient of <span>$\epsilon^3 M^5$</span>.</p></article><nav class="docs-footer"><a class="docs-footer-prevpage" href="../../tutorials/converting_to_C/">« Automatic Conversion of Julia Code to C Functions</a><a class="docs-footer-nextpage" href="../../manual/variables/">Variable and Equation Types »</a><div class="flexbox-break"></div><p class="footer-message">Powered by <a href="https://github.com/JuliaDocs/Documenter.jl">Documenter.jl</a> and the <a href="https://julialang.org/">Julia Programming Language</a>.</p></nav></div><div class="modal" id="documenter-settings"><div class="modal-background"></div><div class="modal-card"><header class="modal-card-head"><p class="modal-card-title">Settings</p><button class="delete"></button></header><section class="modal-card-body"><p><label class="label">Theme</label><div class="select"><select id="documenter-themepicker"><option value="auto">Automatic (OS)</option><option value="documenter-light">documenter-light</option><option value="documenter-dark">documenter-dark</option><option value="catppuccin-latte">catppuccin-latte</option><option value="catppuccin-frappe">catppuccin-frappe</option><option value="catppuccin-macchiato">catppuccin-macchiato</option><option value="catppuccin-mocha">catppuccin-mocha</option></select></div></p><hr/><p>This document was generated with <a href="https://github.com/JuliaDocs/Documenter.jl">Documenter.jl</a> version 1.7.0 on <span class="colophon-date" title="Saturday 5 October 2024 15:27">Saturday 5 October 2024</span>. Using Julia version 1.10.5.</p></section><footer class="modal-card-foot"></footer></div></div></div></body></html>
diff --git a/dev/getting_started/index.html b/dev/getting_started/index.html
@@ -106,7 +106,20 @@
                     t
  runtime_symbol_value
            value_b(t)
-                     (value_c(t))[1:3]</code></pre><pre><code class="language-julia hljs">(t, a, b, c)</code></pre><pre class="documenter-example-output"><code class="nohighlight hljs ansi">(t, :runtime_symbol_value, :value_b, :value_c)</code></pre><p>One could also use <code>variable</code> and <code>variables</code>. Read their documentation for more details.</p><p>If we need to use this to generate new Julia code, we can simply convert the output to an <code>Expr</code>:</p><pre><code class="language-julia hljs">Symbolics.toexpr(x + y^2)</code></pre><pre class="documenter-example-output"><code class="nohighlight hljs ansi">:((+)(x, (^)(y, 2)))</code></pre><h2 id="Syms-and-callable-Syms"><a class="docs-heading-anchor" href="#Syms-and-callable-Syms"><code>Sym</code>s and callable <code>Sym</code>s</a><a id="Syms-and-callable-Syms-1"></a><a class="docs-heading-anchor-permalink" href="#Syms-and-callable-Syms" title="Permalink"></a></h2><p>In the definition</p><pre><code class="language-julia hljs">@variables t x(t) y(t)</code></pre><p class="math-container">\[ \begin{equation}
+                     (value_c(t))[1:3]</code></pre><pre><code class="language-julia hljs">(t, a, b, c)</code></pre><pre class="documenter-example-output"><code class="nohighlight hljs ansi">(t, :runtime_symbol_value, :value_b, :value_c)</code></pre><p>One could also use <code>variable</code> and <code>variables</code>. Read their documentation for more details.</p><p>If we need to use this to generate new Julia code, we can simply convert the output to an <code>Expr</code>:</p><pre><code class="language-julia hljs">Symbolics.toexpr(x + y^2)</code></pre><pre class="documenter-example-output"><code class="nohighlight hljs ansi">:((+)(x, (^)(y, 2)))</code></pre><p>The other way around is also possible, parsing Julia expressions into symbolic expressions</p><pre><code class="language-julia hljs">ex = [:(v ~ w)
+      :(w ~ -v)]
+eqs = parse_expr_to_symbolic.(ex, (Main,))
+eqs_lhs = [eq.lhs for eq in eqs]
+eqs_rhs = [eq.rhs for eq in eqs]
+Symbolics.jacobian(eqs_rhs, eqs_lhs)</code></pre><p class="math-container">\[ \begin{equation}
+\left[
+\begin{array}{cc}
+0 &amp; 1 \\
+-1 &amp; 0 \\
+\end{array}
+\right]
+\end{equation}
+ \]</p><h2 id="Syms-and-callable-Syms"><a class="docs-heading-anchor" href="#Syms-and-callable-Syms"><code>Sym</code>s and callable <code>Sym</code>s</a><a id="Syms-and-callable-Syms-1"></a><a class="docs-heading-anchor-permalink" href="#Syms-and-callable-Syms" title="Permalink"></a></h2><p>In the definition</p><pre><code class="language-julia hljs">@variables t x(t) y(t)</code></pre><p class="math-container">\[ \begin{equation}
 \left[
 \begin{array}{c}
 t \\
@@ -220,9 +233,9 @@
 out = sparse(rows, cols, zeros(length(cols)), size(sj)...) # pre-allocate, and correct structure
 myf = eval(last(f_expr))
 myf(out, rand(N)) # note that out matches the sparsity structure of sj
-out</code></pre><pre class="documenter-example-output"><code class="nohighlight hljs ansi">20×10 SparseArrays.SparseMatrixCSC{Float64, Int64} with 16 stored entries:
-⎡⠀⠂⠀⠐⢈⎤
-⎢⢀⠊⠀⠀⡀⎥
-⎢⠀⠀⠀⠀⠀⎥
-⎢⠈⡀⠃⠁⠁⎥
-⎣⠀⠈⠀⠀⢀⎦</code></pre></article><nav class="docs-footer"><a class="docs-footer-prevpage" href="../">« Home</a><a class="docs-footer-nextpage" href="../tutorials/auto_parallel/">Automated Sparse Parallelism of Julia Functions via Tracing »</a><div class="flexbox-break"></div><p class="footer-message">Powered by <a href="https://github.com/JuliaDocs/Documenter.jl">Documenter.jl</a> and the <a href="https://julialang.org/">Julia Programming Language</a>.</p></nav></div><div class="modal" id="documenter-settings"><div class="modal-background"></div><div class="modal-card"><header class="modal-card-head"><p class="modal-card-title">Settings</p><button class="delete"></button></header><section class="modal-card-body"><p><label class="label">Theme</label><div class="select"><select id="documenter-themepicker"><option value="auto">Automatic (OS)</option><option value="documenter-light">documenter-light</option><option value="documenter-dark">documenter-dark</option><option value="catppuccin-latte">catppuccin-latte</option><option value="catppuccin-frappe">catppuccin-frappe</option><option value="catppuccin-macchiato">catppuccin-macchiato</option><option value="catppuccin-mocha">catppuccin-mocha</option></select></div></p><hr/><p>This document was generated with <a href="https://github.com/JuliaDocs/Documenter.jl">Documenter.jl</a> version 1.7.0 on <span class="colophon-date" title="Friday 4 October 2024 12:37">Friday 4 October 2024</span>. Using Julia version 1.10.5.</p></section><footer class="modal-card-foot"></footer></div></div></div></body></html>
+out</code></pre><pre class="documenter-example-output"><code class="nohighlight hljs ansi">20×10 SparseArrays.SparseMatrixCSC{Float64, Int64} with 27 stored entries:
+⎡⠈⠠⠀⠀⠐⎤
+⎢⡀⠊⠀⠈⣊⎥
+⎢⠤⠠⠀⠠⠃⎥
+⎢⠁⠄⠀⠠⡀⎥
+⎣⠠⠄⠈⠅⠄⎦</code></pre></article><nav class="docs-footer"><a class="docs-footer-prevpage" href="../">« Home</a><a class="docs-footer-nextpage" href="../tutorials/auto_parallel/">Automated Sparse Parallelism of Julia Functions via Tracing »</a><div class="flexbox-break"></div><p class="footer-message">Powered by <a href="https://github.com/JuliaDocs/Documenter.jl">Documenter.jl</a> and the <a href="https://julialang.org/">Julia Programming Language</a>.</p></nav></div><div class="modal" id="documenter-settings"><div class="modal-background"></div><div class="modal-card"><header class="modal-card-head"><p class="modal-card-title">Settings</p><button class="delete"></button></header><section class="modal-card-body"><p><label class="label">Theme</label><div class="select"><select id="documenter-themepicker"><option value="auto">Automatic (OS)</option><option value="documenter-light">documenter-light</option><option value="documenter-dark">documenter-dark</option><option value="catppuccin-latte">catppuccin-latte</option><option value="catppuccin-frappe">catppuccin-frappe</option><option value="catppuccin-macchiato">catppuccin-macchiato</option><option value="catppuccin-mocha">catppuccin-mocha</option></select></div></p><hr/><p>This document was generated with <a href="https://github.com/JuliaDocs/Documenter.jl">Documenter.jl</a> version 1.7.0 on <span class="colophon-date" title="Saturday 5 October 2024 15:27">Saturday 5 October 2024</span>. Using Julia version 1.10.5.</p></section><footer class="modal-card-foot"></footer></div></div></div></body></html>
Original file line number	Diff line number	Diff line change
		@@ -1 +1 @@
		{"documenter":{"julia_version":"1.10.5","generation_timestamp":"2024-10-04T12:37:38","documenter_version":"1.7.0"}}
		{"documenter":{"julia_version":"1.10.5","generation_timestamp":"2024-10-05T15:27:18","documenter_version":"1.7.0"}}