/dports/math/reduce/Reduce-svn5758-src/packages/rubi_red/rubi-rules/InverseTrigFunctions/ |
H A D | InverseSecantFunctions.m | 200 InverseFunctionFreeQ[u,x] && Not[FunctionOfExponentialOfLinear[u,x]]
|
H A D | InverseCosecantFunctions.m | 200 InverseFunctionFreeQ[u,x] && Not[FunctionOfExponentialOfLinear[u,x]]
|
H A D | InverseCosineFunctions.m | 705 InverseFunctionFreeQ[u,x] && Not[FunctionOfExponentialOfLinear[u,x]] 733 FreeQ[m,x] && NonzeroQ[m+1] && InverseFunctionFreeQ[u,x] &&
|
H A D | InverseSineFunctions.m | 706 InverseFunctionFreeQ[u,x] && Not[FunctionOfExponentialOfLinear[u,x]] 734 FreeQ[m,x] && NonzeroQ[m+1] && InverseFunctionFreeQ[u,x] &&
|
H A D | InverseTangentFunctions.m | 1954 InverseFunctionFreeQ[u,x] 1982 FreeQ[m,x] && NonzeroQ[m+1] && InverseFunctionFreeQ[u,x] && 2013 InverseFunctionFreeQ[w,x]] /; 2014 InverseFunctionFreeQ[u,x] &&
|
H A D | InverseCotangentFunctions.m | 1932 InverseFunctionFreeQ[u,x] 1960 FreeQ[m,x] && NonzeroQ[m+1] && InverseFunctionFreeQ[u,x] && 1991 InverseFunctionFreeQ[w,x]] /; 1992 InverseFunctionFreeQ[u,x] &&
|
/dports/math/reduce/Reduce-svn5758-src/packages/rubi_red/rubi-rules/InverseHyperbolicFunctions/ |
H A D | InverseHyperbolicCosecantFunctions.m | 168 InverseFunctionFreeQ[u,x] && Not[FunctionOfExponentialOfLinear[u,x]]
|
H A D | InverseHyperbolicSecantFunctions.m | 183 InverseFunctionFreeQ[u,x] && Not[FunctionOfExponentialOfLinear[u,x]] *)
|
H A D | InverseHyperbolicCotangentFunctions.m | 2285 InverseFunctionFreeQ[u,x] 2313 FreeQ[m,x] && NonzeroQ[m+1] && InverseFunctionFreeQ[u,x] && 2344 InverseFunctionFreeQ[w,x]] /; 2345 InverseFunctionFreeQ[u,x] &&
|
H A D | InverseHyperbolicTangentFunctions.m | 2285 InverseFunctionFreeQ[u,x] 2313 FreeQ[m,x] && NonzeroQ[m+1] && InverseFunctionFreeQ[u,x] && 2344 InverseFunctionFreeQ[w,x]] /; 2345 InverseFunctionFreeQ[u,x] &&
|
H A D | InverseHyperbolicCosineFunctions.m | 678 InverseFunctionFreeQ[u,x] && Not[FunctionOfExponentialOfLinear[u,x]]
|
H A D | InverseHyperbolicSineFunctions.m | 710 InverseFunctionFreeQ[u,x] && Not[FunctionOfExponentialOfLinear[u,x]]
|
/dports/math/reduce/Reduce-svn5758-src/contrib/rubi-red/rubi4/IntegrationRules/MathematicaNotebookFiles/InverseTrigFunctions/ |
H A D | InverseSecantFunctions.nb | 1164 RowBox[{"InverseFunctionFreeQ", "[",
|
H A D | InverseCosecantFunctions.nb | 1160 RowBox[{"InverseFunctionFreeQ", "[",
|
H A D | InverseSineFunctions.nb | 4431 RowBox[{"InverseFunctionFreeQ", "[", 4567 RowBox[{"InverseFunctionFreeQ", "[",
|
H A D | InverseCosineFunctions.nb | 4526 RowBox[{"InverseFunctionFreeQ", "[", 4665 RowBox[{"InverseFunctionFreeQ", "[",
|
/dports/math/reduce/Reduce-svn5758-src/contrib/rubi-red/rubi4/IntegrationRules/MathematicaNotebookFiles/InverseHyperbolicFunctions/ |
H A D | InverseHyperbolicCosecantFunctions.nb | 923 RowBox[{"InverseFunctionFreeQ", "[",
|
H A D | InverseHyperbolicSecantFunctions.nb | 996 RowBox[{"InverseFunctionFreeQ", "[",
|
/dports/math/py-sympy/sympy-1.9/sympy/integrals/rubi/rules/ |
H A D | piecewise_linear.py | 29 InverseFunctionQ, TrigHyperbolicFreeQ, InverseFunctionFreeQ, RealQ,
|
H A D | integrand_simplification.py | 29 InverseFunctionQ, TrigHyperbolicFreeQ, InverseFunctionFreeQ, RealQ,
|
H A D | inverse_trig.py | 29 InverseFunctionQ, TrigHyperbolicFreeQ, InverseFunctionFreeQ, RealQ, 2667 if InverseFunctionFreeQ(v, x): 2682 if InverseFunctionFreeQ(v, x): 3005 if InverseFunctionFreeQ(w, x): 3020 if InverseFunctionFreeQ(w, x): 4385 if InverseFunctionFreeQ(w, x): 4400 if InverseFunctionFreeQ(w, x): 4427 if InverseFunctionFreeQ(z, x): 4442 if InverseFunctionFreeQ(z, x): 4669 if InverseFunctionFreeQ(w, x): [all …]
|
/dports/math/reduce/Reduce-svn5758-src/packages/rubi_red/rubi-rules/ |
H A D | GeneralIntegrationRules.m | 1269 InverseFunctionFreeQ[u,x] 1319 FreeQ[{a,b,m},x] && NonzeroQ[m+1] && InverseFunctionFreeQ[u,x] && 1333 InverseFunctionFreeQ[w,x]] /; 1334 InverseFunctionFreeQ[u,x] &&
|
H A D | IntegrationUtilityFunctions.m | 375 InverseFunctionFreeQ[u,x] returns true; else it returns False. *) 385 InverseFunctionFreeQ[u,x] returns true; else it returns False. *) 386 InverseFunctionFreeQ[u_,x_Symbol] := 392 InverseFunctionFreeQ[u[[1,1]],x], *) 394 Catch[Scan[Function[If[InverseFunctionFreeQ[#,x],Null,Throw[False]]],u];True]]]
|
/dports/math/reduce/Reduce-svn5758-src/contrib/rubi-red/rubi4/Rubi-Red/ |
H A D | IntegrationUtilityFunctions.m | 381 InverseFunctionFreeQ[u,x] returns true; else it returns False. *) 391 InverseFunctionFreeQ[u,x] returns true; else it returns False. *) 392 InverseFunctionFreeQ[u_,x_Symbol] := 398 InverseFunctionFreeQ[u[[1,1]],x], *) 400 Catch[Scan[Function[If[InverseFunctionFreeQ[#,x],Null,Throw[False]]],u];True]]]
|
/dports/math/reduce/Reduce-svn5758-src/contrib/rubi-red/ |
H A D | IntegrationUtilityFunctions.m | 381 InverseFunctionFreeQ[u,x] returns true; else it returns False. *) 391 InverseFunctionFreeQ[u,x] returns true; else it returns False. *) 392 InverseFunctionFreeQ[u_,x_Symbol] := 398 InverseFunctionFreeQ[u[[1,1]],x], *) 400 Catch[Scan[Function[If[InverseFunctionFreeQ[#,x],Null,Throw[False]]],u];True]]]
|