Searched refs:isIdeal (Results 1 – 9 of 9) sorted by relevance
/dports/math/gap/gap-4.11.0/pkg/sonata-2.9.1/lib/ |
H A D | nrid.gi | 866 isIdeal := true; 872 while isIdeal and (actualGen < lengthAddGs) do 882 isIdeal := true; 884 isIdeal := ForAll (R, 889 isIdeal := true; 891 isIdeal := ForAll (F, f -> ForAll (R, r -> 899 return isIdeal; 921 isIdeal := true; 927 while isIdeal and (actualGen < lengthAddGs) do 935 isIdeal := ForAll (F, [all …]
|
/dports/devel/hs-spago/spago-0.20.3/_cabal_deps/versions-4.0.3/Data/ |
H A D | Versions.hs | 40 Versioning(..), isIdeal, isGeneral, isComplex 106 isIdeal :: Versioning -> Bool 107 isIdeal (Ideal _) = True function 108 isIdeal _ = False function
|
/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/versions-4.0.3/Data/ |
H A D | Versions.hs | 40 Versioning(..), isIdeal, isGeneral, isComplex 106 isIdeal :: Versioning -> Bool 107 isIdeal (Ideal _) = True function 108 isIdeal _ = False function
|
/dports/devel/hs-spago/spago-0.20.3/_cabal_deps/versions-4.0.3/ |
H A D | CHANGELOG.md | 64 - The functions `isIdeal`, `isGeneral`, and `isComplex` for `Bool`-based
|
/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/versions-4.0.3/ |
H A D | CHANGELOG.md | 64 - The functions `isIdeal`, `isGeneral`, and `isComplex` for `Bool`-based
|
/dports/math/singular/Singular-Release-4-2-1/kernel/GBEngine/ |
H A D | syz.cc | 29 BOOLEAN isIdeal=FALSE; in syPrepareModComp() local 36 isIdeal = TRUE; in syPrepareModComp() 39 if (!isIdeal) in syPrepareModComp()
|
/dports/java/bouncycastle15/crypto-169/tls/src/main/java/org/bouncycastle/jsse/provider/ |
H A D | ProvX509KeyManagerSimple.java | 423 if (bestMatchSoFar.isIdeal()) in getBestMatch() 714 boolean isIdeal() in isIdeal() method in ProvX509KeyManagerSimple.Match
|
H A D | ProvX509KeyManager.java | 466 if (bestMatchSoFar.isIdeal()) in getBestMatch() 832 boolean isIdeal() in isIdeal() method in ProvX509KeyManager.Match
|
/dports/math/singular/Singular-Release-4-2-1/kernel/ |
H A D | ideals.cc | 478 int isIdeal=0; in idMultSect() local 500 isIdeal = 1; in idMultSect() 539 p_Shift(&(bigmat->m[i]),k*maxrk+isIdeal,currRing); in idMultSect() 572 p_Shift(&p,-syzComp-isIdeal,currRing); in idMultSect()
|