We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent f6613bf commit 59599c4Copy full SHA for 59599c4
integration_tests/test_gruntz.py
@@ -2,16 +2,28 @@
2
from sympy import Symbol
3
4
def mmrv(e: S, x: S) -> list[S]:
5
- l: list[S] = []
6
if not e.has(x):
7
- return l
+ list0: list[S] = []
+ return list0
8
+ elif e == x:
9
+ list1: list[S] = [x]
10
+ return list1
11
else:
12
raise
13
-def test_mrv1():
14
+def test_mrv():
15
+ # Case 1
16
x: S = Symbol("x")
17
y: S = Symbol("y")
- ans: list[S] = mmrv(y, x)
- assert len(ans) == 0
18
+ ans1: list[S] = mmrv(y, x)
19
+ print(ans1)
20
+ assert len(ans1) == 0
21
-test_mrv1()
22
+ # Case 2
23
+ ans2: list[S] = mmrv(x, x)
24
+ ele1: S = ans2[0]
25
+ print(ele1)
26
+ assert ele1 == x
27
+ assert len(ans2) == 1
28
+
29
+test_mrv()
0 commit comments