Генерировать двойники между а и б

Question

import org.scalacheck._
import org.scalacheck.Prop._

object Doubles extends Properties("Gen Doubles") {
  val positiveDouble = Arbitrary.arbitrary[Double] suchThat (_ > 0.0)
  val normalize = Arbitrary.arbitrary[Double] map (f => math.abs(f) / Double.MaxValue)
  def between(a: Double, b: Double) = normalize map (_ * (b - a) + a)
  property("normalize") = forAll(normalize) { f => 0.0 <= f && f <= 1.0 }
  property("between") = forAll(positiveDouble, positiveDouble) { (a: Double, b: Double) =>
    forAll(between(a, b)) { f =>
      a <= f && f <= b
    }
  }
}

Вывод через http://scastie.org/13056

+ Gen Doubles.normalize: OK, passed 100 tests.

! Gen Doubles.between: Falsified after 0 passed tests.
> ARG_0: 2.9635128477431505E249
> ARG_1: 1.807071439895287E-167

Где моя математика терпит неудачу?

РЕДАКТИРОВАТЬ решение:

val ascendingTuple = (for {
  a <- Arbitrary.arbitrary[Double]
  b <- Arbitrary.arbitrary[Double]
} yield(a, b))suchThat({case (a, b) => a < b})

Answer 1

Проблема в том, что вы не соблюдаете b должно быть больше чем a, но ваш тест предполагает это. Когда сгенерированное значение для b меньше чем aВы получите номер такой, что b <= f <= a, который не проходит ваш тест. Для простого исправления попробуйте:

forAll(between(a, b)) { f =>
  if (a < b) {
    a <= f && f <= b
  } else {
    b <= f && f <= a
  }
}