Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

DO NOT MERGE - test master #1056

Closed
wants to merge 1 commit into from
Closed

DO NOT MERGE - test master #1056

wants to merge 1 commit into from

Conversation

isaacsas
Copy link
Member

No description provided.

@isaacsas
Copy link
Member Author

@TorkelE tests seem to be failing from a test that is relying on Symbolics.jl internals.

@isaacsas
Copy link
Member Author

isaacsas commented Sep 20, 2024

Looking at this more carefully it seems to me like this is a bug and that variables arising from observables are not being created correctly by the DSL. They should be completely equivalent to a normal variable, even generating the same code when using @macroexpand, but when I look at what the DSL generates it is not producing the same thing.

@TorkelE
Copy link
Member

TorkelE commented Sep 21, 2024

Yeah, there is a comment on it

# Declares observables implicitly/explicitly.
# Cannot test `isequal(rn1, rn2)` because the two sets of observables have some obscure Symbolics
# substructure that is different.

Last time when i had a look at it, I could not figure it out though, e.g.

isequal(rn1.X, rn2.X) # false
isequal(Symbolics.unwrap(rn1.X), Symbolics.unwrap(rn2.X)) # false
isequal(Symbolics.unwrap(rn1.X).metadata, Symbolics.unwrap(rn2.X).metadata) # true

However, the remaining fields checked with

println(fieldnames(typeof(Symbolics.unwrap(rn1.X))))

is nothing like normal Julia types

(:metadata, Symbol("###simplified###2"), Symbol("###Any###3"), Symbol("###Any###4"), Symbol("###Any###5"), Symbol("###Any###6"), Symbol("###Any###7"), Symbol("###tag###8"))

and I'd really need a Symbolics expert to explain to me what is going on and what these weird stuff are.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants