search

JuliaReach / MathematicalSets.jl

Set definitions in Julia
https://juliareach.github.io/MathematicalSets.jl/
MIT License
5 stars 0 forks source link

Add elimination of set variables #10

Open mforets opened 5 years ago

mforets commented 5 years ago

See again this comment.

Proposal. Add eliminate(set::AbstractSet, variables) same as project(set, setminus(space_variables(set), variables)).

Depends on #8. May be better to do #9 first.