<!DOCTYPE html>
<html lang="en">

<head>
    <meta charset="UTF-8">
    <meta http-equiv="X-UA-Compatible" content="IE=edge">
    <meta name="viewport" content="width=device-width, initial-scale=1.0">
    <link href="https://cdn.jsdelivr.net/npm/bootstrap@5.3.0-alpha1/dist/css/bootstrap.min.css" rel="stylesheet"
        integrity="sha384-GLhlTQ8iRABdZLl6O3oVMWSktQOp6b7In1Zl3/Jr59b6EGGoI1aFkw7cmDA6j6gD" crossorigin="anonymous">
    <link rel="stylesheet" href="https://cdnjs.cloudflare.com/ajax/libs/font-awesome/6.3.0/css/all.min.css"
        integrity="sha512-SzlrxWUlpfuzQ+pcUCosxcglQRNAq/DZjVsC0lE40xsADsfeQoEypE+enwcOiGjk/bSuGGKHEyjSoQ1zVisanQ=="
        crossorigin="anonymous" referrerpolicy="no-referrer" />
</head>
</html>
from guppy.heapy.test import support


class FirstCase(support.TestCase):
    def setUp(self):
        support.TestCase.setUp(self)

    def test_1(self):
        asrt = self.assertTrue
        a = []
        b = []
        c = self.iso(a, b)
        asrt(len(c.nodes) == 2)
        asrt(a in c)
        asrt(b in c)
        asrt([] not in c)
        asrt(c not in c)

        d = self.idset(c.nodes)

        asrt(c.nodes == d.nodes)

        asrt(c == d)

    def test_2(self):
        # Test standard set operations
        H = self.idset
        e1 = []
        e2 = {}
        e3 = ()
        la = [], [e1], [e1, e2], [e1, e2, e3], [e2], [e2, e3], [e3]
        self.guppy.sets.test.test_set_operations(
            [H(x) for x in la], [H(x) for x in la], [H(x) for x in la])

    def test_3(self):
        # Test out-reaching

        iso = self.iso

        a = []
        b = [a]
        c = [b]
        self.View.root = c

        x = iso(b)

        self.assertTrue(x.referrers == iso(c))
        self.aseq(x.referents,  iso(a))
        self.aseq(x.referents.referrers,  x)
        self.aseq(x.dominos, iso(a, b))


def test_main(debug=False):
    support.run_unittest(FirstCase, debug)


if __name__ == "__main__":
    test_main()
