# \#symbolic

**URL:** https://discourse.julialang.org/tag/symbolic/384.md

[Latest](https://discourse.julialang.org/latest.md) · [Categories](https://discourse.julialang.org/categories.md) · [Tags](https://discourse.julialang.org/tags.md)

---

## [Integrating symbolic functions?](https://discourse.julialang.org/t/integrating-symbolic-functions/102545)

<div class="topic-metadata">

**Author:** [@GregVernon](https://discourse.julialang.org/u/GregVernon)\
**Replies:** 18\
**Last updated:** [November 9, 2025, 3:29pm UTC](https://discourse.julialang.org/t/integrating-symbolic-functions/102545 "2025-11-09T15:29:33Z")

</div>

I’m trying to perform indefinite and/or definite integrals using Symbolics.Integral(), but I can’t seem to find documentation on how to use it (though, most of Symbolics.jl methods appear undocumented). Currently, thro…

---

## [\[ANN\] LinearCombinations.jl: formal linear combinations + (multi)linear maps](https://discourse.julialang.org/t/ann-linearcombinations-jl-formal-linear-combinations-multi-linear-maps/129031)

<div class="topic-metadata">

**Author:** [@matthias314](https://discourse.julialang.org/u/matthias314)\
**Replies:** 0\
**Last updated:** [May 15, 2025, 11:30am UTC](https://discourse.julialang.org/t/ann-linearcombinations-jl-formal-linear-combinations-multi-linear-maps/129031 "2025-05-15T11:30:59Z")

</div>

LinearCombinations.jl This package addresses a very specific part of symbolic computation: formal linear combinations and linear maps between them. Multilinear maps and tensors are also supported. Formal linear combinati…

---

## [\[ANN\] SymbolicRegression.jl - distributed symbolic regression](https://discourse.julialang.org/t/ann-symbolicregression-jl-distributed-symbolic-regression/54853)

<div class="topic-metadata">

**Author:** [@MilesCranmer](https://discourse.julialang.org/u/MilesCranmer)\
**Replies:** 22\
**Last updated:** [March 13, 2025, 10:36am UTC](https://discourse.julialang.org/t/ann-symbolicregression-jl-distributed-symbolic-regression/54853 "2025-03-13T10:36:46Z")

</div>

Excited to announce SymbolicRegression.jl, a high-performance package for learning equations via regularized evolution! It supports distributed computing, allows user-defined operators (including discontinuous ones), and…

---

## [Symbolics build function failed for Matrix](https://discourse.julialang.org/t/symbolics-build-function-failed-for-matrix/126828)

<div class="topic-metadata">

**Author:** [@Veenty](https://discourse.julialang.org/u/Veenty)\
**Replies:** 1\
**Last updated:** [March 11, 2025, 9:13pm UTC](https://discourse.julialang.org/t/symbolics-build-function-failed-for-matrix/126828 "2025-03-11T21:13:50Z")

</div>

The following code is not being evaluated at all @variables ξ u\_h = \[1, ξ\] γ\_matrix = rand(ComplexF64, (2,2)) foo = eval.(build\_function.(γ\_matrix\*u\_h, ξ)) foo\[1\](0.) # 0.718261200283448 + 0.7541320221601713ξ + im\*(0.11…

---

## [Introducing SymJul: Symbolic Analysis for Differential Equations](https://discourse.julialang.org/t/introducing-symjul-symbolic-analysis-for-differential-equations/126035)

<div class="topic-metadata">

**Author:** [@erny123](https://discourse.julialang.org/u/erny123)\
**Replies:** 14\
**Last updated:** [February 20, 2025, 1:26am UTC](https://discourse.julialang.org/t/introducing-symjul-symbolic-analysis-for-differential-equations/126035 "2025-02-20T01:26:00Z")

</div>

Dear all, I’d like to introduce: SymJul (not married to the name) I’m working on a lot of theory for new nonlinear systems. Sometimes, discretization of the full ODE or PDE works but takes too many computational reso…

---

## [Invitation to participate in the International Symposium on Symbolic and Algebraic Computation](https://discourse.julialang.org/t/invitation-to-participate-in-the-international-symposium-on-symbolic-and-algebraic-computation/125930)

<div class="topic-metadata">

**Author:** [@suavesito](https://discourse.julialang.org/u/suavesito)\
**Replies:** 0\
**Last updated:** [February 15, 2025, 2:29am UTC](https://discourse.julialang.org/t/invitation-to-participate-in-the-international-symposium-on-symbolic-and-algebraic-computation/125930 "2025-02-15T02:29:22Z")

</div>

This year, the International Symposium on Symbolic and Algebraic Computation (ISSAC) will take place from July 28 to August 1, 2025 (dates and topics page) at CIMAT Guanajuato, Mexico, where I study. I wanted to invite …

---

## [\[ANN\] New package: CallableExpressions v1.0.0](https://discourse.julialang.org/t/ann-new-package-callableexpressions-v1-0-0/114698)

<div class="topic-metadata">

**Author:** [@nsajko](https://discourse.julialang.org/u/nsajko)\
**Replies:** 8\
**Last updated:** [June 3, 2024, 10:42am UTC](https://discourse.julialang.org/t/ann-new-package-callableexpressions-v1-0-0/114698 "2024-06-03T10:42:29Z")

</div>

The CallableExpressions package is being registered: New package: CallableExpressions v1.0.0 by JuliaRegistrator · Pull Request #107598 · JuliaRegistries/General · GitHub A Julia package for representing, manipulating …

---

## [How to save a lambdifyed (by SymEngine) expression to a file and load it in a new Session?](https://discourse.julialang.org/t/how-to-save-a-lambdifyed-by-symengine-expression-to-a-file-and-load-it-in-a-new-session/111165)

<div class="topic-metadata">

**Author:** [@Zaph](https://discourse.julialang.org/u/Zaph)\
**Replies:** 2\
**Last updated:** [April 15, 2024, 7:50am UTC](https://discourse.julialang.org/t/how-to-save-a-lambdifyed-by-symengine-expression-to-a-file-and-load-it-in-a-new-session/111165 "2024-04-15T07:50:26Z")

</div>

Hello, I posted this on Stackoverflow (https://stackoverflow.com/q/78087392/23508386) a few days ago but got ignored :c. So I decided to try my luck by copying it (inlcuding the Updates to the post I made on stack overfl…

---

## [Is there a way to calculate eigenvalues for symbolic matrices?](https://discourse.julialang.org/t/is-there-a-way-to-calculate-eigenvalues-for-symbolic-matrices/110818)

<div class="topic-metadata">

**Author:** [@swsw](https://discourse.julialang.org/u/swsw)\
**Replies:** 5\
**Last updated:** [March 21, 2024, 2:43am UTC](https://discourse.julialang.org/t/is-there-a-way-to-calculate-eigenvalues-for-symbolic-matrices/110818 "2024-03-21T02:43:15Z")

</div>

I’d like to calculate the eigenvalues for the matrix like \[1 1; x x\] in julia. is there a way to do it? I tried the following but didn’t work. using SymPy @syms x A = \[1 1; x x\] eigen(A)

---

## [Symbolic sqrt(2) and sin(pi)](https://discourse.julialang.org/t/symbolic-sqrt-2-and-sin-pi/58633)

<div class="topic-metadata">

**Author:** [@oscarbenjamin](https://discourse.julialang.org/u/oscarbenjamin)\
**Replies:** 24\
**Last updated:** [February 16, 2024, 4:51am UTC](https://discourse.julialang.org/t/symbolic-sqrt-2-and-sin-pi/58633 "2024-02-16T04:51:45Z")

</div>

I asked this as a genuine question but looking at Symbolics.jl more closely I get the impression that the answer is that there is no way to do this even for sqrt(2). If that’s the case then this is something very differ…

---

## [Obtaining coefficients of polynomial with SymEngine.jl](https://discourse.julialang.org/t/obtaining-coefficients-of-polynomial-with-symengine-jl/108371)

<div class="topic-metadata">

**Author:** [@MAB](https://discourse.julialang.org/u/MAB)\
**Replies:** 5\
**Last updated:** [January 5, 2024, 11:11pm UTC](https://discourse.julialang.org/t/obtaining-coefficients-of-polynomial-with-symengine-jl/108371 "2024-01-05T23:11:56Z")

</div>

I am trying to obtain a dictionary that contains monomials (keys) and coefficients (values) for a multi-variate polynomial in SymEngine. This function exists in Symbolics.jl Symbolics.polynomial\_coeffs but I would rath…

---

## ["None Sym BasicSymbolic doesn't have a name" Problem when using NeuralPDE](https://discourse.julialang.org/t/none-sym-basicsymbolic-doesnt-have-a-name-problem-when-using-neuralpde/100348)

<div class="topic-metadata">

**Author:** [@Ethan\_Tran](https://discourse.julialang.org/u/Ethan_Tran)\
**Replies:** 1\
**Last updated:** [December 20, 2023, 6:25pm UTC](https://discourse.julialang.org/t/none-sym-basicsymbolic-doesnt-have-a-name-problem-when-using-neuralpde/100348 "2023-12-20T18:25:13Z")

</div>

I try to use NeuralPDE to solve ODE problem, when I define the system with the separate variable u1(…) and u2(…) it run normally. (The code following) using NeuralPDE, Lux, ModelingToolkit, Optimization, OptimizationOpt…

---

## [Computer algebra systems materials](https://discourse.julialang.org/t/computer-algebra-systems-materials/58064)

<div class="topic-metadata">

**Author:** [@KZiemian](https://discourse.julialang.org/u/KZiemian)\
**Replies:** 12\
**Last updated:** [December 19, 2023, 10:17am UTC](https://discourse.julialang.org/t/computer-algebra-systems-materials/58064 "2023-12-19T10:17:14Z")

</div>

Announcement of Symbolics.jl bring attention of many people and starts many lively discussion on Discourse and beyond, about Computer Algebra Systems (CAS). In this discusion casual many papers, blog post, talks on YouTu…

---

## [Using inequalities in a polynomial system in Groebner.jl](https://discourse.julialang.org/t/using-inequalities-in-a-polynomial-system-in-groebner-jl/106651)

<div class="topic-metadata">

**Author:** [@nsajko](https://discourse.julialang.org/u/nsajko)\
**Replies:** 3\
**Last updated:** [November 24, 2023, 11:19am UTC](https://discourse.julialang.org/t/using-inequalities-in-a-polynomial-system-in-groebner-jl/106651 "2023-11-24T11:19:39Z")

</div>

Groebner.jl is useful for solving a system of polynomial equations. This is about a method of transforming an inequality into an equation, so it could be used with Groebner.jl. Suppose, for example, I have this simple e…

---

## [Symbolics: simplifying an equation whose RHS is zero](https://discourse.julialang.org/t/symbolics-simplifying-an-equation-whose-rhs-is-zero/102453)

<div class="topic-metadata">

**Author:** [@nsajko](https://discourse.julialang.org/u/nsajko)\
**Replies:** 3\
**Last updated:** [August 4, 2023, 5:58pm UTC](https://discourse.julialang.org/t/symbolics-simplifying-an-equation-whose-rhs-is-zero/102453 "2023-08-04T17:58:31Z")

</div>

I’m using the Symbolics package. Suppose I’ve got an expression in several real variables, let’s call it expr, and I equate it with zero, e.g. expr ~ false. I’d like some simple automatic simplifications of that equation…

---

## [Symbolic differential geometry on Julia](https://discourse.julialang.org/t/symbolic-differential-geometry-on-julia/56273)

<div class="topic-metadata">

**Author:** [@mlainz](https://discourse.julialang.org/u/mlainz)\
**Replies:** 5\
**Last updated:** [May 23, 2023, 8:43am UTC](https://discourse.julialang.org/t/symbolic-differential-geometry-on-julia/56273 "2023-05-23T08:43:04Z")

</div>

I like Pluto.jl reactive notebook paradigm and I miss it when I use Python for symbolic work on differential geometry. More precisely, I use the SageManifolds package. I am looking for an alternative workflow on Julia. I…

---

## [Get Symbolics.simplify to work a little bit harder](https://discourse.julialang.org/t/get-symbolics-simplify-to-work-a-little-bit-harder/96353)

<div class="topic-metadata">

**Author:** [@moble](https://discourse.julialang.org/u/moble)\
**Replies:** 0\
**Last updated:** [March 20, 2023, 3:57pm UTC](https://discourse.julialang.org/t/get-symbolics-simplify-to-work-a-little-bit-harder/96353 "2023-03-20T15:57:12Z")

</div>

I’m working with some fairly long expressions, where the structure of each term is reasonably simple, but every term has the same three variables, and then a smattering of one or two other variables, and maybe an Int or …

---

## [Symbolic matrix exponential](https://discourse.julialang.org/t/symbolic-matrix-exponential/85435)

<div class="topic-metadata">

**Author:** [@Kaguro](https://discourse.julialang.org/u/Kaguro)\
**Replies:** 9\
**Last updated:** [February 10, 2023, 1:45pm UTC](https://discourse.julialang.org/t/symbolic-matrix-exponential/85435 "2023-02-10T13:45:23Z")

</div>

Hello All! I am fairly new to Julia. I want to find the matrix exponential of a symbolic matrix. How to do this? When I use the Symbolics and LinearAlgebra packages together, it doesn’t work: using Symbolics using Lin…

---

## [Lambdify getting error if expression is function of time](https://discourse.julialang.org/t/lambdify-getting-error-if-expression-is-function-of-time/90118)

<div class="topic-metadata">

**Author:** [@Starpower\_Power](https://discourse.julialang.org/u/Starpower_Power)\
**Replies:** 6\
**Last updated:** [November 13, 2022, 8:55pm UTC](https://discourse.julialang.org/t/lambdify-getting-error-if-expression-is-function-of-time/90118 "2022-11-13T20:55:22Z")

</div>

using SymPy using PyCall sp = pyimport("sympy") @vars t x = sp.Function("x")(t) y = sp.Function("y")(t) z = x^2+y^2 hz = lambdify(z,(x,y)) # hz = lambdify(z,(x,y)) hz(1,1)

---

## [Substitution of products of symbolic variables](https://discourse.julialang.org/t/substitution-of-products-of-symbolic-variables/88733)

<div class="topic-metadata">

**Author:** [@afossa](https://discourse.julialang.org/u/afossa)\
**Replies:** 3\
**Last updated:** [October 17, 2022, 11:42am UTC](https://discourse.julialang.org/t/substitution-of-products-of-symbolic-variables/88733 "2022-10-17T11:42:06Z")

</div>

I am trying to simplify a symbolic expression by replacing products of symbolic variables, eg. x\*y, with a single new variable, e.g. z, but I cannot succeed in doing it. Any suggestion? MWE: using Symbolics using Symbo…

---

## [SymbolicUtils: LiteralReal](https://discourse.julialang.org/t/symbolicutils-literalreal/87044)

<div class="topic-metadata">

**Author:** [@qwerty](https://discourse.julialang.org/u/qwerty)\
**Replies:** 0\
**Last updated:** [September 10, 2022, 5:14pm UTC](https://discourse.julialang.org/t/symbolicutils-literalreal/87044 "2022-09-10T17:14:22Z")

</div>

When should the LiteralReal type be used? How can I convert an expression that contains LiteralReal types?

---

## [Transpose of symbolic matrix](https://discourse.julialang.org/t/transpose-of-symbolic-matrix/86433)

<div class="topic-metadata">

**Author:** [@Starpower\_Power](https://discourse.julialang.org/u/Starpower_Power)\
**Replies:** 1\
**Last updated:** [August 27, 2022, 3:36pm UTC](https://discourse.julialang.org/t/transpose-of-symbolic-matrix/86433 "2022-08-27T15:36:37Z")

</div>

i want output as \[cos(t) sin(t) 0; -sin(t) cos(t) 0; 0 0 1\] please someone help

---

## [Symbolics.jl | Lie series expansion for PDEs](https://discourse.julialang.org/t/symbolics-jl-lie-series-expansion-for-pdes/84885)

<div class="topic-metadata">

**Author:** [@Audrius-St](https://discourse.julialang.org/u/Audrius-St)\
**Replies:** 2\
**Last updated:** [August 1, 2022, 7:43pm UTC](https://discourse.julialang.org/t/symbolics-jl-lie-series-expansion-for-pdes/84885 "2022-08-01T19:43:31Z")

</div>

Hello, I’ve used Sympy for several years now and am interested in giving Symbolics.jl a go with an eye to switching over completely. I’ve previously used Sympy to solve systems of ODES using the symbolic Lie series met…

---

## [How to round whole matrix like numpy.round()](https://discourse.julialang.org/t/how-to-round-whole-matrix-like-numpy-round/84897)

<div class="topic-metadata">

**Author:** [@Starpower\_Power](https://discourse.julialang.org/u/Starpower_Power)\
**Replies:** 8\
**Last updated:** [July 29, 2022, 12:13pm UTC](https://discourse.julialang.org/t/how-to-round-whole-matrix-like-numpy-round/84897 "2022-07-29T12:13:42Z")

</div>

how to round whole matrix like numpy.round() how to round SymPy Matrix in julia SymPy pakage

---

## [Symbolic function differentiation](https://discourse.julialang.org/t/symbolic-function-differentiation/84813)

<div class="topic-metadata">

**Author:** [@Starpower\_Power](https://discourse.julialang.org/u/Starpower_Power)\
**Replies:** 2\
**Last updated:** [July 27, 2022, 7:46pm UTC](https://discourse.julialang.org/t/symbolic-function-differentiation/84813 "2022-07-27T19:46:51Z")

</div>

in python sympy we define that x is function of t: x(t) and diff(x,t) is xdot x=sym.Function(‘x’)(t) how to do this thing in julia bcz i have to write Lagrangian equation

---

## [Better determinant? det looks horrible](https://discourse.julialang.org/t/better-determinant-det-looks-horrible/82202)

<div class="topic-metadata">

**Author:** [@gangchern](https://discourse.julialang.org/u/gangchern)\
**Replies:** 11\
**Last updated:** [June 4, 2022, 8:00am UTC](https://discourse.julialang.org/t/better-determinant-det-looks-horrible/82202 "2022-06-04T08:00:09Z")

</div>

using SymEngine using LinearAlgebra \[a\*z2 2\*z2 + a\*z1 z4 z3; 2\*z1\*z3 -6\*b\*z2^2 z1^2 0; 2\*z1 - z2 -z1 2\*z3 0; -z3 2\*z2 -z1 2\*z4\]|\>det The output is horrible (-(-(2\*a\*z2^2 + …

---

## [Symbolics.jl: Compute determinant](https://discourse.julialang.org/t/symbolics-jl-compute-determinant/81866)

<div class="topic-metadata">

**Author:** [@DanDoe](https://discourse.julialang.org/u/DanDoe)\
**Replies:** 2\
**Last updated:** [May 29, 2022, 1:28pm UTC](https://discourse.julialang.org/t/symbolics-jl-compute-determinant/81866 "2022-05-29T13:28:35Z")

</div>

I would like to compute the determinant of a matrix involving a symbolic variable: using Symbolics I = # Identity matrix A = # Some non-trivial matrix @variables z aux = I - z \* A det(aux) This webpage claims that co…

---

## [How to build functions from symbolic expressions with symbolics.jl](https://discourse.julialang.org/t/how-to-build-functions-from-symbolic-expressions-with-symbolics-jl/78879)

<div class="topic-metadata">

**Author:** [@F-YF](https://discourse.julialang.org/u/F-YF)\
**Replies:** 3\
**Last updated:** [April 2, 2022, 1:38am UTC](https://discourse.julialang.org/t/how-to-build-functions-from-symbolic-expressions-with-symbolics-jl/78879 "2022-04-02T01:38:14Z")

</div>

I want to build functions from symbolic expressions with symbolics.jl. I tried the following according to the documentation instructions. using Symbolics @variables x p=(1+x)^2 f\_expr=build\_function(p,x) f=eval(f\_expr)…

---

## [How to create symbolic rewrite rules with new variables?](https://discourse.julialang.org/t/how-to-create-symbolic-rewrite-rules-with-new-variables/75511)

<div class="topic-metadata">

**Author:** [@Zer0](https://discourse.julialang.org/u/Zer0)\
**Replies:** 1\
**Last updated:** [January 31, 2022, 2:28pm UTC](https://discourse.julialang.org/t/how-to-create-symbolic-rewrite-rules-with-new-variables/75511 "2022-01-31T14:28:26Z")

</div>

Hi all, I am not sure where to put this topic, and I am still fairly new to Julia. So I put it in “New to Julia”. :sweat\_smile: I was playing around with symbolic-utils a little. I like the straight forward rule-based …

---

## [MathOptInterface and Symbolics.jl](https://discourse.julialang.org/t/mathoptinterface-and-symbolics-jl/74575)

<div class="topic-metadata">

**Author:** [@sidpatil](https://discourse.julialang.org/u/sidpatil)\
**Replies:** 1\
**Last updated:** [January 13, 2022, 7:53pm UTC](https://discourse.julialang.org/t/mathoptinterface-and-symbolics-jl/74575 "2022-01-13T19:53:20Z")

</div>

In the announcement for Symbolics.jl, JuMP is mentioned due to its independent implementation of symbolic variables and expressions. Is it feasible to refactor/rewrite MathOptInterface to use Symbolics.jl variables and …

[Next page](https://discourse.julialang.org/tag/symbolic/384.md?match_all_tags=true&page=1&tags%5B%5D=symbolic)