New symbolic solver in Symbolics.jl Hi, I am Yassin. A new symbolic solver authored by me has just been merged to Symbolics.jl, and is available in the latest release (v6.2.0). I want to share some of its capabilities here! Link to PR The solver features: Multivariate polynomial solving Exact (s…

Is there a webpage called “Julia symbolics for newbies” so that new programmers can get up to speed with symbolics.jl? With examples on how to use Symbolics to solve common problems.

Awesome! This has been sorely missing, and the API and functionality both look spot on. Great job :grin:

Great news!!! I tried Symbolics a few weeks ago while its solver only supports linear equations. BTW, Is there a trick to importing the symbolic_solve function? [image] Yassin_ElBedwihy: symbolic_solve(a*log(x)^b + c ~ 0, x) I encountered the following error in the latest version, V6.2.0 >…

Hello @tiZ . Thanks for the kind words! For your problem, please try removing your local repo completely and cloning symbolics once again. I also had this problem once we merged.

I had the same problem, and I believe it is just because this functionality was not released yet. It works if you do ]add Symbolics#master.

TTFX is not ideal for linear equations. Is it possible to automatically detect linear cases and forward to symbolic_linear_solve instead? See timing below. julia> using Symbolics, Groebner julia> @variables x y z; julia> @time symbolic_linear_solve([x-y, y+2z], [x,y]) 1.606491 seconds (3.11 M a…

Here’s something symbolic_solve handles better than symbolic_linear_solve, as I want an exact solution without rounding to floats: julia> symbolic_solve([x-1], [x]) 1-element Vector{BigInt}: 1 julia> symbolic_linear_solve([x-1], [x]) 1-element Vector{Float64}: 1.0 Here’s something only symbolic…

Thank you for your comments. The release should be out just about now, so this should work: pkg> add Symbolics@6.3 TTFX is not ideal for linear equations. Is it possible to automatically detect linear cases and forward to symbolic_linear_solve instead? Sure, we can do that for the linear case. …

[image] StevenSiew: Is there a webpage called “Julia symbolics for newbies” so that new programmers can get up to speed with symbolics.jl? There’s the getting started page: Getting Started with Symbolics.jl · Symbolics.jl Documentation for Symbolics.jl. …

New symbolic solver for Symbolics.jl!

Package Announcements

isaacsas August 21, 2024, 11:21pm 2

Looks like a really great addition to Symbolics!

Topic		Replies	Views
Symbolics to Float64 General Usage symbolics	19	692	September 8, 2024
Symbolics 'solve' command undefined General Usage symbolics	26	660	September 15, 2024
How to solve these equations? General Usage sympy	33	1618	January 12, 2023
[ANN] Symbolics.jl: A Modern Computer Algebra System for a Modern Language Package Announcements	146	50137	May 10, 2024
Introducing SymJul: Symbolic Analysis for Differential Equations Package Announcements symbolic , symbolics , symbolicutils	15	1467	February 20, 2025

New symbolic solver for Symbolics.jl!

Related topics