Skip to content

Commit b07fdf7

Browse files
committed
Add test for UniversalSet
1 parent 21f54b9 commit b07fdf7

File tree

1 file changed

+6
-3
lines changed

1 file changed

+6
-3
lines changed

symengine/tests/test_sympy_conv.py

Lines changed: 6 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -9,7 +9,7 @@
99
KroneckerDelta, LeviCivita, erf, erfc, lowergamma, uppergamma,
1010
loggamma, beta, polygamma, sign, floor, ceiling, conjugate, And,
1111
Or, Not, Xor, Piecewise, Interval, EmptySet, FiniteSet, Contains,
12-
Union, Complement)
12+
Union, Complement, UniversalSet)
1313
import unittest
1414

1515
# Note: We test _sympy_() for SymEngine -> SymPy conversion, as those are
@@ -703,8 +703,11 @@ def test_sets():
703703
assert Interval(x, y)._sympy_() == sympy.Interval(x1, y1)
704704
assert sympify(sympy.Interval(x1, y1)) == Interval(x, y)
705705

706-
assert sympify(sympy.EmptySet()) == EmptySet()
707-
assert sympy.EmptySet() == EmptySet()._sympy_()
706+
assert sympify(sympy.S.EmptySet) == EmptySet()
707+
assert sympy.S.EmptySet == EmptySet()._sympy_()
708+
709+
assert sympify(sympy.S.UniversalSet) == UniversalSet()
710+
assert sympy.S.UniversalSet == UniversalSet()._sympy_()
708711

709712
assert FiniteSet(x, y) == FiniteSet(x1, y1)
710713
assert FiniteSet(x1, y) == FiniteSet(x1, y1)

0 commit comments

Comments
 (0)