Home
last modified time | relevance | path

Searched refs:n_Integer (Results 1 – 25 of 32) sorted by relevance

12

/dports/math/py-mathics/Mathics3-2.2.0/mathics/packages/analytica/
H A Dproduct.m13 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 Dsummation.m104 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 Dtrigonometric.m110 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 Dequation_rules.m30 (x_. + n_Integer a_ == y_. + m_. a_) :> (x + (n-m) a == y)/;NumberQ[m],
43 (x_. a_^(n_Integer?Negative e_.) == y_) :>
H A Dinteger.m48 (-1)^(x_ + n_Integer) := (-1)^n (-1)^x;
56 n_Integer ^ (a_ + m_Integer) := n^m n^a;
H A Dcontext.m222 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 Dbound.m97 CalculateUpper[a_ ^ n_Integer] :=
200 CalculateLower[a_ ^ n_Integer?EvenQ] :=
204 CalculateLower[a_ ^ n_Integer] :=
H A DGosperSum.m57 resn = Cases[res, -jj+n_Integer];
/dports/math/py-mathics/Mathics3-2.2.0/mathics/packages/DiscreteMath/
H A DCombinatoricaV0.9.m633 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 DCombinatoricaV0.6.m886 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 DRSolve.m1833 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 DMetafactoryDescriptorTest.java65 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 DMetafactoryDescriptorTest.java65 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 DMetafactoryDescriptorTest.java65 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 DMetafactoryDescriptorTest.java65 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 DMetafactoryDescriptorTest.java65 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 DMetafactoryDescriptorTest.java65 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 DMetafactoryDescriptorTest.java65 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 DMetafactoryDescriptorTest.java65 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 D1-Manual.mdoc929 >> 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 DIntegrationUtilityFunctions.m2742 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 DIntegrationUtilityFunctions.m3755 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 DIntegrationUtilityFunctions.m3755 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 DIntegrationUtilityFunctions.nb12842 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 DTestGradnew.m3081 {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_]:>

12