3.5. Ñòðîêè, ñïèñêè, ìíîæåñòâà, ìàññèâû è ñòðóêòóðû
óíêöèåé setify, ÷òîáû ïðåîáðàçîâàòü ñïèñîê â ìíîæåñòâî.
(%i32)
(%o32)
makeset(i2, [i℄, [[a℄, [b℄, [ ℄℄);
(%i33)
(%o33)
makeset(i2, [i℄, {[a℄, [b℄, [ ℄});
(%i34)
(%o34)
S1: {1, b, }$ S2: {2, b, }$ symmdifferen e(S1,S2);
(%i35)
(%o35)
subset({1, 2, 7, 8, 9, 14, 2.0}, evenp);
2
2
2
{a , b , c }
2
2
2
{a , b , c }
{1, 2}
{2, 8, 14}
Ïåðåáðàòü âñå ýëåìåíòû ìíîæåñòâà ìîæíî äâóìÿ ïóòÿìè:
(%i36)
(%o36)
map(f, {a, b, });
(%i37)
summa;
(%o37)
s: {a,b, ,d}$ summa:0$ for si in s do summa: summa + si2$
{f (a), f (b), f (c)}
2
2
d +c +b +a
Ôóíêöèÿ
adjoin(x,s)
ardinality(s)
disjoin(x,s)
disjointp(s_1,s_2)
elementp(x,s)
Ôóíêöèÿ
2
every(P,s)
2
Îïèñàíèå
Âêëþ÷åíèå ýëåìåíòà x â ìíîæåñòâî s
×èñëî ðàçëè÷íûõ ýëåìåíòîâ ìíîæåñòâà s
Èñêëþ÷åíèå ýëåìåíòà x èç ìíîæåñòâà s
Ïðåäèêàò: ðåçóëüòàò true, åñëè ìíîæåñòâà s_1 è s_2
íåïåðåñåêàþùèåñÿ
Ïðåäèêàò: ðåçóëüòàò true, åñëè x ýëåìåíò ìíîæåñòâà
s
Îïèñàíèå
Ïðåäèêàò: ðåçóëüòàò true, åñëè èñòèíåí ðåçóëüòàò ïðèìåíåíèÿ ïðåäèêàòà P êî âñåì ýëåìåíòàì ìíîæåñòâà s
some(P,s)
Ïðåäèêàò: ðåçóëüòàò true, åñëè èñòèíåí ðåçóëüòàò ïðèìåíåíèÿ ïðåäèêàòà P õîòÿ áû ê îäíîìó ýëåìåíòó ìíîæåñòâà
s
full_listify(s) Ïðåâðàùåíèå ìíîæåñòâà â ñïèñîê
fullsetify(L)
Ïðåâðàùåíèå ñëîæíîãî ñïèñêà â ìíîæåñòâî
(%i38)
(%o38)
every(integerp, 1,2,3,4,5,6);
true
81