mathai 0.5.1__py3-none-any.whl → 0.5.2__py3-none-any.whl

mathai/__init__.py

@@ -44,6 +44,8 @@ from .limit import limit
 from .univariate_inequality import wavycurvy, absolute, domain, handle_sqrt
 from .bivariate_inequality import inequality_solve
 
+from .matrix import uncommute
+
 from .base import *
 
 from .tool import enclose_const

mathai/factor.py

@@ -171,7 +171,8 @@ def factor_quar_formula_init():
 formula_gen9 = factor_quar_formula_init()
 def factor_helper(equation, complexnum, power=2):
     global formula_gen9
-    
+    if equation.name in ["f_or", "f_and", "f_not", "f_eq", "f_gt", "f_lt", "f_ge", "f_le"]:
+        return TreeNode(equation.name, [factor_helper(child, complexnum, power) for child in equation.children])
     maxnum=1
     alloclst = []
     for i in range(0,26):

mathai/matrix.py

@@ -0,0 +1,22 @@
+def uncommute(eq, inside=False):
+    if not inside and eq.name in ["f_add", "f_mul"]:
+        return TreeNode(eq.name[:2]+"w"+eq.name[2:], [uncommute(child) for child in eq.children])
+    return TreeNode(eq.name, [uncommute(child, True) if eq.name == "f_list" else uncommute(child, inside) for child in eq.children])
+
+def matrix_solve(eq):
+    if eq.name == "f_wadd":
+        output = None
+        output2 = []
+        for child in eq.children:
+            if child.name == "f_list":
+                if output is None:
+                    output = []
+                    for i in range(len(child.children)):
+                        output.append([child.children[i]])
+                else:
+                    for i in range(len(child.children)):
+                        output[i] += [child.children[i]]
+                output.append(child)
+            else:
+                output2.append(child)
+        output = [summation(item) for item in output]

mathai/simplify.py

@@ -159,7 +159,12 @@ def clear_div(eq, denom=False):
     if len(lst3) % 2 == 1:
         sign = False
     if denom:
-        return eq if sign else -eq, sign
+        eq2 = [item for item in lst if "v_" not in str_form(item)]
+        eq3 = [item for item in lst if "v_" in str_form(item)]
+        if eq3 == []:
+            return solve(product(eq2)),True
+        return solve(product(eq3)),sign
+        #return eq if sign else -eq, sign
     lst = [item for item in lst if not(item.name == "f_pow" and frac(item.children[1]) is not None and frac(item.children[1]) == -1)]
 
     lst2 = [item for item in lst if "v_" in str_form(item)]

mathai/univariate_inequality.py

@@ -361,7 +361,9 @@ def absolute(equation):
         equation = TreeNode("f_or", out2)
     return equation
 def handle_sqrt(eq):
+    d= []
     def helper2(eq):
+        nonlocal d
         if eq.name in ["f_lt", "f_gt", "f_le", "f_ge","f_eq"]:
             out = []
             def helper(eq):
@@ -378,11 +380,17 @@ def handle_sqrt(eq):
                     eq2, sgn = inverse(simplify(eq.children[0]), str_form(item), True)
                     if sgn == False:
                         n = tree_form("d_-1")
+                d.append(TreeNode("f_ge", [eq2,tree_form("d_0")]))
+                #d.append(TreeNode("f_ge", [item.children[0],tree_form("d_0")]))
                 eq3 = simplify(expand(simplify(eq2**2)))
                 
                 return simplify(TreeNode(eq.name, [simplify(n*item.children[0]-eq3*n), tree_form("d_0")]))
+            
         return TreeNode(eq.name, [helper2(child) for child in eq.children])
-    return helper2(eq)
+    out = helper2(eq)
+    if len(d) == 0:
+        return out
+    return TreeNode("f_and", [helper2(eq)]+d)
 def domain(eq):
     eq = solve(eq, True)
     out = []

{mathai-0.5.1.dist-info → mathai-0.5.2.dist-info}/METADATA

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: mathai
-Version: 0.5.1
+Version: 0.5.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

{mathai-0.5.1.dist-info → mathai-0.5.2.dist-info}/RECORD

