Teilerrelation

Aufgabe:

Man bestimme für zwei Mengen die Relation „x ist ein Teiler von y“.

Code:

„*“/* RELATION = TEILMENGE DER PRODUKTMENGE */;
„*“/* Eingabe der Mengen */;	A:{3,4,8}; B:{4,16};
„*“/* Berechnung der Produktmenge */;	AXB:cartesian_product(A,B);
„*“/* Relation x ist ein Teiler von y */;	R:subset(AXB,lambda([e],is(mod(e[2],e[1])=0))) /* lambda ist eine anonyme Funktion, e steht für das eingelesene Paar */;