/dports/math/py-mathics/Mathics3-2.2.0/mathics/packages/analytica/ |
H A D | product.m | 13 product[f_, {v_, n1_, (n2_ + n3_) n_Integer}] :> 16 product[f_, {v_, n1_, n2_+n_Integer?Positive}] :> 24 (n0_+n_Integer?Positive)! :> 27 (n0_+n_Integer?Negative)! :>
|
H A D | summation.m | 104 sum[a_, {v_, n1_, n2_ + n_Integer?Positive}] :> 185 k_^Optional[n_Integer] Binomial[m_, k_] :> 194 sum[(a_ + b_)^n_Integer?Positive c_., range_] :> 225 !FreeQ[t, v + n_Integer?Positive] && SimplerWhenDecrease[t, v], 235 !FreeQ[t, v + n_Integer?Negative] && SimplerWhenIncrease[t, v], 241 sum[a_, {v_, n1_, n2_ + n_Integer}] :> 268 FreeQ[c, v] || FreeQ[c/.(v->v-1), v+n_Integer?Negative]; 292 FreeQ[c, v] || FreeQ[c/.(v->v+1), v+n_Integer?Positive];
|
H A D | trigonometric.m | 110 Sin[n_Integer x_] :> 112 Cos[n_Integer x_] :> 130 Cos[n_Integer x_] :> 2^(n-1) Cos[x]^n + 141 Sin[n_Integer?EvenQ x_] :> 155 Cos[x_/2]^(n_Integer?EvenQ) :> 157 Sin[x_/2]^(n_Integer?EvenQ) :>
|
H A D | equation_rules.m | 30 (x_. + n_Integer a_ == y_. + m_. a_) :> (x + (n-m) a == y)/;NumberQ[m], 43 (x_. a_^(n_Integer?Negative e_.) == y_) :>
|
H A D | integer.m | 48 (-1)^(x_ + n_Integer) := (-1)^n (-1)^x; 56 n_Integer ^ (a_ + m_Integer) := n^m n^a;
|
H A D | context.m | 222 AddUpperBound[f_ f1_^(n_Integer?Negative e_.), upper_, section_] := 226 AddUpperBound[f_ f1_^(n_Integer?Negative e_.), upper_, section_] := 252 AddLowerBound[f_ f1_^(n_Integer?Negative e_.), upper_, section_] := 256 AddLowerBound[f_ f1_^(n_Integer?Negative e_.), upper_, section_] :=
|
H A D | bound.m | 97 CalculateUpper[a_ ^ n_Integer] := 200 CalculateLower[a_ ^ n_Integer?EvenQ] := 204 CalculateLower[a_ ^ n_Integer] :=
|
H A D | GosperSum.m | 57 resn = Cases[res, -jj+n_Integer];
|
/dports/math/py-mathics/Mathics3-2.2.0/mathics/packages/DiscreteMath/ |
H A D | CombinatoricaV0.9.m | 633 UP[r_Integer, n_Integer] := 944 NumberOfInvolutions[n_Integer] := 958 Josephus[n_Integer,m_Integer] := 1016 NthSubset[n_Integer,l_List] := 1688 CircularVertices[n_Integer] := 2035 Turan[n_Integer,p_Integer] := 2043 Star[n_Integer?Positive] := 2052 Wheel[n_Integer] := 2064 Path[n_Integer?Positive] := 2139 NthPair[n_Integer] := [all …]
|
H A D | CombinatoricaV0.6.m | 886 NumberOfInvolutions[n_Integer] := 898 Josephus[n_Integer,m_Integer] := 956 NthSubset[n_Integer,l_List] := 1629 CircularVertices[n_Integer] := 1943 EmptyGraph[n_Integer?Positive] := 1975 Turan[n_Integer,p_Integer] := 1983 Star[n_Integer?Positive] := 1992 Wheel[n_Integer] := 2004 Path[n_Integer?Positive] := 2079 NthPair[n_Integer] := [all …]
|
H A D | RSolve.m | 1833 SeriesTerm[f_, {z_, a_, (n_Integer|n_Rational)}, opts___Rule] := 3218 ReP[x_^n_Integer] := Block[{a, b}, 3224 ImP[x_^n_Integer] := Block[{a, b}, 3377 Sin[x_. + n_Integer?OddQ Pi] :> -Sin[x], 3379 Sin[x_. + n_Integer?EvenQ Pi] :> Sin[x], 3381 Cos[x_. + n_Integer?OddQ Pi] :> -Cos[x], 3383 Cos[x_. + n_Integer?EvenQ Pi] :> Cos[x], 3596 IneqSolve[x_ > n_Integer, x_] := {RSInterval[n+1, Infinity]} 3598 IneqSolve[x_ >= n_Integer, x_] := {RSInterval[n, Infinity]} 3600 IneqSolve[x_ < n_Integer, x_] := {RSInterval[-Infinity, n-1]} [all …]
|
/dports/java/openjdk11/jdk11u-jdk-11.0.13-8-1/test/jdk/java/lang/invoke/lambda/ |
H A D | MetafactoryDescriptorTest.java | 65 public static String n_Integer(Integer arg) { return ""; } in n_Integer() method in MetafactoryDescriptorTest.C
|
/dports/java/openjdk13/jdk13u-jdk-13.0.10-1-1/test/jdk/java/lang/invoke/lambda/ |
H A D | MetafactoryDescriptorTest.java | 65 public static String n_Integer(Integer arg) { return ""; } in n_Integer() method in MetafactoryDescriptorTest.C
|
/dports/java/openjdk11-jre/jdk11u-jdk-11.0.13-8-1/test/jdk/java/lang/invoke/lambda/ |
H A D | MetafactoryDescriptorTest.java | 65 public static String n_Integer(Integer arg) { return ""; } in n_Integer() method in MetafactoryDescriptorTest.C
|
/dports/java/openjdk12/openjdk-jdk12u-jdk-12.0.2-10-4/test/jdk/java/lang/invoke/lambda/ |
H A D | MetafactoryDescriptorTest.java | 65 public static String n_Integer(Integer arg) { return ""; } in n_Integer() method in MetafactoryDescriptorTest.C
|
/dports/java/openjdk15/jdk15u-jdk-15.0.6-1-1/test/jdk/java/lang/invoke/lambda/ |
H A D | MetafactoryDescriptorTest.java | 65 public static String n_Integer(Integer arg) { return ""; } in n_Integer() method in MetafactoryDescriptorTest.C
|
/dports/java/openjdk16/jdk16u-jdk-16.0.2-7-1/test/jdk/java/lang/invoke/lambda/ |
H A D | MetafactoryDescriptorTest.java | 65 public static String n_Integer(Integer arg) { return ""; } in n_Integer() method in MetafactoryDescriptorTest.C
|
/dports/java/openjdk17/jdk17u-jdk-17.0.1-12-1/test/jdk/java/lang/invoke/lambda/ |
H A D | MetafactoryDescriptorTest.java | 65 public static String n_Integer(Integer arg) { return ""; } in n_Integer() method in MetafactoryDescriptorTest.C
|
/dports/java/openjdk14/jdk14u-jdk-14.0.2-12-1/test/jdk/java/lang/invoke/lambda/ |
H A D | MetafactoryDescriptorTest.java | 65 public static String n_Integer(Integer arg) { return ""; } in n_Integer() method in MetafactoryDescriptorTest.C
|
/dports/math/py-mathics/Mathics3-2.2.0/mathics/doc/documentation/ |
H A D | 1-Manual.mdoc | 929 >> Format[Dice[n_Integer?(1 <= # <= 6 &)]] := Block[{p = 0.2, r = 0.05}, Graphics[{EdgeForm[Black],… 936 …. Format[Dice[n_Integer ? (1 <= #1 <= 6&)], MathMLForm] = Block[{p = 0.2, r = 0.05}, Graphics[{Edg… 938 …. Format[Dice[n_Integer ? (1 <= #1 <= 6&)], OutputForm] = Block[{p = 0.2, r = 0.05}, Graphics[{Edg… 940 …. Format[Dice[n_Integer ? (1 <= #1 <= 6&)], StandardForm] = Block[{p = 0.2, r = 0.05}, Graphics[{E… 942 …. Format[Dice[n_Integer ? (1 <= #1 <= 6&)], TeXForm] = Block[{p = 0.2, r = 0.05}, Graphics[{EdgeFo… 944 …. Format[Dice[n_Integer ? (1 <= #1 <= 6&)], TraditionalForm] = Block[{p = 0.2, r = 0.05}, Graphics…
|
/dports/math/reduce/Reduce-svn5758-src/packages/rubi_red/rubi-rules/ |
H A D | IntegrationUtilityFunctions.m | 2742 Rt[u_^m_,n_Integer] := 2746 Rt[v_.*u_^w_,n_Integer] := 2752 (* Rt[u_*v_^m_,n_Integer] := 2757 Rt[u_,n_Integer] := 2761 Rt[u_,n_Integer] := 2788 Rt[u_.*(a_+b_.*Sin[v_]^2)^m_.,n_Integer] := 2793 Rt[u_.*(a_+b_.*Cos[v_]^2)^m_.,n_Integer] := 2798 Rt[u_.*(a_+b_.*Sinh[v_]^2)^m_.,n_Integer] := 2803 Rt[u_.*(a_+b_.*Cosh[v_]^2)^m_.,n_Integer] := 2812 Rt[u_,n_Integer] := [all …]
|
/dports/math/reduce/Reduce-svn5758-src/contrib/rubi-red/rubi4/Rubi-Red/ |
H A D | IntegrationUtilityFunctions.m | 3755 Rt[u_^m_,n_Integer] := 3759 Rt[v_.*u_^w_,n_Integer] := 3765 (* Rt[u_*v_^m_,n_Integer] := 3770 Rt[u_,n_Integer] := 3774 Rt[u_,n_Integer] := 3801 Rt[u_.*(a_+b_.*Sin[v_]^2)^m_.,n_Integer] := 3806 Rt[u_.*(a_+b_.*Cos[v_]^2)^m_.,n_Integer] := 3811 Rt[u_.*(a_+b_.*Sinh[v_]^2)^m_.,n_Integer] := 3821 Rt[u_,n_Integer] := 3832 Rt[u_,n_Integer] := [all …]
|
/dports/math/reduce/Reduce-svn5758-src/contrib/rubi-red/ |
H A D | IntegrationUtilityFunctions.m | 3755 Rt[u_^m_,n_Integer] := 3759 Rt[v_.*u_^w_,n_Integer] := 3765 (* Rt[u_*v_^m_,n_Integer] := 3770 Rt[u_,n_Integer] := 3774 Rt[u_,n_Integer] := 3801 Rt[u_.*(a_+b_.*Sin[v_]^2)^m_.,n_Integer] := 3806 Rt[u_.*(a_+b_.*Cos[v_]^2)^m_.,n_Integer] := 3811 Rt[u_.*(a_+b_.*Sinh[v_]^2)^m_.,n_Integer] := 3821 Rt[u_,n_Integer] := 3832 Rt[u_,n_Integer] := [all …]
|
/dports/math/reduce/Reduce-svn5758-src/contrib/rubi-red/rubi4/IntegrationRules/MathematicaNotebookFiles/ |
H A D | IntegrationUtilityFunctions.nb | 12842 RowBox[{"u_", "^", "m_"}], ",", "n_Integer"}], "]"}], " ", ":=", "\n", 12858 RowBox[{"u_", "^", "w_"}]}], ",", "n_Integer"}], "]"}], " ", ":=", "\n", 12894 RowBox[{"v_", "^", "m_"}]}], ",", "n_Integer"}], "]"}], " ", ":=", 12915 RowBox[{"u_", ",", "n_Integer"}], "]"}], " ", ":=", "\n", " ", 12928 RowBox[{"u_", ",", "n_Integer"}], "]"}], " ", ":=", "\n", " ", 13145 "m_."}]}], ",", "n_Integer"}], "]"}], " ", ":=", "\n", " ", 13176 "m_."}]}], ",", "n_Integer"}], "]"}], " ", ":=", "\n", " ", 13207 "m_."}]}], ",", "n_Integer"}], "]"}], " ", ":=", "\n", " ", 13239 "m_."}]}], ",", "n_Integer"}], "]"}], " ", ":=", "\n", " ", 13268 RowBox[{"u_", ",", "n_Integer"}], "]"}], " ", ":=", "\n", " ", [all …]
|
/dports/math/reduce/Reduce-svn5758-src/packages/rubi_red/tests4/MiscellaneousFunctions/ |
H A D | TestGradnew.m | 3081 {Derivative[n_Integer][f_][y_]:> 3083 Derivative[n_Integer,0][f_][y_,z_]:> 3085 Derivative[0,n_Integer][f_][y_,z_]:> 3087 Derivative[n_Integer,0,0][f_][y_,z_,g_]:> 3090 Derivative[0,n_Integer,0][f_][y_,z_,g_]:> 3093 Derivative[0,0,n_Integer][f_][y_,z_,g_]:>
|