/dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/ghc-exactprint-0.6.4/tests/examples/ghc80/ |
H A D | overloadedlabelsrun02.hs | 31 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 D | helper.jam | 43 ## IsElem element : list 46 rule IsElem 66 rule IsElem 92 if ! [ IsElem $(i) : $(>) ] 110 if ! [ IsElem $(i) : $(result) ]
|
H A D | flags.jam | 16 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 D | library.jam | 47 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 D | application.jam | 55 if ! [ IsElem independent : $(3) ] 61 if ! [ IsElem noinstall : $(3) ] 80 if ! [ IsElem nopackage : $(3) ]
|
H A D | compiler.jam | 12 if [ IsElem shared : $(2) ] 42 if [ IsElem shared : $(2) ] {
|
H A D | options.jam | 15 if ! [ IsElem $(i) : $(<) ]
|
/dports/games/glest/glest_source_3.2.2/mk/linux/mk/jam/ |
H A D | helper.jam | 43 ## IsElem element : list 46 rule IsElem 66 rule IsElem 92 if ! [ IsElem $(i) : $(>) ] 110 if ! [ IsElem $(i) : $(result) ]
|
H A D | flags.jam | 16 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 D | library.jam | 47 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 D | application.jam | 55 if ! [ IsElem independent : $(3) ] 61 if ! [ IsElem noinstall : $(3) ] 80 if ! [ IsElem nopackage : $(3) ]
|
H A D | compiler.jam | 12 if [ IsElem shared : $(2) ] 42 if [ IsElem shared : $(2) ] {
|
/dports/math/cocoalib/CoCoALib-0.99712/src/CoCoA-5/CoCoAManual/ |
H A D | README | 73 <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 D | README | 73 <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 D | ideal.C | 320 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 D | TmpStabilityAlgorithm.C | 217 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 D | SparsePolyOps-RadicalMembership.C | 84 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 D | ideal.C | 320 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 D | TmpStabilityAlgorithm.C | 217 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 D | SparsePolyOps-RadicalMembership.C | 84 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 D | test-ideal1.C | 68 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 D | test-ideal1.C | 68 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 D | ideal.H | 165 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 D | ideal.H | 165 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 D | Overloading.hs | 122 type family IsElem (e :: Symbol) (es :: [(Symbol, *)]) (success :: k) 124 IsElem e '[] success failure = TypeError failure function
|