Home
last modified time | relevance | path

Searched refs:IsElem (Results 1 – 25 of 50) sorted by relevance

12

/dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/ghc-exactprint-0.6.4/tests/examples/ghc80/
H A Doverloadedlabelsrun02.hs31 class IsElem x g where constructor
34 instance IsElem x (x ': g) where
56 u :: IsElem "z" g => Tm g
/dports/games/lincity-ng/lincity-ng-2.0/mk/jam/
H A Dhelper.jam43 ## IsElem element : list
46 rule IsElem
66 rule IsElem
92 if ! [ IsElem $(i) : $(>) ]
110 if ! [ IsElem $(i) : $(result) ]
H A Dflags.jam16 if [ IsElem shared : $($(i)_OPTIONS) ] {
55 if [ IsElem export : $(3) ] {
70 if [ IsElem export : $(3) ] {
79 if [ IsElem export : $(3) ] {
90 if [ IsElem export : $(3) ] {
H A Dlibrary.jam47 if ! [ IsElem independent : $(3) ]
60 if ! [ IsElem noinstall : $(3) ]
66 if [ IsElem shared : $(3) ]
122 if ! [ IsElem nopackage : $(3) ]
146 if [ IsElem shared : $(3) ] {
H A Dapplication.jam55 if ! [ IsElem independent : $(3) ]
61 if ! [ IsElem noinstall : $(3) ]
80 if ! [ IsElem nopackage : $(3) ]
H A Dcompiler.jam12 if [ IsElem shared : $(2) ]
42 if [ IsElem shared : $(2) ] {
H A Doptions.jam15 if ! [ IsElem $(i) : $(<) ]
/dports/games/glest/glest_source_3.2.2/mk/linux/mk/jam/
H A Dhelper.jam43 ## IsElem element : list
46 rule IsElem
66 rule IsElem
92 if ! [ IsElem $(i) : $(>) ]
110 if ! [ IsElem $(i) : $(result) ]
H A Dflags.jam16 if [ IsElem shared : $($(i)_OPTIONS) ] {
56 if [ IsElem export : $(3) ] {
71 if [ IsElem export : $(3) ] {
80 if [ IsElem export : $(3) ] {
91 if [ IsElem export : $(3) ] {
100 if [ IsElem export : $(3) ] {
H A Dlibrary.jam47 if ! [ IsElem independent : $(3) ]
60 if ! [ IsElem noinstall : $(3) ]
66 if [ IsElem shared : $(3) ]
122 if ! [ IsElem nopackage : $(3) ]
146 if [ IsElem shared : $(3) ] {
H A Dapplication.jam55 if ! [ IsElem independent : $(3) ]
61 if ! [ IsElem noinstall : $(3) ]
80 if ! [ IsElem nopackage : $(3) ]
H A Dcompiler.jam12 if [ IsElem shared : $(2) ]
42 if [ IsElem shared : $(2) ] {
/dports/math/cocoalib/CoCoALib-0.99712/src/CoCoA-5/CoCoAManual/
H A DREADME73 <title>IsElem</title>
77 IsElem(A:RINGELEM, B:IDEAL): BOOL
78 IsElem(A:MODULEELEM, B:MODULE): BOOL
88 /**/ IsElem(x, Ideal(x+y, x-y));
/dports/math/giacxcas/CoCoALib-0.99700/src/CoCoA-5/CoCoAManual/
H A DREADME73 <title>IsElem</title>
77 IsElem(A:RINGELEM, B:IDEAL): BOOL
78 IsElem(A:MODULEELEM, B:MODULE): BOOL
88 /**/ IsElem(x, Ideal(x+y, x-y));
/dports/math/giacxcas/CoCoALib-0.99700/src/AlgebraicCore/
H A Dideal.C320 if (!IsElem(gensI[i], J)) return false; in IsContained()
332 bool IsElem(ConstRefRingElem r, const ideal& I) in IsElem() function
339 bool IsElem(const BigInt& r, const ideal& I) in IsElem() function
340 { return IsElem(RingElem(RingOf(I),r), I); } in IsElem()
342 bool IsElem(const BigRat& r, const ideal& I) in IsElem() function
343 { return IsElem(RingElem(RingOf(I),r), I); } in IsElem()
345 bool IsElem(const MachineInt& r, const ideal& I) in IsElem() function
346 { return IsElem(RingElem(RingOf(I),r), I); } in IsElem()
H A DTmpStabilityAlgorithm.C217 if (!IsElem(g * x[i], LTIdeal)) in myIsLTIStable()
243 if (!IsElem(g * x[j], LTIdeal)) in myIsLTIStronglyStable()
301 if (!IsElem(g * x[l], LTIdeal)) in DoComputeImage()
337 if (!done[cls][l] && !IsElem(g * x[l], LTIdeal)) in DoComputeImage()
366 if (!done[k][l] && !IsElem(g * x[l], LTIdeal)) in DoComputeImage()
396 if (!IsElem(g * x[l], LTIdeal)) in DoComputeImage()
H A DSparsePolyOps-RadicalMembership.C84 if (IsElem(f,I)) return true; // simple special case in RabinovichTrick()
161 while (!IsElem(FpowD, I)) in MinPowerInIdeal_naive()
/dports/math/cocoalib/CoCoALib-0.99712/src/AlgebraicCore/
H A Dideal.C320 if (!IsElem(gensI[i], J)) return false; in IsContained()
332 bool IsElem(ConstRefRingElem r, const ideal& I) in IsElem() function
339 bool IsElem(const BigInt& r, const ideal& I) in IsElem() function
340 { return IsElem(RingElem(RingOf(I),r), I); } in IsElem()
342 bool IsElem(const BigRat& r, const ideal& I) in IsElem() function
343 { return IsElem(RingElem(RingOf(I),r), I); } in IsElem()
345 bool IsElem(const MachineInt& r, const ideal& I) in IsElem() function
346 { return IsElem(RingElem(RingOf(I),r), I); } in IsElem()
H A DTmpStabilityAlgorithm.C217 if (!IsElem(g * x[i], LTIdeal)) in myIsLTIStable()
243 if (!IsElem(g * x[j], LTIdeal)) in myIsLTIStronglyStable()
301 if (!IsElem(g * x[l], LTIdeal)) in DoComputeImage()
337 if (!done[cls][l] && !IsElem(g * x[l], LTIdeal)) in DoComputeImage()
366 if (!done[k][l] && !IsElem(g * x[l], LTIdeal)) in DoComputeImage()
396 if (!IsElem(g * x[l], LTIdeal)) in DoComputeImage()
H A DSparsePolyOps-RadicalMembership.C84 if (IsElem(f,I)) return true; // simple special case in RabinovichTrick()
161 while (!IsElem(FpowD, I)) in MinPowerInIdeal_naive()
/dports/math/cocoalib/CoCoALib-0.99712/src/tests/
H A Dtest-ideal1.C68 CoCoA_ASSERT_ALWAYS( !IsElem(power(x[1],2), I) ); in TestRing()
69 CoCoA_ASSERT_ALWAYS( !IsElem(power(x[3],3), I) ); in TestRing()
70 CoCoA_ASSERT_ALWAYS( IsElem(g[0], I) ); in TestRing()
/dports/math/giacxcas/CoCoALib-0.99700/src/tests/
H A Dtest-ideal1.C68 CoCoA_ASSERT_ALWAYS( !IsElem(power(x[1],2), I) ); in TestRing()
69 CoCoA_ASSERT_ALWAYS( !IsElem(power(x[3],3), I) ); in TestRing()
70 CoCoA_ASSERT_ALWAYS( IsElem(g[0], I) ); in TestRing()
/dports/math/cocoalib/CoCoALib-0.99712/include/CoCoA/
H A Dideal.H165 bool IsElem(ConstRefRingElem r, const ideal& I);
166 bool IsElem(const BigInt& r, const ideal& I);
167 bool IsElem(const BigRat& r, const ideal& I);
168 bool IsElem(const MachineInt& r, const ideal& I);
/dports/math/giacxcas/CoCoALib-0.99700/include/CoCoA/
H A Dideal.H165 bool IsElem(ConstRefRingElem r, const ideal& I);
166 bool IsElem(const BigInt& r, const ideal& I);
167 bool IsElem(const BigRat& r, const ideal& I);
168 bool IsElem(const MachineInt& r, const ideal& I);
/dports/devel/hs-ghcprofview/ghcprofview-0.1.0.1/_cabal_deps/haskell-gi-base-0.24.5/Data/GI/Base/
H A DOverloading.hs122 type family IsElem (e :: Symbol) (es :: [(Symbol, *)]) (success :: k)
124 IsElem e '[] success failure = TypeError failure function

12