Lines Matching refs:monotonic
4915 # rounded to double precision. The result is provably monotonic #
5620 # rounded to double precision. The result is provably monotonic #
6050 # rounded to double precision. The result is provably monotonic #
6500 # rounded to double precision. The result is provably monotonic #
6601 # rounded to double precision. The result is provably monotonic #
6697 # rounded to double precision. The result is provably monotonic #
7578 # rounded to double precision. The result is provably monotonic #
7692 # rounded to double precision. The result is provably monotonic #
7810 # rounded to double precision. The result is provably monotonic #
7976 # rounded to double precision. The result is provably monotonic #
8571 # rounded to double precision. The result is provably monotonic #
8661 # rounded to double precision. The result is provably monotonic #
8825 # rounded to double precision. The result is provably monotonic #