Home
last modified time | relevance | path

Searched refs:CotQ (Results 1 – 25 of 34) sorted by relevance

12

/dports/math/reduce/Reduce-svn5758-src/packages/rubi_red/rubi-rules/
H A DIntegrationUtilityFunctions.m297 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 DIntegrationUtilityFunctions.m301 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 DIntegrationUtilityFunctions.nb1193 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 DIntegrationUtilityFunctions.m301 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 DIntegrationUtilityFunctions.nb1193 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 Dpiecewise_linear.py25 ExpQ, LogQ, Head, MemberQ, TrigQ, SinQ, CosQ, TanQ, CotQ, SecQ, CscQ,
H A Dintegrand_simplification.py25 ExpQ, LogQ, Head, MemberQ, TrigQ, SinQ, CosQ, TanQ, CotQ, SecQ, CscQ,
H A Dmiscellaneous_integration.py25 ExpQ, LogQ, Head, MemberQ, TrigQ, SinQ, CosQ, TanQ, CotQ, SecQ, CscQ,
H A Dexponential.py25 ExpQ, LogQ, Head, MemberQ, TrigQ, SinQ, CosQ, TanQ, CotQ, SecQ, CscQ,
H A Dspecial_functions.py25 ExpQ, LogQ, Head, MemberQ, TrigQ, SinQ, CosQ, TanQ, CotQ, SecQ, CscQ,
H A Dlogarithms.py25 ExpQ, LogQ, Head, MemberQ, TrigQ, SinQ, CosQ, TanQ, CotQ, SecQ, CscQ,
H A Dlinear_products.py25 ExpQ, LogQ, Head, MemberQ, TrigQ, SinQ, CosQ, TanQ, CotQ, SecQ, CscQ,
H A Dmiscellaneous_trig.py25 ExpQ, LogQ, Head, MemberQ, TrigQ, SinQ, CosQ, TanQ, CotQ, SecQ, CscQ,
H A Dbinomial_products.py25 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 DIntegrationUtilityFunctions.nb1036 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 Dutility_function.py728 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 Dconstraints.py25 ExpQ, LogQ, Head, MemberQ, TrigQ, SinQ, CosQ, TanQ, CotQ, SecQ, CscQ,
/dports/math/py-sympy/sympy-1.9/sympy/integrals/rubi/tests/
H A Dtest_utility_function.py24 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 Dtest_special_functions.py25 ExpQ, LogQ, Head, MemberQ, TrigQ, SinQ, CosQ, TanQ, CotQ, SecQ, CscQ,
H A Dtest_inverse_hyperbolic_sine.py26 ExpQ, LogQ, Head, MemberQ, TrigQ, SinQ, CosQ, TanQ, CotQ, SecQ, CscQ,
H A Dtest_hyperbolic_sine.py26 ExpQ, LogQ, Head, MemberQ, TrigQ, SinQ, CosQ, TanQ, CotQ, SecQ, CscQ,
H A Dtest_inverse_sine.py26 ExpQ, LogQ, Head, MemberQ, TrigQ, SinQ, CosQ, TanQ, CotQ, SecQ, CscQ,
H A Dtest_secant.py26 ExpQ, LogQ, Head, MemberQ, TrigQ, SinQ, CosQ, TanQ, CotQ, SecQ, CscQ,
H A Dtest_tangent.py26 ExpQ, LogQ, Head, MemberQ, TrigQ, SinQ, CosQ, TanQ, CotQ, SecQ, CscQ,
H A Dtest_sine.py26 ExpQ, LogQ, Head, MemberQ, TrigQ, SinQ, CosQ, TanQ, CotQ, SecQ, CscQ,

12