1

Scala spire 给出了以下结果。根据我的理解，它必须给List((0.0,0.1],[3.0,5.0))。为什么会有这样的结果？

scala> val x = Interval.openLower(0.0,0.1)
x: spire.math.Interval[Double] = (0.0, 0.1]

scala> val y = Interval.openUpper(3.0,5.0)
y: spire.math.Interval[Double] = [3.0, 5.0)

scala> x.union(y)
res0: spire.math.Interval[Double] = (0.0, 5.0)

并且

 val S = Interval.open(1.0, 4.5)
val A = Interval.open(1.0, 3.0)
val B = Interval.open(2.0, 4.0)
val C = Interval.openUpper(3.0, 4.5)
println(S \ (A ∩ B))
val list = (S \ A).union(S \ B)
println(list)

结果是

List((1.0, 2.0], [3.0, 4.5))
List([3.0, 4.5), (1.0, 2.0], [4.0, 4.5))

我该如何将较低的结果统一到较高的结果，以使两者相等。

4

1 回答 1

0

我遇到了同样的问题，发现 SpireIntervalSeq完成了工作。

// ammonite script intervals.sc
import $ivy.`org.typelevel::spire:0.17.0-M1`
import $ivy.`org.typelevel::spire-extras:0.17.0-M1`

import spire.math.Interval
import spire.math.extras.interval.IntervalSeq
import spire.implicits._

val S = IntervalSeq(Interval.open(1.0, 4.5))
val A = IntervalSeq(Interval.open(1.0, 3.0))
val B = IntervalSeq(Interval.open(2.0, 4.0))
val C = IntervalSeq(Interval.openUpper(3.0, 4.5))

val r1 = (S ^ (A & B))
println("r1=>" + r1.intervals.toList)
val r2 = ((S ^ A) | (S ^ B))
println("r2=>" + r2.intervals.toList)

使用 Ammonite REPL 运行它会产生以下输出：

r1=>List((1.0, 2.0], [3.0, 4.5))
r2=>List((1.0, 2.0], [3.0, 4.5))
于 2020-06-29T19:59:39.167 回答