1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
|
0 = 0
1 = 1
0 + 1 = 1
1 + 2 = 3
2 + 3 + 4 = 9
0 = 0
1 = 1
0 + 1 = 1
1 + 2 = 3
2 + 3 + 4 = 9
0 = 0
1 = 1
0 + 1 = 1
1 + 2 = 3
2 + 3 + 4 = 9
0 = 0
1 = 1
0 + 1 = 1
1 + 2 = 3
2 + 3 + 4 = 9
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() = zipFun(List(),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() = 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() = 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)))
f (x) = Prod(Var(x), Var(x))
f'(x) = Sum(Prod(Var(x), Number(1)), Prod(Var(x), Number(1)))
f (x) = x * x
f'(x) = x * 1 + x * 1
g (x) = 2 * x * x + 3 * x
g'(x) = 2 * x * 1 + x * (2 * 1 + x * 0) + 3 * 1 + x * 0
g (3) = 27
g'(3) = 15
ta(x) = x + 3
tb(x) = x + 3
tc(x) = x + 3
td(x) = x + 3
te(x) = 2 * x + 3
tf(x) = 2 * x + 3
tg(x) = 6 * x
th(x) = x^6
f4(x) = x^4 + 7 * x^3 + 20 * x^2 + 23 * x + 5
f3(x) = 4 * x^3 + 21 * x^2 + 40 * x + 23
f2(x) = 12 * x^2 + 42 * x + 40
f1(x) = 24 * x + 42
f0(x) = 24
f4(0) = 5 ok
f4(1) = 56 ok
f4(2) = 203 ok
f4(3) = 524 ok
f4(4) = 1121 ok
f3(0) = 23 ok
f3(1) = 88 ok
f3(2) = 219 ok
f3(3) = 440 ok
f2(0) = 40 ok
f2(1) = 94 ok
f2(2) = 172 ok
f1(0) = 42 ok
f1(1) = 66 ok
f0(0) = 24 ok
|
