Searched refs:s1017 (Results 1 – 15 of 15) sorted by relevance
/dports/math/sisl/SISL-SISL-4.6.0-44-g9114631/doc/manual/func/ |
H A D | s1017.tex | 2 \funclabel{s1017} 12 \>void s1017(\begin{minipg3} 39 \>\>s1017(\begin{minipg4}
|
/dports/math/sisl/SISL-SISL-4.6.0-44-g9114631/src/ |
H A D | s1017.c | 55 s1017 (SISLCurve * pc, SISLCurve ** rc, double apar, int *jstat) in s1017() function 58 s1017 (pc, rc, apar, jstat) in s1017()
|
/dports/math/sisl/SISL-SISL-4.6.0-44-g9114631/doc/manual/ |
H A D | chap_curve_utilities.tex | 22 \input{func/s1017}
|
H A D | manual.ind | 30 \item s1017(), 146
|
H A D | manual.idx | 66 \indexentry{s1017()}{146}
|
H A D | manual.aux | 200 \newlabel{s1017}{{5.3.2}{146}}
|
/dports/math/sisl/SISL-SISL-4.6.0-44-g9114631/include/ |
H A D | sisl.h | 385 void GO_API s1017(SISLCurve *,SISLCurve **,double,int *); 1188 void s1017();
|
/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/SBVTestSuite/GoldFiles/ |
H A D | counts.gold | 1030 s1017 :: SWord8 = if s1010 then s1016 else s1015 1031 s1018 :: SWord8 = s33 + s1017 1032 s1019 :: SWord8 = if s1009 then s1018 else s1017
|
H A D | ccitt.gold | 1029 s1017 :: SWord64 = s128 | s1016 1030 s1018 :: SWord64 = if s981 then s1017 else s1016
|
H A D | sha256HashBlock.gold | 1109 const SWord32 s1017 = s875 & s897; 1110 const SWord32 s1018 = s1016 ^ s1017;
|
H A D | aes128Lib.gold | 880 const SWord8 s1017 = table3[s992]; 884 const SWord8 s1021 = s1017 ^ s1020;
|
H A D | legato.gold | 1026 s1017 :: SBool = s1015 | s1016 1030 s1021 :: SWord8 = if s1017 then s1019 else s1020
|
H A D | legato_c.gold | 1110 const SBool s1017 = s1015 || s1016; 1114 const SWord8 s1021 = s1017 ? s1019 : s1020;
|
/dports/lang/yap/yap-6.2.2/packages/CLPBN/clpbn/examples/School/ |
H A D | school_64.yap | 1235 student(s1017). 4680 registration(r3436,c66,s1017). 4681 registration(r3437,c29,s1017). 4682 registration(r3438,c92,s1017).
|
H A D | school_128.yap | 1427 student(s1017). 7957 registration(r3449,c234,s1017). 7958 registration(r3450,c158,s1017). 7959 registration(r3451,c201,s1017). 7960 registration(r3452,c227,s1017).
|