Home
last modified time | relevance | path

Searched refs:fact0 (Results 1 – 25 of 39) sorted by relevance

12

/dports/science/quantum-espresso/q-e-qe-6.7.0/PWCOND/src/
H A Dintegrals.f9028 fact,fact0, & ! auxiliary local
36 fact0=exp(arg)
37 fact=fact0
40 fact=fact*fact0
72 fact,fact0, & ! auxiliary local
83 fact0=fact2(1)
96 int2d=((1.d0-fact+f1)*s3*2.d0+(2.d0-fact-fact0)*(s1+s2))*f2
/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/Documentation/SBV/Examples/Puzzles/
H A DFish.hs98 let fact0 = constrain function
116 fact0 $ b 3 `is` Milk
117 fact0 $ n 1 `is` Norwegian
/dports/multimedia/handbrake/ffmpeg-4.4/libavcodec/mips/
H A Dhevcpred_msa.c985 fact0 = __msa_fill_h(fact_val0); in hevc_intra_pred_angular_upper_4width_msa()
997 ILVR_D2_SH(fact2, fact0, fact6, fact4, fact0, fact2); in hevc_intra_pred_angular_upper_4width_msa()
1083 fact0 = __msa_fill_h(fact_val0); in hevc_intra_pred_angular_upper_8width_msa()
1201 MUL4(diff2, fact0, diff3, fact0, diff6, fact2, diff7, fact2, in hevc_intra_pred_angular_upper_16width_msa()
1242 v8i16 fact0, fact1, fact2, fact3; in hevc_intra_pred_angular_upper_32width_msa() local
1312 MUL4(diff2, fact0, diff3, fact0, diff6, fact0, diff7, fact0, in hevc_intra_pred_angular_upper_32width_msa()
1398 fact0 = __msa_fill_h(fact_val0); in hevc_intra_pred_angular_lower_4width_msa()
1407 ILVR_D2_SH(fact2, fact0, fact6, fact4, fact0, fact2); in hevc_intra_pred_angular_lower_4width_msa()
1623 MUL4(diff2, fact0, diff3, fact0, diff6, fact2, diff7, fact2, in hevc_intra_pred_angular_lower_16width_msa()
1662 v8i16 fact0, fact1, fact2, fact3; in hevc_intra_pred_angular_lower_32width_msa() local
[all …]
/dports/multimedia/ffmpeg/ffmpeg-4.4.1/libavcodec/mips/
H A Dhevcpred_msa.c985 fact0 = __msa_fill_h(fact_val0); in hevc_intra_pred_angular_upper_4width_msa()
997 ILVR_D2_SH(fact2, fact0, fact6, fact4, fact0, fact2); in hevc_intra_pred_angular_upper_4width_msa()
1083 fact0 = __msa_fill_h(fact_val0); in hevc_intra_pred_angular_upper_8width_msa()
1201 MUL4(diff2, fact0, diff3, fact0, diff6, fact2, diff7, fact2, in hevc_intra_pred_angular_upper_16width_msa()
1242 v8i16 fact0, fact1, fact2, fact3; in hevc_intra_pred_angular_upper_32width_msa() local
1312 MUL4(diff2, fact0, diff3, fact0, diff6, fact0, diff7, fact0, in hevc_intra_pred_angular_upper_32width_msa()
1398 fact0 = __msa_fill_h(fact_val0); in hevc_intra_pred_angular_lower_4width_msa()
1407 ILVR_D2_SH(fact2, fact0, fact6, fact4, fact0, fact2); in hevc_intra_pred_angular_lower_4width_msa()
1623 MUL4(diff2, fact0, diff3, fact0, diff6, fact2, diff7, fact2, in hevc_intra_pred_angular_lower_16width_msa()
1662 v8i16 fact0, fact1, fact2, fact3; in hevc_intra_pred_angular_lower_32width_msa() local
[all …]
/dports/multimedia/gstreamer1-libav/gst-libav-1.16.2/gst-libs/ext/libav/libavcodec/mips/
H A Dhevcpred_msa.c984 fact0 = __msa_fill_h(fact_val0); in hevc_intra_pred_angular_upper_4width_msa()
996 ILVR_D2_SH(fact2, fact0, fact6, fact4, fact0, fact2); in hevc_intra_pred_angular_upper_4width_msa()
1081 fact0 = __msa_fill_h(fact_val0); in hevc_intra_pred_angular_upper_8width_msa()
1199 MUL4(diff2, fact0, diff3, fact0, diff6, fact2, diff7, fact2, in hevc_intra_pred_angular_upper_16width_msa()
1240 v8i16 fact0, fact1, fact2, fact3; in hevc_intra_pred_angular_upper_32width_msa() local
1310 MUL4(diff2, fact0, diff3, fact0, diff6, fact0, diff7, fact0, in hevc_intra_pred_angular_upper_32width_msa()
1396 fact0 = __msa_fill_h(fact_val0); in hevc_intra_pred_angular_lower_4width_msa()
1405 ILVR_D2_SH(fact2, fact0, fact6, fact4, fact0, fact2); in hevc_intra_pred_angular_lower_4width_msa()
1621 MUL4(diff2, fact0, diff3, fact0, diff6, fact2, diff7, fact2, in hevc_intra_pred_angular_lower_16width_msa()
1660 v8i16 fact0, fact1, fact2, fact3; in hevc_intra_pred_angular_lower_32width_msa() local
[all …]
/dports/www/qt5-webengine/qtwebengine-everywhere-src-5.15.2/src/3rdparty/chromium/third_party/ffmpeg/libavcodec/mips/
H A Dhevcpred_msa.c985 fact0 = __msa_fill_h(fact_val0); in hevc_intra_pred_angular_upper_4width_msa()
997 ILVR_D2_SH(fact2, fact0, fact6, fact4, fact0, fact2); in hevc_intra_pred_angular_upper_4width_msa()
1083 fact0 = __msa_fill_h(fact_val0); in hevc_intra_pred_angular_upper_8width_msa()
1201 MUL4(diff2, fact0, diff3, fact0, diff6, fact2, diff7, fact2, in hevc_intra_pred_angular_upper_16width_msa()
1242 v8i16 fact0, fact1, fact2, fact3; in hevc_intra_pred_angular_upper_32width_msa() local
1312 MUL4(diff2, fact0, diff3, fact0, diff6, fact0, diff7, fact0, in hevc_intra_pred_angular_upper_32width_msa()
1398 fact0 = __msa_fill_h(fact_val0); in hevc_intra_pred_angular_lower_4width_msa()
1407 ILVR_D2_SH(fact2, fact0, fact6, fact4, fact0, fact2); in hevc_intra_pred_angular_lower_4width_msa()
1623 MUL4(diff2, fact0, diff3, fact0, diff6, fact2, diff7, fact2, in hevc_intra_pred_angular_lower_16width_msa()
1662 v8i16 fact0, fact1, fact2, fact3; in hevc_intra_pred_angular_lower_32width_msa() local
[all …]
/dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/ffmpeg/libavcodec/mips/
H A Dhevcpred_msa.c985 fact0 = __msa_fill_h(fact_val0); in hevc_intra_pred_angular_upper_4width_msa()
997 ILVR_D2_SH(fact2, fact0, fact6, fact4, fact0, fact2); in hevc_intra_pred_angular_upper_4width_msa()
1083 fact0 = __msa_fill_h(fact_val0); in hevc_intra_pred_angular_upper_8width_msa()
1201 MUL4(diff2, fact0, diff3, fact0, diff6, fact2, diff7, fact2, in hevc_intra_pred_angular_upper_16width_msa()
1242 v8i16 fact0, fact1, fact2, fact3; in hevc_intra_pred_angular_upper_32width_msa() local
1312 MUL4(diff2, fact0, diff3, fact0, diff6, fact0, diff7, fact0, in hevc_intra_pred_angular_upper_32width_msa()
1398 fact0 = __msa_fill_h(fact_val0); in hevc_intra_pred_angular_lower_4width_msa()
1407 ILVR_D2_SH(fact2, fact0, fact6, fact4, fact0, fact2); in hevc_intra_pred_angular_lower_4width_msa()
1623 MUL4(diff2, fact0, diff3, fact0, diff6, fact2, diff7, fact2, in hevc_intra_pred_angular_lower_16width_msa()
1662 v8i16 fact0, fact1, fact2, fact3; in hevc_intra_pred_angular_lower_32width_msa() local
[all …]
/dports/math/z3/z3-z3-4.8.13/src/muz/spacer/
H A Dspacer_proof_utils.cpp758 app *fact0 = to_app(m.get_fact(arg0)); in mk_unit_resolution_core() local
771 lits.push_back(fact0); in mk_unit_resolution_core()
774 else if (!m.is_or(fact0)) { in mk_unit_resolution_core()
775 lits.push_back(fact0); in mk_unit_resolution_core()
783 if (ures_fact->get_arg(i) == fact0) { in mk_unit_resolution_core()
784 lits.push_back(fact0); in mk_unit_resolution_core()
789 lits.append(fact0->get_num_args(), fact0->get_args()); in mk_unit_resolution_core()
/dports/math/py-z3-solver/z3-z3-4.8.10/src/muz/spacer/
H A Dspacer_proof_utils.cpp758 app *fact0 = to_app(m.get_fact(arg0)); in mk_unit_resolution_core() local
771 lits.push_back(fact0); in mk_unit_resolution_core()
774 else if (!m.is_or(fact0)) { in mk_unit_resolution_core()
775 lits.push_back(fact0); in mk_unit_resolution_core()
783 if (ures_fact->get_arg(i) == fact0) { in mk_unit_resolution_core()
784 lits.push_back(fact0); in mk_unit_resolution_core()
789 lits.append(fact0->get_num_args(), fact0->get_args()); in mk_unit_resolution_core()
/dports/science/openmx/openmx3.8/source/
H A Dopenmx_common.c607 long double fact0,fact1; in ComplexSH() local
612 fact0 = 1.0; in ComplexSH()
614 fact0 *= i; in ComplexSH()
625 tmp0 = sqrt((2.0*(double)l+1.0)/(4.0*PI)*fact0/fact1); in ComplexSH()
/dports/science/quantum-espresso/q-e-qe-6.7.0/PW/src/
H A Dbuffers.f9039 REAL(DP),PARAMETER :: fact0 = 1.5_dp variable
319 nrec_new = NINT(MAX(fact0*DBLE(CURSOR%nrec),fact1*DBLE(nrec)))
/dports/math/z3/z3-z3-4.8.13/src/muz/transforms/
H A Ddl_mk_slice.cpp203 expr* fact0 = m.get_fact(p0); in translate_hyper_res() local
204 TRACE("dl", tout << "fact0: " << mk_pp(fact0, m) << "\n";); in translate_hyper_res()
206 if (!m_sliceform2rule.find(fact0, orig0)) { in translate_hyper_res()
/dports/math/py-z3-solver/z3-z3-4.8.10/src/muz/transforms/
H A Ddl_mk_slice.cpp203 expr* fact0 = m.get_fact(p0); in translate_hyper_res() local
204 TRACE("dl", tout << "fact0: " << mk_pp(fact0, m) << "\n";); in translate_hyper_res()
206 if (!m_sliceform2rule.find(fact0, orig0)) { in translate_hyper_res()
/dports/science/openkim-models/openkim-models-2021-01-28/model-drivers/PANNA__MD_805652781592_000/
H A DPANNA.cpp180 double const fact0 in Gangular_d() local
183 double const fact1 = fact0 * fcij * fcik; in Gangular_d()
187 double const fact3 = par_.iRc_ang_half * fact0 * fcrad; in Gangular_d()
/dports/editors/lazarus-devel/lazarus-6df7e8756882f7d7f28f662011ee72f21746c580/components/ideintf/
H A Dactionseditor.pas669 fact0,fAct1: TContainedAction;
680 fact0 := FActionList.ActionByName(lstActionName.Items[lboxIndex]);
682 fact1.Index := fact0.Index;
/dports/editors/lazarus-qt5/lazarus/components/ideintf/
H A Dactionseditor.pas667 fact0,fAct1: TContainedAction;
678 fact0 := FActionList.ActionByName(lstActionName.Items[lboxIndex]);
680 fact1.Index := fact0.Index;
/dports/editors/lazarus/lazarus/components/ideintf/
H A Dactionseditor.pas667 fact0,fAct1: TContainedAction;
678 fact0 := FActionList.ActionByName(lstActionName.Items[lboxIndex]);
680 fact1.Index := fact0.Index;
/dports/editors/lazarus-qt5-devel/lazarus-6df7e8756882f7d7f28f662011ee72f21746c580/components/ideintf/
H A Dactionseditor.pas669 fact0,fAct1: TContainedAction;
680 fact0 := FActionList.ActionByName(lstActionName.Items[lboxIndex]);
682 fact1.Index := fact0.Index;
/dports/science/thermofun/thermofun-0.3.8/ThermoFun/Substances/Gases/
H A Ds_solmod2_.cpp2119 fact0 = 1./(param->S3MIX()*NA); in ROTOTALMIX()
2120 fact = R*TT*fact0; in ROTOTALMIX()
2136 Ptmp[i] = ZTOTALMIX(TT,roarr[i]*fact0,param); in ROTOTALMIX()
2205 pres[2] = ZTOTALMIX(TT,ff*fact0,param)*ff*fact; in ROTOTALMIX()
2209 return ff*fact0; in ROTOTALMIX()
2220 pres[3] = ZTOTALMIX(TT,ff*fact0,param)*ff*fact; in ROTOTALMIX()
2223 return ff*fact0; in ROTOTALMIX()
2231 pres[4] = ZTOTALMIX(TT,ff*fact0,param)*ff*fact; in ROTOTALMIX()
2234 return ff*fact0; in ROTOTALMIX()
2249 return rotest*(fact0); in ROTOTALMIX()
[all …]
/dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/llvm/llvm/docs/
H A DMergeFunctions.rst487 // self-reference unsigned fact0(unsigned n) { return n > 1 ? n
488 * fact0(n-1) : 1; } unsigned fact1(unsigned n) { return n > 1 ? n *
/dports/devel/wasi-libcxx/llvm-project-13.0.1.src/llvm/docs/
H A DMergeFunctions.rst487 // self-reference unsigned fact0(unsigned n) { return n > 1 ? n
488 * fact0(n-1) : 1; } unsigned fact1(unsigned n) { return n > 1 ? n *
/dports/devel/llvm-cheri/llvm-project-37c49ff00e3eadce5d8703fdc4497f28458c64a8/llvm/docs/
H A DMergeFunctions.rst487 // self-reference unsigned fact0(unsigned n) { return n > 1 ? n
488 * fact0(n-1) : 1; } unsigned fact1(unsigned n) { return n > 1 ? n *
/dports/devel/llvm10/llvm-10.0.1.src/docs/
H A DMergeFunctions.rst487 // self-reference unsigned fact0(unsigned n) { return n > 1 ? n
488 * fact0(n-1) : 1; } unsigned fact1(unsigned n) { return n > 1 ? n *
/dports/graphics/llvm-mesa/llvm-13.0.1.src/docs/
H A DMergeFunctions.rst487 // self-reference unsigned fact0(unsigned n) { return n > 1 ? n
488 * fact0(n-1) : 1; } unsigned fact1(unsigned n) { return n > 1 ? n *
/dports/devel/llvm12/llvm-project-12.0.1.src/llvm/docs/
H A DMergeFunctions.rst487 // self-reference unsigned fact0(unsigned n) { return n > 1 ? n
488 * fact0(n-1) : 1; } unsigned fact1(unsigned n) { return n > 1 ? n *

12