Lines Matching refs:monotonic
5021 # rounded to double precision. The result is provably monotonic #
5726 # rounded to double precision. The result is provably monotonic #
6156 # rounded to double precision. The result is provably monotonic #
6606 # rounded to double precision. The result is provably monotonic #
6707 # rounded to double precision. The result is provably monotonic #
6803 # rounded to double precision. The result is provably monotonic #
7684 # rounded to double precision. The result is provably monotonic #
7798 # rounded to double precision. The result is provably monotonic #
7916 # rounded to double precision. The result is provably monotonic #
8082 # rounded to double precision. The result is provably monotonic #
8677 # rounded to double precision. The result is provably monotonic #
8767 # rounded to double precision. The result is provably monotonic #
8931 # rounded to double precision. The result is provably monotonic #