Skip to content

Conversation

@dependabot
Copy link
Contributor

@dependabot dependabot bot commented on behalf of github Nov 29, 2025

Updates the requirements on Symbolics to permit the latest version.

Release notes

Sourced from Symbolics's releases.

v7.1.1

Symbolics v7.1.1

Diff since v7.1.0

Merged pull requests:

Changelog

Sourced from Symbolics's changelog.

4.0.0

  • Symbolics.jl now supports the latest symbolic computing architecture backed by Metatheory.jl v1.2 and SymbolicUtils.jl v0.18 for generic term rewriting.
  • Support for automatic code optimization through Metatheory.jl EGraphs and SymbolicUtils's optimize function.

3.3.0

  • adds simplify_fractions which turns an expression into a single fraction and simplifies by dividing the numerator and denominator factors by appropriate GCDs
  • Use new fraction_iszero and fraction_isone functions from SymbolicUtils to implement iszero and isone respectively.
  • x / x etc. are no more simplified on construction, call simplify_fractions to simplify them.
Commits
  • 0f07d10 Merge pull request #1700 from JuliaSymbolics/as/bump-version
  • 72f84e7 build: bump patch version
  • cd4737c Merge pull request #1699 from JuliaSymbolics/as/fix-precompilation
  • 2a3ba5e hotfix: avoid method overwriting
  • 0d8a2b9 Merge pull request #1698 from JuliaSymbolics/as/bump-version
  • 1eb065c build: bump minor version
  • bc33efc Merge pull request #1696 from JuliaSymbolics/as/fixpoint-sub
  • fab81ce test: update reference test
  • 23d7ed8 fix: properly hashcons global constant symbolic variables
  • 124e11a feat: make fixpoint_sub accept substitute options
  • Additional commits viewable in compare view

Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting @dependabot rebase.


Dependabot commands and options

You can trigger Dependabot actions by commenting on this PR:

  • @dependabot rebase will rebase this PR
  • @dependabot recreate will recreate this PR, overwriting any edits that have been made to it
  • @dependabot merge will merge this PR after your CI passes on it
  • @dependabot squash and merge will squash and merge this PR after your CI passes on it
  • @dependabot cancel merge will cancel a previously requested merge and block automerging
  • @dependabot reopen will reopen this PR if it is closed
  • @dependabot close will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually
  • @dependabot show <dependency name> ignore conditions will show all of the ignore conditions of the specified dependency
  • @dependabot ignore this major version will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)
  • @dependabot ignore this minor version will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)
  • @dependabot ignore this dependency will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)

Updates the requirements on [Symbolics](https://github.com/JuliaSymbolics/Symbolics.jl) to permit the latest version.
- [Release notes](https://github.com/JuliaSymbolics/Symbolics.jl/releases)
- [Changelog](https://github.com/JuliaSymbolics/Symbolics.jl/blob/master/NEWS.md)
- [Commits](JuliaSymbolics/Symbolics.jl@v6.0.0...v7.1.1)

---
updated-dependencies:
- dependency-name: Symbolics
  dependency-version: 7.1.1
  dependency-type: direct:production
...

Signed-off-by: dependabot[bot] <support@github.com>
@dependabot dependabot bot added dependencies Pull requests that update a dependency file julia Pull requests that update julia code labels Nov 29, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

dependencies Pull requests that update a dependency file julia Pull requests that update julia code

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant