leancheck-0.9.0: test/diff/tiers-ComplexDouble.out
map length (tiers :: [[ Complex Double ]]) = [0,1,2,5,10,14,20,25,32,40,48,60,...]
length (list :: [ Complex Double ]) = Infinity
allUnique (list :: [ Complex Double ]) = True
ratioRepetitions (list :: [ Complex Double ]) = 0 % 1
tiers :: [Complex Double] =
[ []
, [0.0 :+ 0.0]
, [ 0.0 :+ 1.0
, 1.0 :+ 0.0
]
, [ 0.0 :+ (-1.0)
, 0.0 :+ Infinity
, 1.0 :+ 1.0
, (-1.0) :+ 0.0
, Infinity :+ 0.0
]
, [ 0.0 :+ 0.5
, 0.0 :+ 2.0
, 0.0 :+ (-Infinity)
, 1.0 :+ (-1.0)
, 1.0 :+ Infinity
, (-1.0) :+ 1.0
, Infinity :+ 1.0
, 0.5 :+ 0.0
, 2.0 :+ 0.0
, (-Infinity) :+ 0.0
]
, [ 0.0 :+ (-0.5)
, 0.0 :+ (-2.0)
, 1.0 :+ 0.5
, 1.0 :+ 2.0
, 1.0 :+ (-Infinity)
, (-1.0) :+ (-1.0)
, (-1.0) :+ Infinity
, Infinity :+ (-1.0)
, Infinity :+ Infinity
, 0.5 :+ 1.0
, 2.0 :+ 1.0
, (-Infinity) :+ 1.0
, (-0.5) :+ 0.0
, (-2.0) :+ 0.0
]
, [ 0.0 :+ 0.3333333333333333
, 0.0 :+ 3.0
, 1.0 :+ (-0.5)
, 1.0 :+ (-2.0)
, (-1.0) :+ 0.5
, (-1.0) :+ 2.0
, (-1.0) :+ (-Infinity)
, Infinity :+ 0.5
, Infinity :+ 2.0
, Infinity :+ (-Infinity)
, 0.5 :+ (-1.0)
, 0.5 :+ Infinity
, 2.0 :+ (-1.0)
, 2.0 :+ Infinity
, (-Infinity) :+ (-1.0)
, (-Infinity) :+ Infinity
, (-0.5) :+ 1.0
, (-2.0) :+ 1.0
, 0.3333333333333333 :+ 0.0
, 3.0 :+ 0.0
]
, [ 0.0 :+ (-0.3333333333333333)
, 0.0 :+ (-3.0)
, 1.0 :+ 0.3333333333333333
, 1.0 :+ 3.0
, (-1.0) :+ (-0.5)
, (-1.0) :+ (-2.0)
, Infinity :+ (-0.5)
, Infinity :+ (-2.0)
, 0.5 :+ 0.5
, 0.5 :+ 2.0
, 0.5 :+ (-Infinity)
, 2.0 :+ 0.5
, 2.0 :+ 2.0
, 2.0 :+ (-Infinity)
, (-Infinity) :+ 0.5
, (-Infinity) :+ 2.0
, (-Infinity) :+ (-Infinity)
, (-0.5) :+ (-1.0)
, (-0.5) :+ Infinity
, (-2.0) :+ (-1.0)
, (-2.0) :+ Infinity
, 0.3333333333333333 :+ 1.0
, 3.0 :+ 1.0
, (-0.3333333333333333) :+ 0.0
, (-3.0) :+ 0.0
]
, [ 0.0 :+ 0.25
, 0.0 :+ 0.6666666666666666
, 0.0 :+ 1.5
, 0.0 :+ 4.0
, 1.0 :+ (-0.3333333333333333)
, 1.0 :+ (-3.0)
, (-1.0) :+ 0.3333333333333333
, (-1.0) :+ 3.0
, Infinity :+ 0.3333333333333333
, Infinity :+ 3.0
, 0.5 :+ (-0.5)
, 0.5 :+ (-2.0)
, 2.0 :+ (-0.5)
, 2.0 :+ (-2.0)
, (-Infinity) :+ (-0.5)
, (-Infinity) :+ (-2.0)
, (-0.5) :+ 0.5
, (-0.5) :+ 2.0
, (-0.5) :+ (-Infinity)
, (-2.0) :+ 0.5
, (-2.0) :+ 2.0
, (-2.0) :+ (-Infinity)
, 0.3333333333333333 :+ (-1.0)
, 0.3333333333333333 :+ Infinity
, 3.0 :+ (-1.0)
, 3.0 :+ Infinity
, (-0.3333333333333333) :+ 1.0
, (-3.0) :+ 1.0
, 0.25 :+ 0.0
, 0.6666666666666666 :+ 0.0
, 1.5 :+ 0.0
, 4.0 :+ 0.0
]
, [ 0.0 :+ (-0.25)
, 0.0 :+ (-0.6666666666666666)
, 0.0 :+ (-1.5)
, 0.0 :+ (-4.0)
, 1.0 :+ 0.25
, 1.0 :+ 0.6666666666666666
, 1.0 :+ 1.5
, 1.0 :+ 4.0
, (-1.0) :+ (-0.3333333333333333)
, (-1.0) :+ (-3.0)
, Infinity :+ (-0.3333333333333333)
, Infinity :+ (-3.0)
, 0.5 :+ 0.3333333333333333
, 0.5 :+ 3.0
, 2.0 :+ 0.3333333333333333
, 2.0 :+ 3.0
, (-Infinity) :+ 0.3333333333333333
, (-Infinity) :+ 3.0
, (-0.5) :+ (-0.5)
, (-0.5) :+ (-2.0)
, (-2.0) :+ (-0.5)
, (-2.0) :+ (-2.0)
, 0.3333333333333333 :+ 0.5
, 0.3333333333333333 :+ 2.0
, 0.3333333333333333 :+ (-Infinity)
, 3.0 :+ 0.5
, 3.0 :+ 2.0
, 3.0 :+ (-Infinity)
, (-0.3333333333333333) :+ (-1.0)
, (-0.3333333333333333) :+ Infinity
, (-3.0) :+ (-1.0)
, (-3.0) :+ Infinity
, 0.25 :+ 1.0
, 0.6666666666666666 :+ 1.0
, 1.5 :+ 1.0
, 4.0 :+ 1.0
, (-0.25) :+ 0.0
, (-0.6666666666666666) :+ 0.0
, (-1.5) :+ 0.0
, (-4.0) :+ 0.0
]
, [ 0.0 :+ 0.2
, 0.0 :+ 5.0
, 1.0 :+ (-0.25)
, 1.0 :+ (-0.6666666666666666)
, 1.0 :+ (-1.5)
, 1.0 :+ (-4.0)
, (-1.0) :+ 0.25
, (-1.0) :+ 0.6666666666666666
, (-1.0) :+ 1.5
, (-1.0) :+ 4.0
, Infinity :+ 0.25
, Infinity :+ 0.6666666666666666
, Infinity :+ 1.5
, Infinity :+ 4.0
, 0.5 :+ (-0.3333333333333333)
, 0.5 :+ (-3.0)
, 2.0 :+ (-0.3333333333333333)
, 2.0 :+ (-3.0)
, (-Infinity) :+ (-0.3333333333333333)
, (-Infinity) :+ (-3.0)
, (-0.5) :+ 0.3333333333333333
, (-0.5) :+ 3.0
, (-2.0) :+ 0.3333333333333333
, (-2.0) :+ 3.0
, 0.3333333333333333 :+ (-0.5)
, 0.3333333333333333 :+ (-2.0)
, 3.0 :+ (-0.5)
, 3.0 :+ (-2.0)
, (-0.3333333333333333) :+ 0.5
, (-0.3333333333333333) :+ 2.0
, (-0.3333333333333333) :+ (-Infinity)
, (-3.0) :+ 0.5
, (-3.0) :+ 2.0
, (-3.0) :+ (-Infinity)
, 0.25 :+ (-1.0)
, 0.25 :+ Infinity
, 0.6666666666666666 :+ (-1.0)
, 0.6666666666666666 :+ Infinity
, 1.5 :+ (-1.0)
, 1.5 :+ Infinity
, 4.0 :+ (-1.0)
, 4.0 :+ Infinity
, (-0.25) :+ 1.0
, (-0.6666666666666666) :+ 1.0
, (-1.5) :+ 1.0
, (-4.0) :+ 1.0
, 0.2 :+ 0.0
, 5.0 :+ 0.0
]
, [ 0.0 :+ (-0.2)
, 0.0 :+ (-5.0)
, 1.0 :+ 0.2
, 1.0 :+ 5.0
, (-1.0) :+ (-0.25)
, (-1.0) :+ (-0.6666666666666666)
, (-1.0) :+ (-1.5)
, (-1.0) :+ (-4.0)
, Infinity :+ (-0.25)
, Infinity :+ (-0.6666666666666666)
, Infinity :+ (-1.5)
, Infinity :+ (-4.0)
, 0.5 :+ 0.25
, 0.5 :+ 0.6666666666666666
, 0.5 :+ 1.5
, 0.5 :+ 4.0
, 2.0 :+ 0.25
, 2.0 :+ 0.6666666666666666
, 2.0 :+ 1.5
, 2.0 :+ 4.0
, (-Infinity) :+ 0.25
, (-Infinity) :+ 0.6666666666666666
, (-Infinity) :+ 1.5
, (-Infinity) :+ 4.0
, (-0.5) :+ (-0.3333333333333333)
, (-0.5) :+ (-3.0)
, (-2.0) :+ (-0.3333333333333333)
, (-2.0) :+ (-3.0)
, 0.3333333333333333 :+ 0.3333333333333333
, 0.3333333333333333 :+ 3.0
, 3.0 :+ 0.3333333333333333
, 3.0 :+ 3.0
, (-0.3333333333333333) :+ (-0.5)
, (-0.3333333333333333) :+ (-2.0)
, (-3.0) :+ (-0.5)
, (-3.0) :+ (-2.0)
, 0.25 :+ 0.5
, 0.25 :+ 2.0
, 0.25 :+ (-Infinity)
, 0.6666666666666666 :+ 0.5
, 0.6666666666666666 :+ 2.0
, 0.6666666666666666 :+ (-Infinity)
, 1.5 :+ 0.5
, 1.5 :+ 2.0
, 1.5 :+ (-Infinity)
, 4.0 :+ 0.5
, 4.0 :+ 2.0
, 4.0 :+ (-Infinity)
, (-0.25) :+ (-1.0)
, (-0.25) :+ Infinity
, (-0.6666666666666666) :+ (-1.0)
, (-0.6666666666666666) :+ Infinity
, (-1.5) :+ (-1.0)
, (-1.5) :+ Infinity
, (-4.0) :+ (-1.0)
, (-4.0) :+ Infinity
, 0.2 :+ 1.0
, 5.0 :+ 1.0
, (-0.2) :+ 0.0
, (-5.0) :+ 0.0
]
, ...
]