leancheck-0.9.12: test/diff/tiers-ComplexDouble.out
map length (tiers :: [[ Complex Double ]]) = [0,1,2,3,4,5,6,7,8,9,10,11,...]
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)
, 1.0 :+ 1.0
, (-1.0) :+ 0.0
]
, [ 0.0 :+ 0.5
, 1.0 :+ (-1.0)
, (-1.0) :+ 1.0
, 0.5 :+ 0.0
]
, [ 0.0 :+ (-0.5)
, 1.0 :+ 0.5
, (-1.0) :+ (-1.0)
, 0.5 :+ 1.0
, (-0.5) :+ 0.0
]
, [ 0.0 :+ 2.0
, 1.0 :+ (-0.5)
, (-1.0) :+ 0.5
, 0.5 :+ (-1.0)
, (-0.5) :+ 1.0
, 2.0 :+ 0.0
]
, [ 0.0 :+ Infinity
, 1.0 :+ 2.0
, (-1.0) :+ (-0.5)
, 0.5 :+ 0.5
, (-0.5) :+ (-1.0)
, 2.0 :+ 1.0
, Infinity :+ 0.0
]
, [ 0.0 :+ (-Infinity)
, 1.0 :+ Infinity
, (-1.0) :+ 2.0
, 0.5 :+ (-0.5)
, (-0.5) :+ 0.5
, 2.0 :+ (-1.0)
, Infinity :+ 1.0
, (-Infinity) :+ 0.0
]
, [ 0.0 :+ (-2.0)
, 1.0 :+ (-Infinity)
, (-1.0) :+ Infinity
, 0.5 :+ 2.0
, (-0.5) :+ (-0.5)
, 2.0 :+ 0.5
, Infinity :+ (-1.0)
, (-Infinity) :+ 1.0
, (-2.0) :+ 0.0
]
, [ 0.0 :+ 0.3333333333333333
, 1.0 :+ (-2.0)
, (-1.0) :+ (-Infinity)
, 0.5 :+ Infinity
, (-0.5) :+ 2.0
, 2.0 :+ (-0.5)
, Infinity :+ 0.5
, (-Infinity) :+ (-1.0)
, (-2.0) :+ 1.0
, 0.3333333333333333 :+ 0.0
]
, [ 0.0 :+ (-0.3333333333333333)
, 1.0 :+ 0.3333333333333333
, (-1.0) :+ (-2.0)
, 0.5 :+ (-Infinity)
, (-0.5) :+ Infinity
, 2.0 :+ 2.0
, Infinity :+ (-0.5)
, (-Infinity) :+ 0.5
, (-2.0) :+ (-1.0)
, 0.3333333333333333 :+ 1.0
, (-0.3333333333333333) :+ 0.0
]
, ...
]