/dports/math/py-brial/BRiAl-1.2.10/cudd/ |
H A D | cuddSolve.c | 215 DdNode *Fn, *Fm1, *Fv, *Fvbar, *T, *w, *nextY, *one; in cuddSolveEqnRecur() local 235 if (Fm1) { in cuddSolveEqnRecur() 236 Fm1 = Cudd_Not(Fm1); in cuddSolveEqnRecur() 237 cuddRef(Fm1); in cuddSolveEqnRecur() 246 Cudd_RecursiveDeref(bdd, Fm1); in cuddSolveEqnRecur() 254 Cudd_RecursiveDeref(bdd, Fm1); in cuddSolveEqnRecur() 263 Cudd_RecursiveDeref(bdd, Fm1); in cuddSolveEqnRecur() 274 Cudd_RecursiveDeref(bdd, Fm1); in cuddSolveEqnRecur() 281 T = cuddBddRestrictRecur(bdd, w, Cudd_Not(Fm1)); in cuddSolveEqnRecur() 285 Cudd_RecursiveDeref(bdd, Fm1); in cuddSolveEqnRecur() [all …]
|
/dports/math/cudd/cudd-3.0.0/cudd/ |
H A D | cuddSolve.c | 198 DdNode *Fn, *Fm1, *Fv, *Fvbar, *T, *w, *nextY, *one; in cuddSolveEqnRecur() local 218 if (Fm1) { in cuddSolveEqnRecur() 219 Fm1 = Cudd_Not(Fm1); in cuddSolveEqnRecur() 220 cuddRef(Fm1); in cuddSolveEqnRecur() 229 Cudd_RecursiveDeref(bdd, Fm1); in cuddSolveEqnRecur() 237 Cudd_RecursiveDeref(bdd, Fm1); in cuddSolveEqnRecur() 246 Cudd_RecursiveDeref(bdd, Fm1); in cuddSolveEqnRecur() 257 Cudd_RecursiveDeref(bdd, Fm1); in cuddSolveEqnRecur() 264 T = cuddBddRestrictRecur(bdd, w, Cudd_Not(Fm1)); in cuddSolveEqnRecur() 268 Cudd_RecursiveDeref(bdd, Fm1); in cuddSolveEqnRecur() [all …]
|
/dports/math/brial/BRiAl-1.2.10/cudd/ |
H A D | cuddSolve.c | 215 DdNode *Fn, *Fm1, *Fv, *Fvbar, *T, *w, *nextY, *one; in cuddSolveEqnRecur() local 235 if (Fm1) { in cuddSolveEqnRecur() 236 Fm1 = Cudd_Not(Fm1); in cuddSolveEqnRecur() 237 cuddRef(Fm1); in cuddSolveEqnRecur() 246 Cudd_RecursiveDeref(bdd, Fm1); in cuddSolveEqnRecur() 254 Cudd_RecursiveDeref(bdd, Fm1); in cuddSolveEqnRecur() 263 Cudd_RecursiveDeref(bdd, Fm1); in cuddSolveEqnRecur() 274 Cudd_RecursiveDeref(bdd, Fm1); in cuddSolveEqnRecur() 281 T = cuddBddRestrictRecur(bdd, w, Cudd_Not(Fm1)); in cuddSolveEqnRecur() 285 Cudd_RecursiveDeref(bdd, Fm1); in cuddSolveEqnRecur() [all …]
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bdd/cudd/ |
H A D | cuddSolve.c | 219 DdNode *Fn, *Fm1, *Fv, *Fvbar, *T, *w, *nextY, *one; in cuddSolveEqnRecur() local 239 if (Fm1) { in cuddSolveEqnRecur() 240 Fm1 = Cudd_Not(Fm1); in cuddSolveEqnRecur() 241 cuddRef(Fm1); in cuddSolveEqnRecur() 250 Cudd_RecursiveDeref(bdd, Fm1); in cuddSolveEqnRecur() 258 Cudd_RecursiveDeref(bdd, Fm1); in cuddSolveEqnRecur() 267 Cudd_RecursiveDeref(bdd, Fm1); in cuddSolveEqnRecur() 278 Cudd_RecursiveDeref(bdd, Fm1); in cuddSolveEqnRecur() 285 T = cuddBddRestrictRecur(bdd, w, Cudd_Not(Fm1)); in cuddSolveEqnRecur() 289 Cudd_RecursiveDeref(bdd, Fm1); in cuddSolveEqnRecur() [all …]
|
/dports/math/cppad/CppAD-20210000.8/include/cppad/utility/ |
H A D | romberg_mul.hpp | 257 IntegrateOne Fm1(&F, m-1, a, b, n, p); in operator ()() local 264 Fm1.ClearEsum(); in operator ()() 265 Fm1.ClearEcount(); in operator ()() 267 r = RombergMulM1(Fm1, a, b, n, p, e); in operator ()() 277 assert( Fm1.GetEcount() == (pow2+1) ); in operator ()() 279 e = e + Fm1.GetEsum() * prod / Float( double(Fm1.GetEcount()) ); in operator ()()
|
/dports/math/SCIP/scip-7.0.3/src/cppad/utility/ |
H A D | romberg_mul.hpp | 258 IntegrateOne Fm1(&F, m-1, a, b, n, p); in operator ()() local 265 Fm1.ClearEsum(); in operator ()() 266 Fm1.ClearEcount(); in operator ()() 268 r = RombergMulM1(Fm1, a, b, n, p, e); in operator ()() 278 assert( Fm1.GetEcount() == (pow2+1) ); in operator ()() 280 e = e + Fm1.GetEsum() * prod / Float( double(Fm1.GetEcount()) ); in operator ()()
|
/dports/math/e-antic/flint2-ae7ec89/fmpz/ |
H A D | is_prime.c | 168 fmpz_t F2, Fm1; in fmpz_is_prime() local 171 fmpz_init(Fm1); in fmpz_is_prime() 177 fmpz_sub_ui(Fm1, F2, 1); /* need F2 - 1 > sqrt(n) */ in fmpz_is_prime() 178 fmpz_mul(Fsqr, Fm1, Fm1); in fmpz_is_prime() 182 fmpz_mul(Fcub, Fsqr, Fm1); in fmpz_is_prime() 281 fmpz_clear(Fm1); in fmpz_is_prime()
|
/dports/math/flint2/flint-2.8.4/fmpz/ |
H A D | is_prime.c | 168 fmpz_t F2, Fm1; in fmpz_is_prime() local 171 fmpz_init(Fm1); in fmpz_is_prime() 177 fmpz_sub_ui(Fm1, F2, 1); /* need F2 - 1 > sqrt(n) */ in fmpz_is_prime() 178 fmpz_mul(Fsqr, Fm1, Fm1); in fmpz_is_prime() 182 fmpz_mul(Fcub, Fsqr, Fm1); in fmpz_is_prime() 281 fmpz_clear(Fm1); in fmpz_is_prime()
|
/dports/math/e-antic/e-antic-1.0.0-rc.13/libeantic/upstream/antic/fmpz/ |
H A D | is_prime.c | 168 fmpz_t F2, Fm1; in fmpz_is_prime() local 171 fmpz_init(Fm1); in fmpz_is_prime() 177 fmpz_sub_ui(Fm1, F2, 1); /* need F2 - 1 > sqrt(n) */ in fmpz_is_prime() 178 fmpz_mul(Fsqr, Fm1, Fm1); in fmpz_is_prime() 182 fmpz_mul(Fcub, Fsqr, Fm1); in fmpz_is_prime() 281 fmpz_clear(Fm1); in fmpz_is_prime()
|
/dports/math/R-cran-survey/survey/man/ |
H A D | make.calfun.Rd | 19 make.calfun(Fm1, dF, name) 23 \item{Fm1}{Function \eqn{F-1}{F-1} taking a vector \code{u} and a 25 \item{dF}{Derivative of \code{Fm1} wrt \code{u}: arguments \code{u} 44 cal.linear$Fm1 47 hellinger <- make.calfun(Fm1=function(u, bounds) ((1-u/2)^-2)-1,
|
/dports/science/lammps/lammps-stable_29Sep2021/tools/eam_database/ |
H A D | create.f | 17 * Fm0(16),Fm1(16),Fm2(16),Fm3(16),Fm4(16), local 60 read(10,*) Fm1(ntypes) 141 * Fm0(16),Fm1(16),Fm2(16),Fm3(16),Fm4(16), local 155 * Fm0(16),Fm1(16),Fm2(16),Fm3(16),Fm4(16), local 188 * Fm0(16),Fm1(16),Fm2(16),Fm3(16),Fm4(16), local 203 * Fm1(it)*(rho/rhoe(it)-1.0)+ 220 * Fm0(16),Fm1(16),Fm2(16),Fm3(16),Fm4(16), local
|
/dports/math/R-cran-survey/survey/R/ |
H A D | grake.R | 2 make.calfun<-function(Fm1,dF, name){ argument 3 if (!identical(names(formals(Fm1)), c("u","bounds"))) 7 rval<-list(Fm1=Fm1, dF=dF, name=name) nameattr 343 Fm1 = function(u, bounds) 380 Fm1<-calfun$Fm1 functionVar 393 g<-1+Fm1(xeta, bounds) 411 misfit<-(population-sample.total-colSums(mm*ww*Fm1(xeta, bounds))) 416 g<-1+Fm1(xeta, bounds) 423 g<-1+Fm1(xeta, bounds) 427 misfit<-(population-sample.total-colSums(mm*ww*Fm1(xeta, bounds)))
|
/dports/audio/csound/csound-6.15.0/Opcodes/cuda/ |
H A D | slidingm.cu | 163 complex F, Fm1, Fp1, f; in window() local 173 Fm1 = k > 0 ? Foutw[k - 1] : conjugate(Foutw[1]); in window() 174 Fr = A*Re(F) + B2*(Re(Fm1) + Re(Fp1)); in window() 175 Fi = A*Im(F) + B2*(Im(Fm1) + Im(Fp1)); in window() 219 complex F, Fm1, Fp1, f; in window() local 229 Fm1 = k > 0 ? Foutw[k - 1] : conjugate(Foutw[1]); in window() 231 Fr = A*Re(F) + B2*(Re(Fm1) + Re(Fp1)); in window() 232 Fi = A*Im(F) + B2*(Im(Fm1) + Im(Fp1)); in window()
|
/dports/science/qwalk/mainline-1.0.1-300-g1b7e381/docs/database/ |
H A D | cubic_spline.yml | 22 |7F_crystal|\(F0,Fp1,Fm1,Fp2,Fxyz,Fp3mod,Fm3\)| 24 |7F|\(F0,Fm3,Fp3mod,Fp2,Fxyz,Fm1,Fp1\)|
|
/dports/graphics/gmt/gmt-6.3.0/doc/examples/ex03/ |
H A D | ex03.sh | 41 gmt filter1d ship.pg -Fm1 -T$bounds/1 -E | gmt sample1d -Tsamp.x > samp_ship.pg
|
H A D | ex03.bat | 43 gmt filter1d ship.pg -Fm1 -T%bounds%/1 -E | gmt sample1d -Tsamp.x > samp_ship.pg
|
/dports/math/gap/gap-4.11.0/pkg/homalg-2019.09.01/gap/ |
H A D | HomalgFunctor.gi | 2278 local Fm1, Fm2; 2284 return Fm1 * Fm2; 2286 return Fm2 * Fm1; 2298 local Fm1, Fm2; 2304 return Fm1 * Fm2; 2306 return Fm2 * Fm1; 2462 local Fm1, Fm2; 2468 return Fm1 * Fm2; 2482 local Fm1, Fm2; 2687 local Fm1, Fm2, Fm3; [all …]
|
/dports/dns/knot-resolver/knot-resolver-5.4.3/tests/integration/deckard/sets/resolver/ |
H A D | val_dname.rpl | 140 …cHSfTeko87BvERMZnibc2O8efl7S62Zp6 8Q4guMfe4P++ue22PctjwfeR5nDi31c3+USi63ujrKSDGujaIsIMyIHN Fm1/zQ==
|
H A D | val_dname_bogus.rpl | 164 …cHSfTeko87BvERMZnibc2O8efl7S62Zp6 8Q4guMfe4P++ue22PctjwfeR5nDi31c3+USi63ujrKSDGujaIsIMyIHN Fm1/zQ==
|
/dports/lang/gcc6-aux/gcc-6-20180516/gcc/testsuite/objc.dg/ |
H A D | naming-7.m | 134 …char Fm0; char Fm1; char Fm2; char Fm3; char Fm4; char Fm5; char Fm6; char Fm7; char Fm8; char Fm9; field
|
/dports/lang/gcc6-aux/gcc-6-20180516/gcc/testsuite/obj-c++.dg/ |
H A D | naming-4.mm | 134 …char Fm0; char Fm1; char Fm2; char Fm3; char Fm4; char Fm5; char Fm6; char Fm7; char Fm8; char Fm9; field
|
/dports/lang/gcc12-devel/gcc-12-20211205/gcc/testsuite/obj-c++.dg/ |
H A D | naming-4.mm | 134 …char Fm0; char Fm1; char Fm2; char Fm3; char Fm4; char Fm5; char Fm6; char Fm7; char Fm8; char Fm9; field
|
/dports/lang/gcc12-devel/gcc-12-20211205/gcc/testsuite/objc.dg/ |
H A D | naming-7.m | 134 …char Fm0; char Fm1; char Fm2; char Fm3; char Fm4; char Fm5; char Fm6; char Fm7; char Fm8; char Fm9; field
|
/dports/lang/gcc11-devel/gcc-11-20211009/gcc/testsuite/objc.dg/ |
H A D | naming-7.m | 134 …char Fm0; char Fm1; char Fm2; char Fm3; char Fm4; char Fm5; char Fm6; char Fm7; char Fm8; char Fm9; field
|
/dports/lang/gcc11-devel/gcc-11-20211009/gcc/testsuite/obj-c++.dg/ |
H A D | naming-4.mm | 134 …char Fm0; char Fm1; char Fm2; char Fm3; char Fm4; char Fm5; char Fm6; char Fm7; char Fm8; char Fm9; field
|