Home
last modified time | relevance | path

Searched refs:MatchQ (Results 1 – 25 of 112) sorted by relevance

12345

/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/parameterized-utils-2.1.3.0/src/Data/Parameterized/TH/
H A DGADT.hs255 constructorNumberMatches :: [ConstructorInfo] -> [MatchQ]
262 outerOrdMatches :: DatatypeInfo -> ExpQ -> Maybe ExpQ -> [MatchQ]
339 -> Q [MatchQ]
356 -> Q [MatchQ]
386 -> MatchQ
459 -> MatchQ
483 showCon :: ExpQ -> Name -> Int -> MatchQ
493 matchShowCtor :: ExpQ -> ConstructorInfo -> MatchQ
/dports/math/py-mathics/Mathics3-2.2.0/mathics/packages/CURLLink/
H A DHTTP.m302 If[MatchQ[handle["Proxies"], {}|{""}],
455 If[MatchQ[handle["Proxies"], {}|{""}],
618 If[!MatchQ[("VerifyPeer" /. opts), True|False],
623 If[!MatchQ[("StoreCookies" /. opts), True|False],
763 If[MatchQ[list, {"Rules", List[_String ...]}],
1110 If[ MatchQ[parameters, {__}] && MatchQ[ multipartElements, {__}],
1159 If[MatchQ[parameters, {__}],
1258 MatchQ[me,{{_String, _String, {__Integer}}..}],
1353 MatchQ[res, List[_String, _String]],
1384 MatchQ[result, List[_String, _String]],
[all …]
/dports/math/reduce/Reduce-svn5758-src/contrib/rubi-red/rubi4/Rubi-Red/
H A DIntegrationUtilityFunctions.m419 MatchQ[u, m_*v_. /; RationalQ[m] && m<0]]
633 MatchQ[u, a_.+b_.*x /; FreeQ[{a,b},x]],
641 MatchQ[u, a_.+b_.*x+c_.*x^2 /; FreeQ[{a,b,c},x]] || MatchQ[u, a_.+c_.*x^2 /; FreeQ[{a,c},x]],
683 MatchQ[u, a_.*x^n_. /; FreeQ[{a,n},x]]]
2603 MatchQ[u, (a_.+b_.*f_[c_.+d_.*x])^n_. /;
3662 Not[MatchQ[u,Log[v_]]] &&
3670 Not[MatchQ[u,Log[v_]]] &&
3671 Not[MatchQ[u,f_[v_]^2 /; LinearQ[v,x]]] &&
3683 Not[MatchQ[u,Log[v_]]] &&
3691 Not[MatchQ[u,Log[v_]]] &&
[all …]
H A DIntegrationUtilityFunctions.nb298 RowBox[{"MatchQ", "[",
316 RowBox[{"MatchQ", "[",
7033 RowBox[{"MatchQ", "[",
7043 RowBox[{"MatchQ", "[",
7056 RowBox[{"MatchQ", "[",
7070 RowBox[{"MatchQ", "[",
7090 RowBox[{"MatchQ", "[",
7112 RowBox[{"MatchQ", "[",
7135 RowBox[{"MatchQ", "[",
7158 RowBox[{"MatchQ", "[",
[all …]
/dports/math/reduce/Reduce-svn5758-src/contrib/rubi-red/
H A DIntegrationUtilityFunctions.m419 MatchQ[u, m_*v_. /; RationalQ[m] && m<0]]
633 MatchQ[u, a_.+b_.*x /; FreeQ[{a,b},x]],
641 MatchQ[u, a_.+b_.*x+c_.*x^2 /; FreeQ[{a,b,c},x]] || MatchQ[u, a_.+c_.*x^2 /; FreeQ[{a,c},x]],
683 MatchQ[u, a_.*x^n_. /; FreeQ[{a,n},x]]]
2603 MatchQ[u, (a_.+b_.*f_[c_.+d_.*x])^n_. /;
3662 Not[MatchQ[u,Log[v_]]] &&
3670 Not[MatchQ[u,Log[v_]]] &&
3671 Not[MatchQ[u,f_[v_]^2 /; LinearQ[v,x]]] &&
3683 Not[MatchQ[u,Log[v_]]] &&
3691 Not[MatchQ[u,Log[v_]]] &&
[all …]
H A DIntegrationUtilityFunctions.nb298 RowBox[{"MatchQ", "[",
316 RowBox[{"MatchQ", "[",
7033 RowBox[{"MatchQ", "[",
7043 RowBox[{"MatchQ", "[",
7056 RowBox[{"MatchQ", "[",
7070 RowBox[{"MatchQ", "[",
7090 RowBox[{"MatchQ", "[",
7112 RowBox[{"MatchQ", "[",
7135 RowBox[{"MatchQ", "[",
7158 RowBox[{"MatchQ", "[",
[all …]
/dports/math/reduce/Reduce-svn5758-src/packages/rubi_red/rubi-rules/
H A DIntegrationUtilityFunctions.m413 MatchQ[u, m_*v_. /; RationalQ[m] && m<0]]
661 MatchQ[u,x^n_. /; FreeQ[n,x]]
1558 MatchQ[u,(a_.+b_.*sin[c_.+d_.*x]^k_.)^n_. /;
2648 (*Not[MatchQ[u,Log[f_[x]^2] /; SinCosQ[f]]] && *)
2649 Not[MatchQ[u,Log[v_]]] &&
2657 Not[MatchQ[u,Log[v_]]] &&
2658 Not[MatchQ[u,f_[v_]^2 /; LinearQ[v,x]]] &&
2659 Not[MatchQ[u,ArcTan[a_.*Tan[v_]] /; FreeQ[a,x]]] &&
2673 (*Not[MatchQ[u,Log[f_[x]^2] /; SinhCoshQ[f]]] && *)
2674 Not[MatchQ[u,Log[v_]]] &&
[all …]
H A DGeneralIntegrationRules.m45 Not[MatchQ[u*(a*v^m)^p,(Sec[c_.+d_.*x]^2)^p /; FreeQ[{c,d},x] && p>0]] &&
46 Not[MatchQ[u*(a*v^m)^p,(Csc[c_.+d_.*x]^2)^p /; FreeQ[{c,d},x] && p>0]] &&
47 Not[MatchQ[u*(a*v^m)^p,(Sech[c_.+d_.*x]^2)^p /; FreeQ[{c,d},x] && p>0]] &&
48 Not[MatchQ[u*(a*v^m)^p,(-Csch[c_.+d_.*x]^2)^p /; FreeQ[{c,d},x] && p>0]]
1012 Not[MatchQ[u,v_^n_. /; SumQ[v] && IntegerQ[n] && n>0]] &&
1014 Not[MatchQ[u,1/(a_.+b_.*f_^(d_.+e_.*x)+c_.*f_^(g_.+h_.*x)) /;
1023 Not[MatchQ[u,v_^n_. /; SumQ[v] && IntegerQ[n] && n>0]] &&
1025 Not[MatchQ[u,1/(a_.+b_.*f_^(d_.+e_.*x)+c_.*f_^(g_.+h_.*x)) /;
1335 Not[MatchQ[v, x^m_. /; FreeQ[m,x]]] &&
1926 FreeQ[{a,b,f,g},x] && Not[MatchQ[v,c_+t_ /; FreeQ[c,x]]] && Not[MatchQ[w,c_+t_ /; FreeQ[c,x]]]
[all …]
/dports/math/py-mathics/Mathics3-2.2.0/mathics/packages/DiscreteMath/
H A DRSolve.m1987 If[MatchQ[(num = Numerator[ff1]),
2048 If[MatchQ[iInfo[n], n >= _],
2066 ]; (* If MatchQ[iInfo[n], n >= _] *)
2092 and g[x] (see MatchQ). *)
2161 ) /; MatchQ[Collect[z1, z], z^k1_. /;
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_]],
[all …]
/dports/math/reduce/Reduce-svn5758-src/packages/rubi_red/rubi-rules/RationalFunctions/
H A DRationalFunctionsOfLinears.m116 SimplifyFlag && FreeQ[a,x] && Not[MatchQ[u,b_*v_ /; FreeQ[b,x]]],
121 FreeQ[a,x] && Not[MatchQ[u,b_*v_ /; FreeQ[b,x]]]]
157 MatchQ[u,1/(a_+b_.*x) /; FreeQ[{a,b},x]] ||
158 MatchQ[u,x^m_./(a_+b_.*x^n_) /; FreeQ[{a,b,m,n},x] && ZeroQ[m-n+1]] ||
159 MatchQ[u,1/((a_.+b_.*x)*(c_+d_.*x)) /; FreeQ[{a,b,c,d},x]] ||
160 MatchQ[u,(d_.+e_.*x)/(a_+b_.*x+c_.*x^2) /; FreeQ[{a,b,c,d,e},x]] ||
167 MatchQ[u,1/(a_+b_.*x) /; FreeQ[{a,b},x]] ||
168 MatchQ[u,x^m_./(a_+b_.*x^n_) /; FreeQ[{a,b,m,n},x] && ZeroQ[m-n+1]] ||
169 MatchQ[u,1/((a_.+b_.*x)*(c_+d_.*x)) /; FreeQ[{a,b,c,d},x]] ||
170 MatchQ[u,(d_.+e_.*x)/(a_+b_.*x+c_.*x^2) /; FreeQ[{a,b,c,d,e},x]] ||
[all …]
/dports/math/py-mathics/Mathics3-2.2.0/mathics/packages/Rubi-save/
H A DIntegrationUtilityFunctions.m1474 MatchQ[u, a_.*x^n_. /; FreeQ[{a,n},x]]]
1515 MatchQ[u, a_.+b_.*x /; FreeQ[{a,b},x]]]
1543 MatchQ[u, a_.+b_.*x+c_.*x^2 /; FreeQ[{a,b,c},x]] || MatchQ[u, a_.+c_.*x^2 /; FreeQ[{a,c},x]]]
1560 MatchQ[u, a_.+d_.*x^3 /; FreeQ[{a,d},x]]]
5963 If[MatchQ[Together[a],d_.*Complex[0,c_]],
6027 If[MatchQ[Together[a],d_.*Complex[0,c_]] && MatchQ[Together[b],d_.*Complex[0,c_]],
6167 If[MatchQ[Together[a],d_.*Complex[0,c_]] && MatchQ[Together[b],d_.*Complex[0,c_]],
6361 (* Not[MatchQ[u,Log[v_]]] &&
6382 Not[MatchQ[u,Log[v_]]] &&
6390 Not[MatchQ[u,Log[v_]]] &&
[all …]
/dports/math/reduce/Reduce-svn5758-src/contrib/rubi-red/rubi4/IntegrationRules/MathematicaNotebookFiles/
H A DIntegrationUtilityFunctions.nb283 RowBox[{"MatchQ", "[",
301 RowBox[{"MatchQ", "[",
1460 RowBox[{"MatchQ", "[",
2306 RowBox[{"MatchQ", "[",
2409 RowBox[{"MatchQ", "[",
6303 RowBox[{"MatchQ", "[",
6324 RowBox[{"MatchQ", "[",
6357 RowBox[{"MatchQ", "[",
6390 RowBox[{"MatchQ", "[",
6429 RowBox[{"MatchQ", "[",
[all …]
H A DGeneralIntegrationRules.nb211 RowBox[{"MatchQ", "[",
234 RowBox[{"MatchQ", "[",
257 RowBox[{"MatchQ", "[",
280 RowBox[{"MatchQ", "[",
5192 RowBox[{"MatchQ", "[",
5274 RowBox[{"MatchQ", "[",
5361 RowBox[{"MatchQ", "[",
5524 RowBox[{"MatchQ", "[",
5531 RowBox[{"MatchQ", "[",
7214 RowBox[{"MatchQ", "[",
[all …]
/dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/ghc-lib-parser-8.10.7.20210828/libraries/template-haskell/Language/Haskell/TH/Lib/
H A DInternal.hs44 type MatchQ = Q Match type
220 match :: PatQ -> BodyQ -> [DecQ] -> MatchQ
288 lamCaseE :: [MatchQ] -> ExpQ
309 caseE :: ExpQ -> [MatchQ] -> ExpQ
/dports/lang/ghc/ghc-8.10.7/libraries/template-haskell/Language/Haskell/TH/Lib/
H A DInternal.hs44 type MatchQ = Q Match function
220 match :: PatQ -> BodyQ -> [DecQ] -> MatchQ
288 lamCaseE :: [MatchQ] -> ExpQ
309 caseE :: ExpQ -> [MatchQ] -> ExpQ
/dports/math/reduce/Reduce-svn5758-src/contrib/rubi-red/rubi4/IntegrationRules/MathematicaNotebookFiles/RationalFunctions/
H A DRationalFunctionsOfLinears.nb412 RowBox[{"MatchQ", "[",
445 RowBox[{"MatchQ", "[",
569 RowBox[{"MatchQ", "[",
581 RowBox[{"MatchQ", "[",
599 RowBox[{"MatchQ", "[",
616 RowBox[{"MatchQ", "[",
685 RowBox[{"MatchQ", "[",
697 RowBox[{"MatchQ", "[",
715 RowBox[{"MatchQ", "[",
732 RowBox[{"MatchQ", "[",
[all …]
/dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/ghc-lib-parser-8.10.7.20210828/libraries/template-haskell/Language/Haskell/TH/
H A DLib.hs22 TyLitQ, CxtQ, PredQ, DerivClauseQ, MatchQ, ClauseQ, BodyQ, GuardQ,
/dports/lang/ghc/ghc-8.10.7/libraries/template-haskell/Language/Haskell/TH/
H A DLib.hs22 TyLitQ, CxtQ, PredQ, DerivClauseQ, MatchQ, ClauseQ, BodyQ, GuardQ,
/dports/math/reduce/Reduce-svn5758-src/packages/rubi_red/rubi-rules/AlgebraicFunctions/
H A DAlgebraicFunctionsOfBinomials.m748 RationalQ[n] && MatchQ[m,u_+q_ /; RationalQ[q] && (0<n<=q || n<0 && q<0)] ||
749 MatchQ[m,u_+q_.*n /; RationalQ[q] && q>=1])
779 RationalQ[n] && MatchQ[m,u_+q_ /; RationalQ[q] && (n>0 && q<0 || 0<-n<=q)] ||
780 MatchQ[m,u_+q_*n /; RationalQ[q] && q<0])
2348 MatchQ[u,f_^(c_.+d_.*x) /; FreeQ[{c,d,f},x]] ||
2349 MatchQ[u,f_[c_.+d_.*x] /; FreeQ[{c,d},x] && MemberQ[{Tan,Cot,Tanh,Coth},f]]),
2356 MatchQ[u,f_^(c_.+d_.*x) /; FreeQ[{c,d,f},x]] ||
2357 MatchQ[u,f_[c_.+d_.*x] /; FreeQ[{c,d},x] && MemberQ[{Tan,Cot,Tanh,Coth},f]])]
/dports/devel/hs-hlint/hlint-3.3.4/_cabal_deps/ghc-lib-parser-9.0.1.20210324/libraries/template-haskell/Language/Haskell/TH/
H A DLib.hs22 TyLitQ, CxtQ, PredQ, DerivClauseQ, MatchQ, ClauseQ, BodyQ, GuardQ,
/dports/devel/hs-ormolu/ormolu-0.4.0.0/_cabal_deps/ghc-lib-parser-9.2.1.20211101/libraries/template-haskell/Language/Haskell/TH/
H A DLib.hs22 TyLitQ, CxtQ, PredQ, DerivClauseQ, MatchQ, ClauseQ, BodyQ, GuardQ,
/dports/devel/stack/stack-2.7.3/_cabal_deps/aeson-1.5.6.0/src/Data/Aeson/
H A DTH.hs965 getValField :: Name -> String -> [MatchQ] -> Q Exp
975 matchCases :: Either (String, Name) Name -> [MatchQ] -> Q Exp
1103 matchFailed :: Name -> Name -> String -> MatchQ
/dports/math/hs-Agda/Agda-2.6.2/_cabal_deps/aeson-1.4.7.1/Data/Aeson/
H A DTH.hs964 getValField :: Name -> String -> [MatchQ] -> Q Exp
974 matchCases :: Either (String, Name) Name -> [MatchQ] -> Q Exp
1102 matchFailed :: Name -> Name -> String -> MatchQ
/dports/games/hedgewars-server/hedgewars-src-1.0.0/gameServer/_cabal_deps/aeson-1.5.2.0/Data/Aeson/
H A DTH.hs964 getValField :: Name -> String -> [MatchQ] -> Q Exp
974 matchCases :: Either (String, Name) Name -> [MatchQ] -> Q Exp
1102 matchFailed :: Name -> Name -> String -> MatchQ
/dports/converters/hs-aeson-pretty/aeson-pretty-0.8.8/_cabal_deps/aeson-1.5.0.0/Data/Aeson/
H A DTH.hs964 getValField :: Name -> String -> [MatchQ] -> Q Exp
974 matchCases :: Either (String, Name) Name -> [MatchQ] -> Q Exp
1102 matchFailed :: Name -> Name -> String -> MatchQ

12345