mathai 0.7.1__tar.gz → 0.7.2__tar.gz

{mathai-0.7.1 → mathai-0.7.2}/PKG-INFO

@@ -1,13 +1,11 @@
 Metadata-Version: 2.4
 Name: mathai
-Version: 0.7.1
+Version: 0.7.2
 Summary: Mathematics solving Ai tailored to NCERT
 Home-page: https://github.com/infinity390/mathai4
-Author: educated indians are having a low iq and are good for nothing
 Requires-Python: >=3.7
 Description-Content-Type: text/markdown
 Requires-Dist: lark-parser
-Dynamic: author
 Dynamic: description
 Dynamic: description-content-type
 Dynamic: home-page
@@ -117,7 +115,7 @@ printeq(equation)
 
 ### Demonstrations
 
-#### Example Demonstration 1
+#### Example Demonstration 1 (absolute value inequalities)
 ```python
 from mathai import *
 question_list_from_lecture = [
@@ -157,7 +155,7 @@ for item in question_list_from_lecture:
 (-inf,-(7/3))
 ```
 
-#### Example Demonstration 2
+#### Example Demonstration 2 (trigonometry)
 ```python
 from mathai import *
 def nested_func(eq_node):
@@ -182,7 +180,7 @@ true
 true
 ```
 
-#### Example Demonstration 3
+#### Example Demonstration 3 (integration)
 ```python
 from mathai import *
 
@@ -237,3 +235,59 @@ cos(cos(x))
 -((e^-(x^2))/2)
 -(((8*sin((2*x)))-(12*x)-sin((4*x)))/32)
 ```
+
+#### Example Demonstration 4 (derivation of hydrogen atom's ground state energy in electron volts using the variational principle in quantum physics)
+```python
+from mathai import *;
+def auto_integration(eq):
+    for _ in range(3):
+        eq=dowhile(integrate_subs(eq),lambda x:integrate_summation(integrate_const(integrate_formula(simplify(expand(x))))));
+        out=integrate_clean(copy.deepcopy(eq));
+        if "f_integrate" not in str_form(out):return dowhile(out,lambda x:simplify(fraction(x)));
+        eq=integrate_byparts(eq);
+    return eq;
+z,k,m,e1,hbar=map(lambda s:simplify(parse(s)),["1","8987551787","9109383701*10^(-40)","1602176634*10^(-28)","1054571817*10^(-43)"]);
+pi,euler,r=tree_form("s_pi"),tree_form("s_e"),parse("r");a0=hbar**2/(k*e1**2*m);psi=((z**3/(pi*a0**3)).fx("sqrt"))*euler**(-(z/a0)*r);
+laplace_psi=diff(r**2*diff(psi,r.name),r.name)/r**2;V=-(k*z*e1**2)/r;Hpsi=-hbar**2/(2*m)*laplace_psi+V*psi;
+norm=lambda f:simplify(
+    limit3(limit2(expand(TreeNode("f_limitpinf",[auto_integration(TreeNode("f_integrate",[f*parse("4")*pi*r**2,r])),r]))))
+    -limit1(TreeNode("f_limit",[auto_integration(TreeNode("f_integrate",[f*parse("4")*pi*r**2,r])),r]))
+);
+print(compute(norm(psi*Hpsi)/(norm(psi**2)*e1)));
+```
+#### Output
+
+```
+-13.605693122882867
+```
+
+#### Example Demonstration 5 (boolean algebra)
+```python
+from mathai import *
+print(logic_n(simplify(parse("~(p<->q)<->(~p<->q)"))))
+print(logic_n(simplify(parse("(p->q)<->(~q->~p)"))))
+```
+#### Output
+
+```
+true
+true
+```
+
+#### Example Demonstration 6 (limits)
+```python
+from mathai import *
+limits = ["(e^(tan(x)) - 1 - tan(x)) / x^2", "sin(x)/x", "(1-cos(x))/x^2", "(sin(x)-x)/sin(x)^3"]
+for q in limits:
+    q = fraction(simplify(TreeNode("f_limit",[parse(q),parse("x")])))
+    q = limit1(q)
+    print(q)
+```
+#### Output
+
+```
+1/2
+1
+1/2
+-(1/6)
+```

