Home
last modified time | relevance | path

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 Dnrid.gi866 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 DVersions.hs40 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 DVersions.hs40 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 DCHANGELOG.md64 - 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 DCHANGELOG.md64 - The functions `isIdeal`, `isGeneral`, and `isComplex` for `Bool`-based
/dports/math/singular/Singular-Release-4-2-1/kernel/GBEngine/
H A Dsyz.cc29 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 DProvX509KeyManagerSimple.java423 if (bestMatchSoFar.isIdeal()) in getBestMatch()
714 boolean isIdeal() in isIdeal() method in ProvX509KeyManagerSimple.Match
H A DProvX509KeyManager.java466 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 Dideals.cc478 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()