JuliaSymbolics/SymbolicUtils.jl

View on GitHub

Symbolic expressions, rewriting and simplification

Stars: 559
Forks: 137
Open beginner issues: 0
Indexed issues: 143
Avg merge: 21h 44m
Merged PRs (30d): 28

Dominant language: Julia
License: No license data
Last GitHub push: Sep 12, 2026
Latest indexed: Sep 18, 2026
Contributing guide: No contributing guide
Code of conduct: No code of conduct
Beginner labels: good first issue help wanted

Open All

143 open issues indexed

What should be `zero` and `one` Open

JuliaSymbolics/SymbolicUtils.jl#8 · 2 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
Supertype of Symbolic expressions Open

JuliaSymbolics/SymbolicUtils.jl#16 · 10 comments · 2 reactions · 0 assignees · Indexed Sep 18, 2026
Table of available/missing features Open

JuliaSymbolics/SymbolicUtils.jl#49 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
bot to periodically change random seed Open

help wanted

JuliaSymbolics/SymbolicUtils.jl#53 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
Do an audit for which functions should be marked with @nospecialize Open

enhancement

JuliaSymbolics/SymbolicUtils.jl#56 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
Add a ModelingToolkit benchmark Open

JuliaSymbolics/SymbolicUtils.jl#61 · 16 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
Multithreaded and parallel simplification Open

JuliaSymbolics/SymbolicUtils.jl#62 · 1 comment · 1 reaction · 0 assignees · Indexed Sep 18, 2026
Groebner basis computations Open

JuliaSymbolics/SymbolicUtils.jl#64 · 1 comment · 1 reaction · 0 assignees · Indexed Sep 18, 2026
Symbolic function inverses Open

JuliaSymbolics/SymbolicUtils.jl#65 · 3 comments · 3 reactions · 0 assignees · Indexed Sep 18, 2026
z3 integration Open

ecosystem

JuliaSymbolics/SymbolicUtils.jl#70 · 1 comment · 1 reaction · 0 assignees · Indexed Sep 18, 2026
Interface with Mjolnir Open

ecosystem

JuliaSymbolics/SymbolicUtils.jl#71 · 4 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
fuzz test ordering Open

JuliaSymbolics/SymbolicUtils.jl#83 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
Make it possible to trace struct code Open

JuliaSymbolics/SymbolicUtils.jl#88 · 0 comments · 2 reactions · 0 assignees · Indexed Sep 18, 2026
custom term and matching graphs Open

JuliaSymbolics/SymbolicUtils.jl#89 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
Common subexpression elimination Open

JuliaSymbolics/SymbolicUtils.jl#121 · 13 comments · 4 reactions · 0 assignees · Indexed Sep 18, 2026
Lambda terms Open

JuliaSymbolics/SymbolicUtils.jl#181 · 15 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
[Feature request] Pretty printing Open

JuliaSymbolics/SymbolicUtils.jl#188 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
Web ASM version Open

JuliaSymbolics/SymbolicUtils.jl#207 · 3 comments · 2 reactions · 0 assignees · Indexed Sep 18, 2026
Simplify not working for simple cases Open

JuliaSymbolics/SymbolicUtils.jl#208 · 6 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
Example from Interfacing Docs doesn't do x+x = 2*x Open

JuliaSymbolics/SymbolicUtils.jl#218 · 2 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
How can I help this project? Open

JuliaSymbolics/SymbolicUtils.jl#224 · 8 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
Need for assumptions Open

spec

JuliaSymbolics/SymbolicUtils.jl#228 · 2 comments · 1 reaction · 0 assignees · Indexed Sep 18, 2026
RFC: Wrapper type interface Open

spec

JuliaSymbolics/SymbolicUtils.jl#233 · 6 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
Pattern Matching with subtraction is seemingly broken Open

good first issue

JuliaSymbolics/SymbolicUtils.jl#241 · 6 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
`arguments` is slow during term rewriting due to sorting overhead Open

JuliaSymbolics/SymbolicUtils.jl#250 · 1 comment · 1 reaction · 0 assignees · Indexed Sep 18, 2026
`Number`, `Real`, `AbstractFloat`, subtyping, rules, semantics Open

JuliaSymbolics/SymbolicUtils.jl#269 · 7 comments · 3 reactions · 0 assignees · Indexed Sep 18, 2026
SU docs have a small julia logo in bottom left on mobile Open

JuliaSymbolics/SymbolicUtils.jl#276 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
Issue with type inference in `build_function` with matrix Open

JuliaSymbolics/SymbolicUtils.jl#282 · 3 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
Orders of subexpressions in expression and `@rule` are not consistent. Open

JuliaSymbolics/SymbolicUtils.jl#295 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 18, 2026
performance for expanding large expressions with multilinear functions Open

JuliaSymbolics/SymbolicUtils.jl#314 · 1 comment · 1 reaction · 0 assignees · Indexed Sep 18, 2026
incorrect computations for number types that are not of characteristic 0 Open

JuliaSymbolics/SymbolicUtils.jl#315 · 2 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
make `@syms` support functions with a variable number of arguments Open

good first issue

JuliaSymbolics/SymbolicUtils.jl#316 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
simplification leads to 1//0 instead of -1//0 Open

JuliaSymbolics/SymbolicUtils.jl#339 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
Separate Rewriters module into different package. Open

JuliaSymbolics/SymbolicUtils.jl#341 · 2 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
Performance of `simplify` Open

JuliaSymbolics/SymbolicUtils.jl#345 · 6 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
RFC Decouple rule definition and classical pattern matching from SU and Metatheory.jl for interstellar grade integration. Open

JuliaSymbolics/SymbolicUtils.jl#355 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 18, 2026
Memory-effective trigonometric sum generation Open

JuliaSymbolics/SymbolicUtils.jl#362 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
Simplification of Boolean expression runs forever Open

JuliaSymbolics/SymbolicUtils.jl#371 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
Does `Add` need symtype `<:Number`? Open

JuliaSymbolics/SymbolicUtils.jl#376 · 3 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
re-evaluate default behavior of similarterm Open

JuliaSymbolics/SymbolicUtils.jl#381 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 18, 2026
Develop an e-graph ruleset for `simplify`. Open

JuliaSymbolics/SymbolicUtils.jl#393 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
Coeffs Open

JuliaSymbolics/SymbolicUtils.jl#396 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 18, 2026
simplify_fractions may have some problems? Open

JuliaSymbolics/SymbolicUtils.jl#397 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
Simplifying Logarithms Open

JuliaSymbolics/SymbolicUtils.jl#400 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
`@register` does not work for arrays variables or arrays of variables Open

JuliaSymbolics/SymbolicUtils.jl#402 · 4 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
About simplify / simplify_fractions /quick_cancel for div expr Open

JuliaSymbolics/SymbolicUtils.jl#404 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026
inconsistent behavior of @rule, @acrule with 'minus' him Open

JuliaSymbolics/SymbolicUtils.jl#407 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 18, 2026
`simplify_fractions` with `@threads` gives `Bijection` errors Open

JuliaSymbolics/SymbolicUtils.jl#408 · 3 comments · 1 reaction · 0 assignees · Indexed Sep 18, 2026
no method matching `gcd(::Float64, ::Float64)` error Open

JuliaSymbolics/SymbolicUtils.jl#410 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 18, 2026
how to solve a system of nonlinear equations Open

JuliaSymbolics/SymbolicUtils.jl#411 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 18, 2026

JuliaSymbolics/SymbolicUtils.jl

Get new issues in your inbox