Beispiel #1
0
def test_universal_set():
    X = UniversalSet()
    Z = Integers()

    # __contains
    assert None in X
    assert 1 in X

    # Contains_set
    assert X.contains_set(X)
    assert X.contains_set(Z)
    assert not X.contains_set(1)

    # __eq__
    assert X == X
    assert X != Z

    # element
    assert X.element() is None
    assert X.element(1) == 1
Beispiel #2
0
def test_universal_set():
    X = UniversalSet()
    Z = Integers()

    # __contains
    assert None in X
    assert 1 in X

    # Contains_set
    assert X.contains_set(X)
    assert X.contains_set(Z)
    assert not X.contains_set(1)

    # __eq__
    assert X == X
    assert X != Z

    # element
    assert X.element() is None
    assert X.element(1) == 1
Beispiel #3
0
 def __init__(self):
     """Initialize a new instance."""
     LinearSpace.__init__(self, field=UniversalSet())
Beispiel #4
0
 def __init__(self):
     """Initialize a new instance."""
     super(UniversalSpace, self).__init__(field=UniversalSet())
Beispiel #5
0
 def __init__(self):
     """Initialize a universal space."""
     LinearSpace.__init__(self, field=UniversalSet())