{mathai-0.7.1 → mathai-0.7.2}/README.md

@@ -100,7 +100,7 @@ printeq(equation)
 
 ### Demonstrations
 
-#### Example Demonstration 1
+#### Example Demonstration 1 (absolute value inequalities)
 ```python
 from mathai import *
 question_list_from_lecture = [
@@ -140,7 +140,7 @@ for item in question_list_from_lecture:
 (-inf,-(7/3))
 ```
 
-#### Example Demonstration 2
+#### Example Demonstration 2 (trigonometry)
 ```python
 from mathai import *
 def nested_func(eq_node):
@@ -165,7 +165,7 @@ true
 true
 ```
 
-#### Example Demonstration 3
+#### Example Demonstration 3 (integration)
 ```python
 from mathai import *
 
@@ -219,4 +219,60 @@ cos(cos(x))
 ((6*((2+x)^(5/2)))-(20*((2+x)^(3/2))))/15
 -((e^-(x^2))/2)
 -(((8*sin((2*x)))-(12*x)-sin((4*x)))/32)
+```
+
+#### Example Demonstration 4 (derivation of hydrogen atom's ground state energy in electron volts using the variational principle in quantum physics)
+```python
+from mathai import *;
+def auto_integration(eq):
+    for _ in range(3):
+        eq=dowhile(integrate_subs(eq),lambda x:integrate_summation(integrate_const(integrate_formula(simplify(expand(x))))));
+        out=integrate_clean(copy.deepcopy(eq));
+        if "f_integrate" not in str_form(out):return dowhile(out,lambda x:simplify(fraction(x)));
+        eq=integrate_byparts(eq);
+    return eq;
+z,k,m,e1,hbar=map(lambda s:simplify(parse(s)),["1","8987551787","9109383701*10^(-40)","1602176634*10^(-28)","1054571817*10^(-43)"]);
+pi,euler,r=tree_form("s_pi"),tree_form("s_e"),parse("r");a0=hbar**2/(k*e1**2*m);psi=((z**3/(pi*a0**3)).fx("sqrt"))*euler**(-(z/a0)*r);
+laplace_psi=diff(r**2*diff(psi,r.name),r.name)/r**2;V=-(k*z*e1**2)/r;Hpsi=-hbar**2/(2*m)*laplace_psi+V*psi;
+norm=lambda f:simplify(
+    limit3(limit2(expand(TreeNode("f_limitpinf",[auto_integration(TreeNode("f_integrate",[f*parse("4")*pi*r**2,r])),r]))))
+    -limit1(TreeNode("f_limit",[auto_integration(TreeNode("f_integrate",[f*parse("4")*pi*r**2,r])),r]))
+);
+print(compute(norm(psi*Hpsi)/(norm(psi**2)*e1)));
+```
+#### Output
+
+```
+-13.605693122882867
+```
+
+#### Example Demonstration 5 (boolean algebra)
+```python
+from mathai import *
+print(logic_n(simplify(parse("~(p<->q)<->(~p<->q)"))))
+print(logic_n(simplify(parse("(p->q)<->(~q->~p)"))))
+```
+#### Output
+
+```
+true
+true
+```
+
+#### Example Demonstration 6 (limits)
+```python
+from mathai import *
+limits = ["(e^(tan(x)) - 1 - tan(x)) / x^2", "sin(x)/x", "(1-cos(x))/x^2", "(sin(x)-x)/sin(x)^3"]
+for q in limits:
+    q = fraction(simplify(TreeNode("f_limit",[parse(q),parse("x")])))
+    q = limit1(q)
+    print(q)
+```
+#### Output
+
+```
+1/2
+1
+1/2
+-(1/6)
 ```

{mathai-0.7.1 → mathai-0.7.2}/mathai.egg-info/PKG-INFO

@@ -1,13 +1,11 @@
 Metadata-Version: 2.4
 Name: mathai
-Version: 0.7.1
+Version: 0.7.2
 Summary: Mathematics solving Ai tailored to NCERT
 Home-page: https://github.com/infinity390/mathai4
-Author: educated indians are having a low iq and are good for nothing
 Requires-Python: >=3.7
 Description-Content-Type: text/markdown
 Requires-Dist: lark-parser
