Commit 441a1777 authored by Taddeus Kroes's avatar Taddeus Kroes Committed by Taddeüs Kroes

Added some tests for definite integral bounds.

parent e0a7b3a3
...@@ -171,10 +171,14 @@ class TestParser(RulesTestCase): ...@@ -171,10 +171,14 @@ class TestParser(RulesTestCase):
self.assertEqual(tree('int_-a^b x^2 dx'), integral(x ** 2, x, -a, b)) self.assertEqual(tree('int_-a^b x^2 dx'), integral(x ** 2, x, -a, b))
def test_indefinite_integral(self): def test_indefinite_integral(self):
x2, a, b, oo = tree('x ^ 2, a, b, oo') x2, a, b, oo, l2 = tree('x ^ 2, a, b, oo, 2')
self.assertEqual(tree('(x ^ 2)_a'), indef(x2, a, oo)) self.assertEqual(tree('(x ^ 2)_a'), indef(x2, a, oo))
self.assertEqual(tree('(x ^ 2)_a^b'), indef(x2, a, b)) self.assertEqual(tree('(x ^ 2)_a^b'), indef(x2, a, b))
self.assertEqual(tree('(x ^ 2)_-a^b'), indef(x2, -a, b))
self.assertEqual(tree('(x ^ 2)_-a^-b'), indef(x2, -a, -b))
self.assertNotEqual(tree('(x ^ 2)_-2a^b'), indef(x2, -(l2 * a), b))
self.assertEqual(tree('(x ^ 2)_(-2a)^b'), indef(x2, -(l2 * a), b))
def test_absolute_value(self): def test_absolute_value(self):
x = tree('x') x = tree('x')
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment