23 lines
546 B
Text
23 lines
546 B
Text
include ..\Utilitys.pmt
|
|
|
|
def isElement find enddef
|
|
|
|
def setUnion dup >ps remove ps> chain enddef
|
|
|
|
def setIntersection over >ps remove ps> swap remove enddef
|
|
|
|
def setDifference remove enddef
|
|
|
|
def setSubset swap remove len not nip enddef
|
|
|
|
def setEquality sort swap sort == enddef
|
|
|
|
( 1 2 3 ) 1 isElement ?
|
|
4 isElement ?
|
|
( 3 4 5 ) setUnion ?
|
|
( 1 2 3 ) ( 3 4 5 ) setIntersection ?
|
|
( 1 2 3 ) ( 3 4 5 ) setDifference ?
|
|
( 1 2 3 ) ( 3 4 5 ) setSubset ?
|
|
( 1 2 3 ) ( 1 2 ) setSubset ?
|
|
( 1 2 3 ) ( 3 4 5 ) setEquality ?
|
|
( 1 2 3 ) ( 3 1 2 ) setEquality ?
|