summaryrefslogtreecommitdiff
path: root/test/files/run/Course-2002-07.check
diff options
context:
space:
mode:
Diffstat (limited to 'test/files/run/Course-2002-07.check')
-rw-r--r--test/files/run/Course-2002-07.check112
1 files changed, 56 insertions, 56 deletions
diff --git a/test/files/run/Course-2002-07.check b/test/files/run/Course-2002-07.check
index 0a378e6d20..75e956f310 100644
--- a/test/files/run/Course-2002-07.check
+++ b/test/files/run/Course-2002-07.check
@@ -24,71 +24,71 @@
List() = concat(List())
List() = concat(List(List()))
-List() = concat(List(List(),List()))
-List() = concat(List(List(),List(),List()))
-List(1,2,3,4,5,6) = concat(List(List(1,2,3,4,5,6)))
-List(1,2,3,4,5,6) = concat(List(List(1,2,3,4,5,6),List()))
-List(1,2,3,4,5,6) = concat(List(List(1,2,3),List(4,5,6)))
-List(1,2,3,4,5,6) = concat(List(List(),List(1,2,3,4,5,6)))
-List(1,2,3,4,5,6) = concat(List(List(1,2,3,4,5,6),List(),List()))
-List(1,2,3,4,5,6) = concat(List(List(1,2,3,4,5),List(6),List()))
-List(1,2,3,4,5,6) = concat(List(List(1,2,3),List(4,5,6),List()))
-List(1,2,3,4,5,6) = concat(List(List(1),List(2,3,4,5,6),List()))
-List(1,2,3,4,5,6) = concat(List(List(),List(1,2,3,4,5,6),List()))
-List(1,2,3,4,5,6) = concat(List(List(),List(1,2,3,4,5),List(6)))
-List(1,2,3,4,5,6) = concat(List(List(),List(1,2,3),List(4,5,6)))
-List(1,2,3,4,5,6) = concat(List(List(),List(1),List(2,3,4,5,6)))
-List(1,2,3,4,5,6) = concat(List(List(),List(),List(1,2,3,4,5,6)))
-List(1,2,3,4,5,6) = concat(List(List(1,2),List(3,4),List(5,6)))
+List() = concat(List(List(), List()))
+List() = concat(List(List(), List(), List()))
+List(1, 2, 3, 4, 5, 6) = concat(List(List(1, 2, 3, 4, 5, 6)))
+List(1, 2, 3, 4, 5, 6) = concat(List(List(1, 2, 3, 4, 5, 6), List()))
+List(1, 2, 3, 4, 5, 6) = concat(List(List(1, 2, 3), List(4, 5, 6)))
+List(1, 2, 3, 4, 5, 6) = concat(List(List(), List(1, 2, 3, 4, 5, 6)))
+List(1, 2, 3, 4, 5, 6) = concat(List(List(1, 2, 3, 4, 5, 6), List(), List()))
+List(1, 2, 3, 4, 5, 6) = concat(List(List(1, 2, 3, 4, 5), List(6), List()))
+List(1, 2, 3, 4, 5, 6) = concat(List(List(1, 2, 3), List(4, 5, 6), List()))
+List(1, 2, 3, 4, 5, 6) = concat(List(List(1), List(2, 3, 4, 5, 6), List()))
+List(1, 2, 3, 4, 5, 6) = concat(List(List(), List(1, 2, 3, 4, 5, 6), List()))
+List(1, 2, 3, 4, 5, 6) = concat(List(List(), List(1, 2, 3, 4, 5), List(6)))
+List(1, 2, 3, 4, 5, 6) = concat(List(List(), List(1, 2, 3), List(4, 5, 6)))
+List(1, 2, 3, 4, 5, 6) = concat(List(List(), List(1), List(2, 3, 4, 5, 6)))
+List(1, 2, 3, 4, 5, 6) = concat(List(List(), List(), List(1, 2, 3, 4, 5, 6)))
+List(1, 2, 3, 4, 5, 6) = concat(List(List(1, 2), List(3, 4), List(5, 6)))
List() = zipFun(List(),List())
-List() = zipFun(List(),List(a,b,c))
-List() = zipFun(List(1,2,3),List())
+List() = zipFun(List(),List(a, b, c))
+List() = zipFun(List(1, 2, 3),List())
List((1,a)) = zipFun(List(1),List(a))
-List((1,a)) = zipFun(List(1),List(a,b,c))
-List((1,a)) = zipFun(List(1,2,3),List(a))
-List((1,a),(2,b)) = zipFun(List(1,2),List(a,b))
-List((1,a),(2,b)) = zipFun(List(1,2),List(a,b,c))
-List((1,a),(2,b)) = zipFun(List(1,2,3),List(a,b))
-List((1,a),(2,b),(3,c)) = zipFun(List(1,2,3),List(a,b,c))
+List((1,a)) = zipFun(List(1),List(a, b, c))
+List((1,a)) = zipFun(List(1, 2, 3),List(a))
+List((1,a), (2,b)) = zipFun(List(1, 2),List(a, b))
+List((1,a), (2,b)) = zipFun(List(1, 2),List(a, b, c))
+List((1,a), (2,b)) = zipFun(List(1, 2, 3),List(a, b))
+List((1,a), (2,b), (3,c)) = zipFun(List(1, 2, 3),List(a, b, c))
List() = heads(List())
List() = heads(List(List()))
-List() = heads(List(List(),List()))
-List() = heads(List(List(),List(),List()))
-List(1) = heads(List(List(1,2,3,4,5,6)))
-List(1) = heads(List(List(1,2,3,4,5,6),List()))
-List(1) = heads(List(List(),List(1,2,3,4,5,6)))
-List(1) = heads(List(List(1,2,3,4,5,6),List(),List()))
-List(1) = heads(List(List(),List(1,2,3,4,5,6),List()))
-List(1) = heads(List(List(),List(),List(1,2,3,4,5,6)))
-List(1,2) = heads(List(List(1),List(2,3,4,5,6),List()))
-List(1,2) = heads(List(List(),List(1),List(2,3,4,5,6)))
-List(1,4) = heads(List(List(1,2,3),List(4,5,6)))
-List(1,4) = heads(List(List(1,2,3),List(4,5,6),List()))
-List(1,4) = heads(List(List(),List(1,2,3),List(4,5,6)))
-List(1,6) = heads(List(List(1,2,3,4,5),List(6),List()))
-List(1,6) = heads(List(List(),List(1,2,3,4,5),List(6)))
-List(1,3,5) = heads(List(List(1,2),List(3,4),List(5,6)))
+List() = heads(List(List(), List()))
+List() = heads(List(List(), List(), List()))
+List(1) = heads(List(List(1, 2, 3, 4, 5, 6)))
+List(1) = heads(List(List(1, 2, 3, 4, 5, 6), List()))
+List(1) = heads(List(List(), List(1, 2, 3, 4, 5, 6)))
+List(1) = heads(List(List(1, 2, 3, 4, 5, 6), List(), List()))
+List(1) = heads(List(List(), List(1, 2, 3, 4, 5, 6), List()))
+List(1) = heads(List(List(), List(), List(1, 2, 3, 4, 5, 6)))
+List(1, 2) = heads(List(List(1), List(2, 3, 4, 5, 6), List()))
+List(1, 2) = heads(List(List(), List(1), List(2, 3, 4, 5, 6)))
+List(1, 4) = heads(List(List(1, 2, 3), List(4, 5, 6)))
+List(1, 4) = heads(List(List(1, 2, 3), List(4, 5, 6), List()))
+List(1, 4) = heads(List(List(), List(1, 2, 3), List(4, 5, 6)))
+List(1, 6) = heads(List(List(1, 2, 3, 4, 5), List(6), List()))
+List(1, 6) = heads(List(List(), List(1, 2, 3, 4, 5), List(6)))
+List(1, 3, 5) = heads(List(List(1, 2), List(3, 4), List(5, 6)))
List() = heads(List())
List() = heads(List(List()))
-List() = heads(List(List(),List()))
-List() = heads(List(List(),List(),List()))
-List(1) = heads(List(List(1,2,3,4,5,6)))
-List(1) = heads(List(List(1,2,3,4,5,6),List()))
-List(1) = heads(List(List(),List(1,2,3,4,5,6)))
-List(1) = heads(List(List(1,2,3,4,5,6),List(),List()))
-List(1) = heads(List(List(),List(1,2,3,4,5,6),List()))
-List(1) = heads(List(List(),List(),List(1,2,3,4,5,6)))
-List(1,2) = heads(List(List(1),List(2,3,4,5,6),List()))
-List(1,2) = heads(List(List(),List(1),List(2,3,4,5,6)))
-List(1,4) = heads(List(List(1,2,3),List(4,5,6)))
-List(1,4) = heads(List(List(1,2,3),List(4,5,6),List()))
-List(1,4) = heads(List(List(),List(1,2,3),List(4,5,6)))
-List(1,6) = heads(List(List(1,2,3,4,5),List(6),List()))
-List(1,6) = heads(List(List(),List(1,2,3,4,5),List(6)))
-List(1,3,5) = heads(List(List(1,2),List(3,4),List(5,6)))
+List() = heads(List(List(), List()))
+List() = heads(List(List(), List(), List()))
+List(1) = heads(List(List(1, 2, 3, 4, 5, 6)))
+List(1) = heads(List(List(1, 2, 3, 4, 5, 6), List()))
+List(1) = heads(List(List(), List(1, 2, 3, 4, 5, 6)))
+List(1) = heads(List(List(1, 2, 3, 4, 5, 6), List(), List()))
+List(1) = heads(List(List(), List(1, 2, 3, 4, 5, 6), List()))
+List(1) = heads(List(List(), List(), List(1, 2, 3, 4, 5, 6)))
+List(1, 2) = heads(List(List(1), List(2, 3, 4, 5, 6), List()))
+List(1, 2) = heads(List(List(), List(1), List(2, 3, 4, 5, 6)))
+List(1, 4) = heads(List(List(1, 2, 3), List(4, 5, 6)))
+List(1, 4) = heads(List(List(1, 2, 3), List(4, 5, 6), List()))
+List(1, 4) = heads(List(List(), List(1, 2, 3), List(4, 5, 6)))
+List(1, 6) = heads(List(List(1, 2, 3, 4, 5), List(6), List()))
+List(1, 6) = heads(List(List(), List(1, 2, 3, 4, 5), List(6)))
+List(1, 3, 5) = heads(List(List(1, 2), List(3, 4), List(5, 6)))
f (x) = Prod(Var(x), Var(x))
f'(x) = Sum(Prod(Var(x), Number(1)), Prod(Var(x), Number(1)))
generated by cgit v1.2.3 (git 2.39.1) at 2024-09-08 08:29:39 +0000