LazySets.jl
LazySets.jl copied to clipboard
Revise Line code
Main changes:
- fix docs setup for
constraints_list - fix bug in constructor with
normalizeoption (did not really normalize)- since
normalizecrashes forRationalnumbers, I changed the default value tofalse
- since
- fix bug in
linear_map(could result in a line with a zero direction, thus erroring)