@@ -1,26 +1,27 @@
-mathai/__init__.py,sha256=O3P2_Q64gwo1CmgD4cwhl3fGUQc3wGa0-b9z8MBtFaI,1481
+mathai/__init__.py,sha256=GciRnhsCDfd_xjC2VoDWVmbapNtR4YlVGEa4ibJi32w,1514
 mathai/apart.py,sha256=VSS3khE9PNuxiRvdU5JDl4IN-KJBSIFjwR17pkhviXI,4197
 mathai/base.py,sha256=Ma1oCRbaZP0bp0Qnt_ZjKAh3rt9nZXQ_rmJL0sAoz5c,12730
 mathai/bivariate_inequality.py,sha256=FJOC2zKU5zWCMybCrhEQ7nVDgRO_w19Zko8WPTaDTSo,11411
 mathai/console.py,sha256=Sn58iwYE79MLEh67s8X3q6vZjw6g7f9XM1T8_dBBR2o,3048
 mathai/diff.py,sha256=YUBpRsz0qmBkq5vGxeGnvR4nMKjdOQiIXlNMxpij2ns,3051
 mathai/expand.py,sha256=SnBltkpIENMGkP0AYmbMlSc4H-CF5RslO2PcBEkn1BQ,3359
-mathai/factor.py,sha256=Xkx2_lxq-Z-t55dA9F2W4EH-3Uc1CFXj_6oESQdWAHM,11332
+mathai/factor.py,sha256=muPDOcClrqc2XyVlbyIrhiIqI0QxauYL3e2mq3qa6OI,11533
 mathai/fraction.py,sha256=Q2ztsh5Bpz6YhML2QU0tfufbAs0Q6J319AhlzKephIY,4396
 mathai/integrate.py,sha256=ewV46QDD0-oiTWpSkmcpcZhBz9StcntbTV1tBLCo1Wo,16502
 mathai/inverse.py,sha256=QCvDrzKquWsZv-BDAzZd9HnU0c3gZvcc44UztHVO5LQ,2919
 mathai/limit.py,sha256=bn7eofIOJv4AIh0-FmLppZ3DKnGfbwOzXks2XOPTOs0,4932
 mathai/linear.py,sha256=Mmmnn4IdnADRMuv6crB0a_Ba2drGUFXOh7eqIIkirYA,5709
 mathai/logic.py,sha256=UvHzRmKcO9AD51tRzHmpNSEhgW5gmaf4XPaQKFjGfC4,9653
+mathai/matrix.py,sha256=dWIXF5oInIL3SZ3naRzKN5ElI5drXJNiVTDM48hfZOw,972
 mathai/ode.py,sha256=zxxTXAOpt7oSsfpgI4vHsCWKXevmM96ZOBZWWs-vj8Y,4801
 mathai/parser.py,sha256=f7bemieFmp0sbup1NlraMLvZDVFvqKGFknEVtlFRMVk,6979
 mathai/printeq.py,sha256=gIes-pstFOa6FcnpVIVvkjVKuWdsVdo11LlEnmHhakU,1303
-mathai/simplify.py,sha256=nR5IReewrJ7HbxEUzQ2zg9xoFcwI1R5lGjWnX1pBKko,16885
+mathai/simplify.py,sha256=EGyEld0ZpOuHLeMmOKhvv0rTejEWjfkwkNJQx3lHSQc,17127
 mathai/structure.py,sha256=4Ww2IAx62RcQSO7_17TZES-DjMWBpcFQtL939FBIHwY,4103
 mathai/tool.py,sha256=r8ejBY4Bnk_t8USYQCuxwmmJ4M-5H5OR6A3VbV7W-5w,6066
 mathai/trig.py,sha256=BQd_Gl_u0g5ZuZIwKozuXKbMinqb6K-OYicrtftn7eg,11174
-mathai/univariate_inequality.py,sha256=_r-kkiS4Hr-jRN7f-EL_E4svAMFWJP1Ea50HJKKbjfk,14778
-mathai-0.5.1.dist-info/METADATA,sha256=zPDi8RasVepSv0JP4bBx_LszViwltoRJSgR3HOvLNkQ,7103
-mathai-0.5.1.dist-info/WHEEL,sha256=_zCd3N1l69ArxyTb8rzEoP9TpbYXkqRFSNOD5OuxnTs,91
-mathai-0.5.1.dist-info/top_level.txt,sha256=ROP4l3OhGYw3ihkQGASr18xM9GsK4z3_6whV5AyXLwE,7
-mathai-0.5.1.dist-info/RECORD,,
+mathai/univariate_inequality.py,sha256=3Yr7d9mE-mUNkwOPQyFPBDp0-gKkqrpzEYeHFQ8JcXA,15060
+mathai-0.5.2.dist-info/METADATA,sha256=sjO-RkjnEu_-D6ahvZq-z_Ad0ZX9GSkM1qZICMmPcmg,7103
+mathai-0.5.2.dist-info/WHEEL,sha256=_zCd3N1l69ArxyTb8rzEoP9TpbYXkqRFSNOD5OuxnTs,91
+mathai-0.5.2.dist-info/top_level.txt,sha256=ROP4l3OhGYw3ihkQGASr18xM9GsK4z3_6whV5AyXLwE,7
+mathai-0.5.2.dist-info/RECORD,,