packages/DiscreteMath/RSolve.m

552         init = Select[conds, Function[xx, MatchQ[xx,
870   ]   /; !FreeQ[x, n] && FreeQ[z, n] && !MatchQ[f, 1/n] && FreeQ[f, BernoulliB]
911 	  MatchQ[alpha, _Symbol] || (NumberQ[N[alpha]] && N[alpha] > 0)
1103   ) /; MatchQ[a, 2^n1_ (-1 + 2^n1_) BernoulliB[n1_] / ((n1_)!) /; n1 == n+1]
1108   ) /; MatchQ[a, (-1)^n2_ 2^n1_*(-1 + 2^n1_)* BernoulliB[n1_] / ((n1_)!) /;
1898      	        If[MatchQ[iInfo[n], n >= _],
1912 	        ]; (* If MatchQ[iInfo[n], n >= _] *)
1987 	   If[MatchQ[(num = Numerator[ff1]),
1993 	      If[!MatchQ[ff1, ggg_. (aaa_ + bbb_.*z^kkk_.)^mmm_Integer /;
2048      If[MatchQ[iInfo[n], n >= _],
2066      ]; (* If MatchQ[iInfo[n], n >= _] *)
2092 	and g[x] (see MatchQ). *)
2100 			 MatchQ[ist, a_. iSeriesTerm[(g_)[z], z, m_] /;
2124 	(see MatchQ), with Context[f] usually "Global`". *)
2133 	 MatchQ[ist, a_. iSeriesTerm[(g_)[z], z, m_] /;
2152     ) /; MatchQ[Collect[z1, z], z^k1_. /; (k = k1; IntegerQ[k1])] &&
2161    ) /; MatchQ[Collect[z1, z], z^k1_. /;
2222          If[NumberQ[c] && Negative[c] && MatchQ[q, s_Symbol i_Integer?Even],
2282         ) /; FreeQ[{a,b},z] && MatchQ[r, Rational[1, _]]
2367 	If[MatchQ[sqrt, Power[z_, 1/2]],
2374 	If[MatchQ[sqrt, Power[z_, 1/2]],
2379         Which[MatchQ[cos, Cosh[z_]],
2381 	      MatchQ[cos, -Cosh[z_]],
2383 	      MatchQ[cos, Cos[z_]],
2385 	      MatchQ[cos, -Cos[z_]],
2671   	     aa = If[MatchQ[a, (ccc_ + ddd_.*z^kkk_.)^mmm_Integer /;
2871       If[MatchQ[f, x1_. (x2_. + if[K[sd] == y0_, y1_, 0]) /;
3086                EvenQ[b - a] && (SameQ[Head[n],Symbol] || MatchQ[n,K[_Integer]])
3089                OddQ[b - a] && (SameQ[Head[n],Symbol] || MatchQ[n,K[_Integer]])
3107 			    !MatchQ[den, c_. ((a_ + b_.*x^k_.)^m_.) /;
3386     Sin[a_Plus] :> -Sin[Expand[-a]] /; MatchQ[a[[1]], _?Negative _.],
3387     Cos[a_Plus] :>  Cos[Expand[-a]] /; MatchQ[a[[1]], _?Negative _.],
3390                                        MatchQ[a[[1]], _?Negative _.],
3574     SafeFirst[Select[Range[Length[l]], MatchQ[l[[#]], pattern]& ]]
3714         zeroList = Select[zeroList, MatchQ[Im[#], 0 | Im[K[_]]]&] // Union;
3715         poleList = Select[poleList, MatchQ[Im[#], 0 | Im[K[_]]]&] // Union;
3737 	    MatchQ[#, RSInterval[K[k_] + i_., K[k_] + i_.] /; IntegerQ[i]] ||
3738 	    MatchQ[#, RSInterval[-Infinity, K[k_] + i_.] /; IntegerQ[i]] ||
3739 	    MatchQ[#, RSInterval[K[k_] + i_., Infinity] /; IntegerQ[i]])&];
3772 	    MatchQ[#, RSInterval[K[k_] + i_., K[k_] + i_.] /; IntegerQ[i]] ||
3773 	    MatchQ[#, RSInterval[-Infinity, K[k_] + i_.] /; IntegerQ[i]] ||
3774 	    MatchQ[#, RSInterval[K[k_] + i_., Infinity] /; IntegerQ[i]])&];
3823 		 MatchQ[{a, c}, {-Infinity, K[k_] + i_. /; IntegerQ[i]} |
4294   ) /; MatchQ[e, a_.*x^k_. /; FreeQ[{a,k}, x]] || !FreeQ[e, Root]
4328 		If[MatchQ[den, (cc_.*(aa_ + bb_.*newvar^kk_.)^mm_.) /;
4330 		   MatchQ[den, (aa_.*newvar_^n_Integer) /; FreeQ[aa, newvar]],
4375  MatchQ[expr, Sin[p_] /; PolynomialQ[p, z] && Exponent[p, z] == 1] ||
4376  MatchQ[expr, Cos[p_] /; PolynomialQ[p, z] && Exponent[p, z] == 1] ||
4377  MatchQ[expr, Tan[a_. z] /; FreeQ[a, z]] ||
4378  MatchQ[expr, Sec[a_. z] /; FreeQ[a, z]] ||
4379  MatchQ[expr, Cos[a_. Sqrt[b_. z]] /; FreeQ[{a, b}, z]] ||
4380  MatchQ[expr, Sinh[p_] /; PolynomialQ[p, z] && Exponent[p, z] == 1] ||
4381  MatchQ[expr, Cosh[p_] /; PolynomialQ[p, z] && Exponent[p, z] == 1] ||
4382  MatchQ[expr, Tanh[a_. z] /; FreeQ[a, z]] ||
4383  MatchQ[expr, Cosh[a_. Sqrt[b_. z]] /; FreeQ[{a, b}, z]] ||
4384  MatchQ[expr, Sech[a_. Sqrt[b_. z]] /; FreeQ[{a, b}, z]]