/dports/math/reduce/Reduce-svn5758-src/packages/rubi_red/rubi-rules/ |
H A D | IntegrationUtilityFunctions.m | 297 CotQ[u_] := 390 (* If[Head[u]===ArcTan && TanQ[u[[1]]] || Head[u]===ArcCot && CotQ[u[[1]]] || 1634 If[CotQ[v], 1649 If[TanQ[v] || CotQ[v], 1738 TanQ[u] || CotQ[u], 1750 CotQ[u], 1831 TanQ[u] || CotQ[u] || EvenQuotientQ[u[[1]],v], 1867 If[CotQ[u] && ZeroQ[u[[1]]-v], 2323 If[CotQ[v], 2376 If[CotQ[u], [all …]
|
/dports/math/reduce/Reduce-svn5758-src/contrib/rubi-red/rubi4/Rubi-Red/ |
H A D | IntegrationUtilityFunctions.m | 301 CotQ[u_] := 396 (* If[Head[u]===ArcTan && TanQ[u[[1]]] || Head[u]===ArcCot && CotQ[u[[1]]] || 2692 If[CotQ[v], 2707 If[TanQ[v] || CotQ[v], 2792 TanQ[u] || CotQ[u], 2804 CotQ[u], 2881 TanQ[u] || CotQ[u] || EvenQuotientQ[u[[1]],v], 2917 If[CotQ[u] && ZeroQ[u[[1]]-v], 3348 If[CotQ[v], 3401 If[CotQ[u], [all …]
|
H A D | IntegrationUtilityFunctions.nb | 1193 RowBox[{"CotQ", "[", "u_", "]"}], " ", ":=", "\n", " ", 1515 RowBox[{"CotQ", "[", 19852 RowBox[{"CotQ", "[", "v", "]"}], ",", "\n", " ", 19922 RowBox[{"CotQ", "[", "v", "]"}]}], ",", "\n", " ", 20319 RowBox[{"CotQ", "[", "u", "]"}]}], ",", "\n", " ", 20369 RowBox[{"CotQ", "[", "u", "]"}], ",", "\n", " ", 20897 RowBox[{"CotQ", "[", "u", "]"}], " ", "||", " ", 21097 RowBox[{"CotQ", "[", "u", "]"}], " ", "&&", " ", 23650 RowBox[{"CotQ", "[", "v", "]"}], ",", "\n", " ", 23918 RowBox[{"CotQ", "[", "u", "]"}], ",", "\n", " ", [all …]
|
/dports/math/reduce/Reduce-svn5758-src/contrib/rubi-red/ |
H A D | IntegrationUtilityFunctions.m | 301 CotQ[u_] := 396 (* If[Head[u]===ArcTan && TanQ[u[[1]]] || Head[u]===ArcCot && CotQ[u[[1]]] || 2692 If[CotQ[v], 2707 If[TanQ[v] || CotQ[v], 2792 TanQ[u] || CotQ[u], 2804 CotQ[u], 2881 TanQ[u] || CotQ[u] || EvenQuotientQ[u[[1]],v], 2917 If[CotQ[u] && ZeroQ[u[[1]]-v], 3348 If[CotQ[v], 3401 If[CotQ[u], [all …]
|
H A D | IntegrationUtilityFunctions.nb | 1193 RowBox[{"CotQ", "[", "u_", "]"}], " ", ":=", "\n", " ", 1515 RowBox[{"CotQ", "[", 19852 RowBox[{"CotQ", "[", "v", "]"}], ",", "\n", " ", 19922 RowBox[{"CotQ", "[", "v", "]"}]}], ",", "\n", " ", 20319 RowBox[{"CotQ", "[", "u", "]"}]}], ",", "\n", " ", 20369 RowBox[{"CotQ", "[", "u", "]"}], ",", "\n", " ", 20897 RowBox[{"CotQ", "[", "u", "]"}], " ", "||", " ", 21097 RowBox[{"CotQ", "[", "u", "]"}], " ", "&&", " ", 23650 RowBox[{"CotQ", "[", "v", "]"}], ",", "\n", " ", 23918 RowBox[{"CotQ", "[", "u", "]"}], ",", "\n", " ", [all …]
|
/dports/math/py-sympy/sympy-1.9/sympy/integrals/rubi/rules/ |
H A D | piecewise_linear.py | 25 ExpQ, LogQ, Head, MemberQ, TrigQ, SinQ, CosQ, TanQ, CotQ, SecQ, CscQ,
|
H A D | integrand_simplification.py | 25 ExpQ, LogQ, Head, MemberQ, TrigQ, SinQ, CosQ, TanQ, CotQ, SecQ, CscQ,
|
H A D | miscellaneous_integration.py | 25 ExpQ, LogQ, Head, MemberQ, TrigQ, SinQ, CosQ, TanQ, CotQ, SecQ, CscQ,
|
H A D | exponential.py | 25 ExpQ, LogQ, Head, MemberQ, TrigQ, SinQ, CosQ, TanQ, CotQ, SecQ, CscQ,
|
H A D | special_functions.py | 25 ExpQ, LogQ, Head, MemberQ, TrigQ, SinQ, CosQ, TanQ, CotQ, SecQ, CscQ,
|
H A D | logarithms.py | 25 ExpQ, LogQ, Head, MemberQ, TrigQ, SinQ, CosQ, TanQ, CotQ, SecQ, CscQ,
|
H A D | linear_products.py | 25 ExpQ, LogQ, Head, MemberQ, TrigQ, SinQ, CosQ, TanQ, CotQ, SecQ, CscQ,
|
H A D | miscellaneous_trig.py | 25 ExpQ, LogQ, Head, MemberQ, TrigQ, SinQ, CosQ, TanQ, CotQ, SecQ, CscQ,
|
H A D | binomial_products.py | 25 ExpQ, LogQ, Head, MemberQ, TrigQ, SinQ, CosQ, TanQ, CotQ, SecQ, CscQ,
|
/dports/math/reduce/Reduce-svn5758-src/contrib/rubi-red/rubi4/IntegrationRules/MathematicaNotebookFiles/ |
H A D | IntegrationUtilityFunctions.nb | 1036 RowBox[{"CotQ", "[", "u_", "]"}], " ", ":=", "\n", " ", 1345 RowBox[{"CotQ", "[", 6898 RowBox[{"CotQ", "[", "v", "]"}], ",", "\n", " ", 6968 RowBox[{"CotQ", "[", "v", "]"}]}], ",", "\n", " ", 7365 RowBox[{"CotQ", "[", "u", "]"}]}], ",", "\n", " ", 7415 RowBox[{"CotQ", "[", "u", "]"}], ",", "\n", " ", 7943 RowBox[{"CotQ", "[", "u", "]"}], " ", "||", " ", 8143 RowBox[{"CotQ", "[", "u", "]"}], " ", "&&", " ", 10643 RowBox[{"CotQ", "[", "v", "]"}], ",", "\n", " ", 10910 RowBox[{"CotQ", "[", "u", "]"}], ",", "\n", " ", [all …]
|
/dports/math/py-sympy/sympy-1.9/sympy/integrals/rubi/ |
H A D | utility_function.py | 728 def CotQ(u): function 3953 elif CotQ(u): 4074 elif CotQ(u): 4594 elif CotQ(v): 4610 elif TanQ(v) or CotQ(v): 4702 return TanQ(u) or CotQ(u) 4715 return CotQ(u) 4811 return TanQ(u) or CotQ(u) or EvenQuotientQ(u.args[0], v) 4838 elif CotQ(u) and ZeroQ(u.args[0] - v): 5837 elif CotQ(v):
|
H A D | constraints.py | 25 ExpQ, LogQ, Head, MemberQ, TrigQ, SinQ, CosQ, TanQ, CotQ, SecQ, CscQ,
|
/dports/math/py-sympy/sympy-1.9/sympy/integrals/rubi/tests/ |
H A D | test_utility_function.py | 24 Head, MemberQ, TrigQ, SinQ, CosQ, TanQ, CotQ, SecQ, CscQ, HyperbolicQ, 445 assert not CotQ(tan(x)) 446 assert CotQ(cot(x))
|
/dports/math/py-sympy/sympy-1.9/sympy/integrals/rubi/rubi_tests/tests/ |
H A D | test_special_functions.py | 25 ExpQ, LogQ, Head, MemberQ, TrigQ, SinQ, CosQ, TanQ, CotQ, SecQ, CscQ,
|
H A D | test_inverse_hyperbolic_sine.py | 26 ExpQ, LogQ, Head, MemberQ, TrigQ, SinQ, CosQ, TanQ, CotQ, SecQ, CscQ,
|
H A D | test_hyperbolic_sine.py | 26 ExpQ, LogQ, Head, MemberQ, TrigQ, SinQ, CosQ, TanQ, CotQ, SecQ, CscQ,
|
H A D | test_inverse_sine.py | 26 ExpQ, LogQ, Head, MemberQ, TrigQ, SinQ, CosQ, TanQ, CotQ, SecQ, CscQ,
|
H A D | test_secant.py | 26 ExpQ, LogQ, Head, MemberQ, TrigQ, SinQ, CosQ, TanQ, CotQ, SecQ, CscQ,
|
H A D | test_tangent.py | 26 ExpQ, LogQ, Head, MemberQ, TrigQ, SinQ, CosQ, TanQ, CotQ, SecQ, CscQ,
|
H A D | test_sine.py | 26 ExpQ, LogQ, Head, MemberQ, TrigQ, SinQ, CosQ, TanQ, CotQ, SecQ, CscQ,
|