It's All Set - LazySets Errors: Showing Types and set_tolerance not defined

General Usage
2

For this first one, it seems the QuadraticMap type was added just a month ago to LazySets, and I think they missed to add a isoperationtype(::Type{QuadraticMap}) method (or maybe it was intentional, in which case the tutorial needs to be updated). Either way, I’ll open an issue for this, thanks for reporting it.

For now, you can do:

julia> for S in subtypes(LazySet, true)
           # these three types don't have an `isoperationtype` method, so work around it
           S in (QuadraticMap, SimpleSparsePolynomialZonotope, SparsePolynomialZonotope) && continue
           if !isoperationtype(S)
               println(S)
           end
       end

to print out the rest of the concrete set types.

1 Like