search

JuliaReach / MathematicalSets.jl

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

Add projection on set variables #9

Open mforets opened 5 years ago

mforets commented 5 years ago

See again this comment.

Proposal. Add project(set::AbstractSet, variables) to project onto variables which is a subset of space_variables(set).

Depends on #8.