The great symbolics update

[ChrisRackauckas]

• CompatHelper: bump compat for SymbolicUtils to 1, (keep existing compat) SciML/NeuralPDE.jl#629
• CompatHelper: bump compat for SymbolicUtils to 1, (keep existing compat) SciML/MethodOfLines.jl#232
• CompatHelper: bump compat for SymbolicUtils to 1, (keep existing compat) SciML/SymbolicNumericIntegration.jl#33
• CompatHelper: bump compat for SymbolicUtils to 1, (keep existing compat) SciML/CellMLToolkit.jl#103
• ModelingToolkit.jl
• SymbolicRegression.jl
• DataDrivenDiffEq.jl?
• ModelOrderReduction.jl
• SBMLToolkit
• FMUs
• HVAC
• CompatHelper: bump compat for Symbolics to 5 for package docs, (keep existing compat) SciML/SciMLWorkshop.jl#27
• CompatHelper: bump compat for Symbolics to 5, (keep existing compat) SciML/NeuralPDE.jl#630
• CompatHelper: bump compat for Symbolics to 5 for package docs, (keep existing compat) SciML/DiffEqDocs.jl#639
• CompatHelper: bump compat for Symbolics to 5, (keep existing compat) SciML/ModelingToolkitStandardLibrary.jl#142
• CompatHelper: bump compat for Symbolics to 5, (keep existing compat) SciML/MethodOfLines.jl#234
• CompatHelper: bump compat for Symbolics to 5, (keep existing compat) SciML/SymbolicNumericIntegration.jl#34
• Catalyst
• CompatHelper: bump compat for Symbolics to 5 for package StiffODE, (keep existing compat) SciML/SciMLBenchmarks.jl#566
• CompatHelper: bump compat for Symbolics to 5, (keep existing compat) SciML/ReactionNetworkImporters.jl#93 (comment)
• FMUGeneration
• JSMO

Let's handle as much of this as possible this next week.

@anandijain @ArnoStrouwen

[isaacsas]

I guess this applies to Catalyst too? Not sure why we didn’t get a compat helper bump there.

[ChrisRackauckas]

Maybe CompatHelper's last night run there failed too. Yeah I just generated this list from my email so it's maybe not all of them.

[ArnoStrouwen]

All the CompatHelper PRs already here run every hour, while Catalyst runs once a day. It will probably come later, together with the other repos that run daily.

[xtalax]

Merged in MethodOfLines.jl

[ArnoStrouwen]

Merged in MethodOfLines.jl

MOL depends on MTK though, which is not yet updated.

[xtalax]

Yes, leaving this unreleased for now

[ArnoStrouwen]

Some notes to keep track of which packages are best to start with

SymbolicNumericIntegration requires DataDrivenDiffEq to be compatible with new Symbolics
DataDrivenDiffEq requires SymbolicRegression to be compatible with new Symbolics
SymbolicRegression requires DynamicExpressions to be compatible with new Symbolics
DynamicExpressions is currently blocked by JuliaSymbolics/SymbolicUtils.jl#500

CellMLToolkit requires MathML to be compatible with new Symbolics
SBMLToolkit requires MathML and Catalyst to be compatible with new Symbolics

DiffEqDocs requires Catalyst to be compatible with new Symbolics
ReactionNetworkImporters requires Catalyst to be compatible with new Symbolics

SciMLBenchmarks/StiffODE requires a bunch of things to be changed

[ArnoStrouwen]

This page seems out of date: https://juliasymbolics.org/

[ChrisRackauckas]

MathML is done

[xtalax]

I take it that the following is related?

(PDESystemLibrary) pkg> add NeuralPDE
   Resolving package versions...
ERROR: Unsatisfiable requirements detected for package NeuralPDE [315f7962]:
 NeuralPDE [315f7962] log:
 ├─possible versions are: 2.0.0-5.3.0 or uninstalled
 ├─restricted to versions * by an explicit requirement, leaving only versions 2.0.0-5.3.0
 ├─restricted by compatibility requirements with SymbolicUtils [d1185830] to versions: 2.0.0-3.15.0 or uninstalled, leaving only versions: 2.0.0-3.15.0
 │ └─SymbolicUtils [d1185830] log:
 │   ├─possible versions are: 0.1.0-1.0.3 or uninstalled
 │   ├─restricted to versions 1 by ModelingToolkit [961ee093], leaving only versions 1.0.0-1.0.3
 │   │ └─ModelingToolkit [961ee093] log:
 │   │   ├─possible versions are: 8.47.0 or uninstalled
 │   │   └─ModelingToolkit [961ee093] is fixed to version 8.47.0
 │   └─restricted by compatibility requirements with Symbolics [0c5d862f] to versions: 1.0.1-1.0.3
 │     └─Symbolics [0c5d862f] log:
 │       ├─possible versions are: 0.1.0-5.0.2 or uninstalled
 │       └─restricted to versions 5 by ModelingToolkit [961ee093], leaving only versions 5.0.0-5.0.2
 │         └─ModelingToolkit [961ee093] log: see above
 ├─restricted by compatibility requirements with RuntimeGeneratedFunctions [7e49a35a] to versions: [2.0.0-2.7.0, 3.3.0-5.3.0] or uninstalled, leaving only versions: [2.0.0-2.7.0, 3.3.0-3.15.0]
 │ └─RuntimeGeneratedFunctions [7e49a35a] log:
 │   ├─possible versions are: 0.1.0-0.5.5 or uninstalled
 │   └─restricted to versions 0.4.3-0.5 by ModelingToolkit [961ee093], leaving only versions 0.5.0-0.5.5
 │     └─ModelingToolkit [961ee093] log: see above
 └─restricted by compatibility requirements with ModelingToolkit [961ee093] to versions: 4.2.0-5.3.0 or uninstalled — no versions left
   └─ModelingToolkit [961ee093] log: see above

[ArnoStrouwen]

ModelingToolkit [961ee093] is fixed to version 8.47.0

If MTK is fixed to the latest release, which is only compatible with the latest Symbolics, then it won't be compatible with NeuralPDE since that is still on old Symbolics.

[xtalax]

@ArnoStrouwen Do you know how complex updating NeuralPDE to 5.0 is? I may try this.

[ArnoStrouwen]

@xtalax There currently are no more blockers, i.e. other packages that need to be updated before NeuralPDE can be updated.
I tried forcing the new versions here: ArnoStrouwen/NeuralPDE.jl#3 and this fails.
I don't know more than that.

[MilesCranmer]

DynamicExpressions.jl (>=0.5.1) and SymbolicRegression.jl (>=0.16.3) have just been updated to SymbolicUtils.jl v1! Thanks to @shashi for fixing an issue with LiteralReal 🥳

[xtalax]

Neural is done :)

[ArnoStrouwen]

Is there anything of this that is still open?
All the stuff in my above comments seems to have been done.

[ChrisRackauckas]

Yup we're past this.