-Dynamic: author
 Dynamic: description
 Dynamic: description-content-type
 Dynamic: home-page
@@ -117,7 +115,7 @@ printeq(equation)
 
 ### Demonstrations
 
-#### Example Demonstration 1
+#### Example Demonstration 1 (absolute value inequalities)
 ```python
 from mathai import *
 question_list_from_lecture = [
@@ -157,7 +155,7 @@ for item in question_list_from_lecture:
 (-inf,-(7/3))
 ```
 
-#### Example Demonstration 2
+#### Example Demonstration 2 (trigonometry)
 ```python
 from mathai import *
 def nested_func(eq_node):
@@ -182,7 +180,7 @@ true
 true
 ```
 
-#### Example Demonstration 3
+#### Example Demonstration 3 (integration)
 ```python
 from mathai import *
 
@@ -237,3 +235,59 @@ cos(cos(x))
 -((e^-(x^2))/2)
 -(((8*sin((2*x)))-(12*x)-sin((4*x)))/32)
 ```
+
+#### Example Demonstration 4 (derivation of hydrogen atom's ground state energy in electron volts using the variational principle in quantum physics)
+```python
+from mathai import *;
+def auto_integration(eq):
+    for _ in range(3):
+        eq=dowhile(integrate_subs(eq),lambda x:integrate_summation(integrate_const(integrate_formula(simplify(expand(x))))));
+        out=integrate_clean(copy.deepcopy(eq));
+        if "f_integrate" not in str_form(out):return dowhile(out,lambda x:simplify(fraction(x)));
+        eq=integrate_byparts(eq);
+    return eq;
+z,k,m,e1,hbar=map(lambda s:simplify(parse(s)),["1","8987551787","9109383701*10^(-40)","1602176634*10^(-28)","1054571817*10^(-43)"]);
+pi,euler,r=tree_form("s_pi"),tree_form("s_e"),parse("r");a0=hbar**2/(k*e1**2*m);psi=((z**3/(pi*a0**3)).fx("sqrt"))*euler**(-(z/a0)*r);
+laplace_psi=diff(r**2*diff(psi,r.name),r.name)/r**2;V=-(k*z*e1**2)/r;Hpsi=-hbar**2/(2*m)*laplace_psi+V*psi;
+norm=lambda f:simplify(
+    limit3(limit2(expand(TreeNode("f_limitpinf",[auto_integration(TreeNode("f_integrate",[f*parse("4")*pi*r**2,r])),r]))))
+    -limit1(TreeNode("f_limit",[auto_integration(TreeNode("f_integrate",[f*parse("4")*pi*r**2,r])),r]))
+);
+print(compute(norm(psi*Hpsi)/(norm(psi**2)*e1)));
+```
+#### Output
+
+```
+-13.605693122882867
+```
+
+#### Example Demonstration 5 (boolean algebra)
+```python
+from mathai import *
+print(logic_n(simplify(parse("~(p<->q)<->(~p<->q)"))))
+print(logic_n(simplify(parse("(p->q)<->(~q->~p)"))))
+```
+#### Output
+
+```
+true
+true
+```
+
+#### Example Demonstration 6 (limits)
+```python
+from mathai import *
+limits = ["(e^(tan(x)) - 1 - tan(x)) / x^2", "sin(x)/x", "(1-cos(x))/x^2", "(sin(x)-x)/sin(x)^3"]
+for q in limits:
+    q = fraction(simplify(TreeNode("f_limit",[parse(q),parse("x")])))
+    q = limit1(q)
+    print(q)
+```
+#### Output
+
+```
+1/2
+1
+1/2
+-(1/6)
+```

{mathai-0.7.1 → mathai-0.7.2}/setup.py

@@ -2,11 +2,10 @@ from setuptools import setup, find_packages
 
 setup(
     name="mathai",
-    version="0.7.1",
+    version="0.7.2",
     description="Mathematics solving Ai tailored to NCERT",
     long_description=open("README.md").read(),
     long_description_content_type="text/markdown",
-    author="educated indians are having a low iq and are good for nothing",
     url="https://github.com/infinity390/mathai4",
     packages=find_packages(),
     install_requires=[