In #3447 we added convenience functions from ReachabilityAnalysis to construct important intervals (zero_itv/sym_itv). They were generalized to other numeric types; hence currently every call creates a new instance. We should have a dictionary instead that stores these instances, or just store the Float64 one because that is the one we would use in practice.
In #3447 we added convenience functions from
ReachabilityAnalysisto construct important intervals (zero_itv/sym_itv). They were generalized to other numeric types; hence currently every call creates a new instance. We should have a dictionary instead that stores these instances, or just store theFloat64one because that is the one we would use in practice.