mforets
commented
4 years ago The topic actually came on slack "having plane, vector and line types to intersect", with the follow-up question "why you don't extend the Base.intersect function but instead define intersection?". This is a very good point; the lazy operations adds a new layer of complexity which is not needed at least from the start. Relevant issue: https://github.com/JuliaReach/LazySets.jl/issues/175
LazySets + ModelingToolkit could be used for teaching, eg. basic linear algebra / geometry courses.
The following notebook can be used as starting point for some basic explanatory stuff: BasicGeometry
This meta-issue is to discuss possible extensions / docs etc that we could add to the library with teaching in mind.