Is there any plan to support set theory or logical statements

JuliaSymbolics / Symbolics.jl

Symbolic programming for the next generation of numerical software

https://docs.sciml.ai/Symbolics/stable/

Other

1.37k stars 153 forks source link

Is there any plan to support set theory or logical statements #1201

Open Dboingue opened 3 months ago

Dboingue commented 3 months ago

I am not sure how to describe this, but it seems absent from the feature set.

The ability to define sets, and space structures. And maybe even have symbolic logic, without having to compute boolean. Mathematica does have such a feature. If there is another wording for equilvalent existing feature, I would be glad to be redirected. Perhaps Sage math also has such feature. I am still looking around.

ChrisRackauckas commented 3 months ago

At this point no one is working on it, but I would not be opposed to someone picking it up.