
    <<SetsTest.cm>>
        <<Last tweaked by Mike Spreitzer on December 14, 1987 4:50:14 pm PST>>

    Install SetsPackage
    _ &r1 _ BiRels.CreateHashReln[[NIL, NIL], ALL[TRUE], ALL[TRUE]]
    _ &r1.class.AddPair[&r1, [[a[$foo]], [a[$bar]]], ALL[ALL[TRUE]]]
    _ &s1 _ AbSets.Set[AbSets.GetSingletonClass[SetBasics.basic], [a[$foo]]]
    _ &i1 _ &r1.class.Image[&r1, &s1, leftToRight]
    _ &r1.class.AddPair[&r1, [[a[$bar]], [a[$gronk]]], ALL[ALL[TRUE]]]
    _ &r1.class.AddPair[&r1, [[a[$gronk]], [a[$foo]]], ALL[ALL[TRUE]]]
    _ &r1
    _ &c1 _ BiRels.Compose[&r1, &r1, ALL[FALSE]]

    _ &r2 _ BiRels.CreateList[NIL, [TRUE, FALSE], ALL[SetBasics.basic], variable, [ALL[fwd]], FALSE]
    _ &r2.class.AddPair[&r2, [[a[$foo]], [i[1]]], ALL[ALL[TRUE]]]
    _ &r2.class.AddPair[&r2, [[a[$bar]], [i[7]]], ALL[ALL[TRUE]]]
    _ &r2.class.AddPair[&r2, [[i[3]], [a[$baz]]], ALL[ALL[TRUE]]]
    _ &r2.class.AddPair[&r2, [[i[1]], [a[$oof]]], ALL[ALL[TRUE]]]
    _ &r2
    _ &r2.class.AddPair[&r2, [[a[$bar]], [i[3]]], ALL[ALL[TRUE]]]
    _ &r2

    _ &l1 _ AbSets.CreateList[LIST[[i[10]], [i[30]], [i[20]]], SetBasics.basic, variable, fwd]
    _ &l1.class.AddSet[&l1, [AbSets.GetSingletonClass[SetBasics.basic], [i[15]]]]
    _ &l1
    _ &l1.class.AddSet[&l1, [AbSets.GetSingletonClass[SetBasics.basic], [i[20]]]]
    _ &l1

    _ &v1 _ BiRels.CreateSimple[bounds: [0, 9], val: [a[$foo]], rightSpace: SetBasics.basic]
    _ &v1.class.AddPair[&v1, [[i[3]], [a[$bar]]], ALL[ALL[TRUE]]]
    _ &v1.class.AddPair[&v1, [[i[13]], [a[$bar]]], ALL[ALL[TRUE]]]
    _ &v1.class.RemSet[&v1, [BiRels.GetSingletonClass[[SetBasics.ints, SetBasics.basic]], NEW [BiRels.Pair _ [ [i[5]], [a[$foo]] ]] ]]
    _ &v1.class.RemSet[&v1, [BiRels.GetSingletonClass[[SetBasics.ints, SetBasics.basic]], NEW [BiRels.Pair _ [ [i[4]], [a[$zork]] ]] ]]
    _ &v1.class.RemSet[&v1, [BiRels.GetSingletonClass[[SetBasics.ints, SetBasics.basic]], NEW [BiRels.Pair _ [ [i[40]], [a[$zork]] ]] ]]
    _ &v1
    _ &v1.class.Image[&v1, AbSets.IIAsSet[[0, 20]], leftToRight]

    _ &l2 _ AbSets.CreateList[LIST[[a["y"]], [a["x"]], [a["z"]]], SetBasics.ropes[TRUE], variable, no]
    _ BiRels.EnumSeqOfSet[&l2, fwd]
    _ BiRels.EnumSeqOfSet[&l2, bwd]
    _ &s2 _ BiRels.EnumSeqOfSet[&l2, no]
    _ &s2.class.GetBounds[&s2, ALL[TRUE], [ALL[fwd]]]!!!
    _ &l2.class.AddSet[&l2, [AbSets.GetSingletonClass[SetBasics.ropes[TRUE]], [a["xyz"]]]]
    _ &l2
    _ &s2
    _ &p1 _ BiRels.GradeUp[&s2, [SetBasics.ropes[TRUE].Compare, SetBasics.ropes[TRUE].data]]
    _ &s3 _ BiRels.CreateSimple[rightSpace: SetBasics.ropes[TRUE]]
    _ BiRels.TransPermute[&s2, &s3, &p1]
    _ &s3
    _ &s2b _ BiRels.CreateSimpleCopy[of: &s2, rightSpace: SetBasics.ropes[TRUE]]
    _ BiRels.PermuteInPlace[&s2b, &p1]
    _ &s2b