Searched defs:sqrt_interval (Results 1 – 3 of 3) sorted by relevance
77 interval<double>::type sqrt_interval = interval<double>::right_open(1/sqrt(2.0), sqrt(2.0)); in main() local
74 interval<double>::type sqrt_interval = interval<double>::right_open(1/sqrt(2.0), sqrt(2.0)); in main() local
56 continuous_interval<double> sqrt_interval in main() local