예제 #1
0
파일: sets_test.py 프로젝트: NikEfth/odl
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
예제 #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
예제 #3
0
 def __init__(self):
     """Initialize a new instance."""
     LinearSpace.__init__(self, field=UniversalSet())
예제 #4
0
파일: space.py 프로젝트: yochju/odl
 def __init__(self):
     """Initialize a new instance."""
     super(UniversalSpace, self).__init__(field=UniversalSet())
예제 #5
0
파일: space.py 프로젝트: rajmund/odl
 def __init__(self):
     """Initialize a universal space."""
     LinearSpace.__init__(self, field=UniversalSet())