| /dports/math/py-sympy/sympy-1.9/sympy/integrals/rubi/tests/ |
| H A D | test_utility_function.py | 43 SimplerSqrtQ, SumSimplerQ, BinomialDegree, TrinomialDegree,
982 assert SimplerSqrtQ(S(2), S(16*x**3))
983 assert not SimplerSqrtQ(S(x*2), S(16))
984 assert not SimplerSqrtQ(S(-4), S(16))
985 assert SimplerSqrtQ(S(4), S(16))
986 assert not SimplerSqrtQ(S(4), S(0))
|
| /dports/math/py-sympy/sympy-1.9/sympy/integrals/rubi/rules/ |
| H A D | piecewise_linear.py | 47 SimplerQ, SimplerSqrtQ, SumSimplerQ, BinomialDegree, TrinomialDegree,
|
| H A D | integrand_simplification.py | 47 SimplerQ, SimplerSqrtQ, SumSimplerQ, BinomialDegree, TrinomialDegree,
|
| H A D | trinomial_products.py | 47 SimplerQ, SimplerSqrtQ, SumSimplerQ, BinomialDegree, TrinomialDegree,
1444 …if And(PosQ((b + q)/a), Not(And(PosQ((b - q)/a), SimplerSqrtQ((b - q)/(S(2)*a), (b + q)/(S(2)*a)))…
1474 …if And(NegQ((b + q)/a), Not(And(NegQ((b - q)/a), SimplerSqrtQ(-(b - q)/(S(2)*a), -(b + q)/(S(2)*a)…
1745 …if And(PosQ((b + q)/a), Not(And(PosQ((b - q)/a), SimplerSqrtQ((b - q)/(S(2)*a), (b + q)/(S(2)*a)))…
1775 …if And(NegQ((b + q)/a), Not(And(NegQ((b - q)/a), SimplerSqrtQ(-(b - q)/(S(2)*a), -(b + q)/(S(2)*a)…
2201 …if And(NegQ((b + q)/a), ZeroQ(S(2)*c*d - e*(b + q)), Not(SimplerSqrtQ(-(b - q)/(S(2)*a), -(b + q)/…
2216 …if And(NegQ((b + q)/a), NonzeroQ(S(2)*c*d - e*(b + q)), Not(SimplerSqrtQ(-(b - q)/(S(2)*a), -(b + …
|
| H A D | miscellaneous_integration.py | 47 SimplerQ, SimplerSqrtQ, SumSimplerQ, BinomialDegree, TrinomialDegree,
|
| H A D | exponential.py | 47 SimplerQ, SimplerSqrtQ, SumSimplerQ, BinomialDegree, TrinomialDegree,
|
| H A D | special_functions.py | 47 SimplerQ, SimplerSqrtQ, SumSimplerQ, BinomialDegree, TrinomialDegree,
|
| H A D | logarithms.py | 47 SimplerQ, SimplerSqrtQ, SumSimplerQ, BinomialDegree, TrinomialDegree,
|
| H A D | linear_products.py | 47 SimplerQ, SimplerSqrtQ, SumSimplerQ, BinomialDegree, TrinomialDegree,
|
| H A D | miscellaneous_trig.py | 47 SimplerQ, SimplerSqrtQ, SumSimplerQ, BinomialDegree, TrinomialDegree,
|
| H A D | binomial_products.py | 47 SimplerQ, SimplerSqrtQ, SumSimplerQ, BinomialDegree, TrinomialDegree,
|
| /dports/math/py-sympy/sympy-1.9/sympy/integrals/rubi/ |
| H A D | constraints.py | 47 SimplerQ, SimplerSqrtQ, SumSimplerQ, BinomialDegree, TrinomialDegree,
3180 return Not(SimplerSqrtQ(b/a, d/c))
3190 return Not(And(NegQ(b/a), SimplerSqrtQ(-b/a, -d/c)))
3391 return Not(And(EqQ(n, S(2)), SimplerSqrtQ(-b/a, -d/c)))
3438 … And(NegQ(b/a), Or(PosQ(d/c), And(PositiveQ(a), Or(Not(PositiveQ(c)), SimplerSqrtQ(-b/a, -d/c)))))…
3472 return Not(SimplerSqrtQ(d/c, f/e))
3477 return Not(SimplerSqrtQ(-f/e, -d/c))
3487 return Not(And(NegQ(f/e), SimplerSqrtQ(-f/e, -d/c)))
|
| H A D | utility_function.py | 2264 def SimplerSqrtQ(u, v): function
|
| /dports/math/py-sympy/sympy-1.9/sympy/integrals/rubi/rubi_tests/tests/ |
| H A D | test_special_functions.py | 47 SimplerQ, SimplerSqrtQ, SumSimplerQ, BinomialDegree, TrinomialDegree,
|
| H A D | test_inverse_hyperbolic_sine.py | 48 SimplerQ, SimplerSqrtQ, SumSimplerQ, BinomialDegree, TrinomialDegree,
|
| H A D | test_hyperbolic_sine.py | 48 SimplerQ, SimplerSqrtQ, SumSimplerQ, BinomialDegree, TrinomialDegree,
|
| H A D | test_inverse_sine.py | 48 SimplerQ, SimplerSqrtQ, SumSimplerQ, BinomialDegree, TrinomialDegree,
|
| H A D | test_secant.py | 48 SimplerQ, SimplerSqrtQ, SumSimplerQ, BinomialDegree, TrinomialDegree,
|
| H A D | test_tangent.py | 48 SimplerQ, SimplerSqrtQ, SumSimplerQ, BinomialDegree, TrinomialDegree,
|
| H A D | test_sine.py | 48 SimplerQ, SimplerSqrtQ, SumSimplerQ, BinomialDegree, TrinomialDegree,
|
| /dports/math/reduce/Reduce-svn5758-src/contrib/rubi-red/rubi4/Rubi-Red/ |
| H A D | IntegrationUtilityFunctions.m | 3953 (* SimplerSqrtQ[u,v] returns True iff Rt[u,2] is simpler than Rt[v,2]. *)
3954 SimplerSqrtQ[u_,v_] :=
|
| H A D | IntegrationUtilityFunctions.nb | 27434 Cell["SimplerSqrtQ", "Subsection",
27442 RowBox[{"SimplerSqrtQ", "[",
27452 RowBox[{"SimplerSqrtQ", "[",
|
| /dports/math/reduce/Reduce-svn5758-src/contrib/rubi-red/ |
| H A D | IntegrationUtilityFunctions.m | 3953 (* SimplerSqrtQ[u,v] returns True iff Rt[u,2] is simpler than Rt[v,2]. *)
3954 SimplerSqrtQ[u_,v_] :=
|
| H A D | IntegrationUtilityFunctions.nb | 27434 Cell["SimplerSqrtQ", "Subsection",
27442 RowBox[{"SimplerSqrtQ", "[",
27452 RowBox[{"SimplerSqrtQ", "[",
|
| /dports/math/py-mathics/Mathics3-2.2.0/mathics/packages/Rubi-save/ |
| H A D | IntegrationUtilityFunctions.m | 742 (*SimplerSqrtQ[u,v]*)
745 (* If Rt[u,2] is simpler than Rt[v,2], SimplerSqrtQ[u,v] returns True, else it returns False. Simp…
746 SimplerSqrtQ[u_,v_] :=
|