yacas-1.9.1/tests/lists.yts

2 Verify(Intersection({aa,b,c},{b,c,d}),{b,c});
3 Verify(Union({aa,b,c},{b,c,d}),{aa,b,c,d});
4 Verify(Difference({aa,b,c},{b,c,d}),{aa});
7 Verify(VarList(x^2+y^3) , {x , y});
8 Verify(List(1,2,3),{1 , 2 , 3});
11 Verify(BubbleSort({},"<"),{});
12 Verify(BubbleSort({2,3,1},"<"),{1,2,3});
13 Verify(BubbleSort({2,3,1},">"),{3,2,1});
16 Verify(HeapSort({},"<"),{});
17 Verify(HeapSort({2,3,1},"<"),{1,2,3});
18 Verify(HeapSort({2,1,3},">"),{3,2,1});
19 Verify(HeapSort({7,3,1,2,6},"<"),{1,2,3,6,7});
20 Verify(HeapSort({6,7,1,3,2},">"),{7,6,3,2,1});
22 Verify(Type(Cos(x)),"Cos");
23 Verify(NrArgs(Cos(x)),1);
24 Verify(Contains({a,b,c},b),True);
25 Verify(Contains({a,b,c},d),False);
27 Verify(Append({a,b,c},d),{a,b,c,d});
28 Verify(RemoveDuplicates({a,b,b,c}),{a,b,c});
29 Verify(Count({a,b,b,c},b),2);
30 Verify(VarList(x*Cos(x)),{x});
37   Verify(l,{2,3});
39   Verify(l,{1,2,3});
41   Verify(l,{2,2,3});
44   Verify(l,{1,2});
46   Verify(l,{1,2,3});
48   Verify(l,{1,2,3});
51 Verify(Table(i!,i,1,4,1),{1,2,6,24});
52 Verify(Permutations({a,b,c}),{{a,b,c},{a,c,b},{c,a,b},{b,a,c},{b,c,a},{c,b,a}});
55 Verify(Head({a,b,c}),a);
56 Verify(Tail({a,b,c}),{b,c});
57 Verify(DestructiveReverse({a,b,c}),{c,b,a});
58 Verify(UnList({a,b,c}),a(b,c));
59 Verify(Listify(a(b,c)),{a,b,c});
61 Verify(Delete({a,b,c},2),{a,c});
62 Verify(Insert({a,c},2,b),{a,b,c});
68     Verify(l, {{11,0,0},{0,0,0}});
71     Verify(l, {{{111,0,0},{0,0,0},{0,0,0}},{{0,0,0},{0,0,0},{0,0,0}},{{0,0,0},{0,0,0},{0,0,0}}});
75 Verify(Length({a,b}),2);
76 Verify(Length({}),0);
79 Verify(Nth({a,b},1),a);
80 Verify({a,b,c}[2],b);
83 Verify(Concat({a,b},{c,d}),{a,b,c,d});
84 //This is simply not true!!! Verify(Hold(Concat({a,b},{c,d})),Concat({a,b},{c,d}));
88 Verify(BSearch(100,{{n},n^2-15}), -1);
89 Verify(BSearch(100,{{n},n^2-16}), 4);
90 Verify(BSearch(100,{{n},n^2-100002}), -1);
91 Verify(BSearch(100,{{n},n^2-0}), -1);
92 Verify(FindIsq(100,{{n},n^2-15}), 3);
93 Verify(FindIsq(100,{{n},n^2-16}), 4);
94 Verify(FindIsq(100,{{n},n^2-100002}), 100);
95 Verify(FindIsq(100,{{n},n^2-0}), 1);
97 Verify(Difference(FuncList(a*b/c*d), {*,/}), {});
98 Verify(Difference(FuncListArith(0*x*Sin(a/b)*Ln(Cos(y-z)+Sin(a))), {*,Ln,Sin}), {});
99 Verify(Difference(VarListArith(x+a*y^2-1), {x,a,y^2}), {});
101 Verify(Difference(FuncList(IsCFormable([i:=0;While(i<10)[i++; a--; a:=a+i; {};];])), {IsCFormable,P…
102 Verify(FuncList({1,2,3}),{List});
103 Verify(FuncList({{},{}}),{List});
104 Verify(FuncList({}),{List});
111   Verify(hash, {{"A",1},{"A",2},{"B",4}});
112   Verify(AssocDelete(hash,"A"),True);
113   Verify(hash, {{"A",2},{"B",4}});
114   Verify(AssocDelete(hash,"C"),False);
115   Verify(hash, {{"A",2},{"B",4}});
117   Verify(hash, {{"B",4}});
120   Verify(hash, {{"B",4}});
121   Verify(AssocDelete(hash,"B"),True);
122   Verify(hash, {});
123   Verify(AssocDelete(hash,"A"),False);
124   Verify(hash, {});
127 Verify(1+{3,4},{4,5});
128 Verify({3,4}+1,{4,5});
129 Verify({1}+{3,4},Hold({1}+{3,4}));
130 Verify({3,4}+{1},Hold({3,4}+{1}));
131 Verify({1,2}+{3,4},{4,6});
132 Verify(1-{3,4},{-2,-3});
133 Verify({3,4}-1,{2,3});
134 Verify({1}-{3,4},Hold({1}-{3,4}));
135 Verify({3,4}-{1},Hold({3,4}-{1}));
136 Verify({1,2}-{3,4},{-2,-2});
137 Verify(2*{3,4},{6,8});
138 Verify({3,4}*2,{6,8});
139 Verify({2}*{3,4},Hold({2}*{3,4}));
140 Verify({3,4}*{2},Hold({3,4}*{2}));
141 Verify({1,2}*{3,4},{3,8});
142 Verify(2/{3,4},{2/3,1/2});
143 Verify({3,4}/2,{3/2,2});
144 Verify({2}/{3,4},Hold({2}/{3,4}));
145 Verify({3,4}/{2},Hold({3,4}/{2}));
146 Verify({1,2}/{3,4},{1/3,1/2});
147 Verify(2^{3,4},{8,16});
148 Verify({3,4}^2,{9,16});
149 Verify({2}^{3,4},Hold({2}^{3,4}));
150 Verify({3,4}^{2},Hold({3,4}^{2}));
151 Verify({1,2}^{3,4},{1,16});
158   Verify(revlst,{19,13,c,b,a});
159   Verify(lst,{a,b,c,13,19});
161 Verify(IsBound(lst),False);
162 Verify(IsBound(revlst),False);