Question

Scala尖塔给出以下结果。根据我的理解，它必须为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))

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

Answer 1

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

// 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))

斯卡拉尖塔间隔给出错误的结果

1 个答案: