Home
last modified time | relevance | path

Searched refs:Fm1 (Results 1 – 25 of 66) sorted by relevance

123

/dports/math/py-brial/BRiAl-1.2.10/cudd/
H A DcuddSolve.c215 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 DcuddSolve.c198 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 DcuddSolve.c215 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 DcuddSolve.c219 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 Dromberg_mul.hpp257 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 Dromberg_mul.hpp258 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 Dis_prime.c168 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 Dis_prime.c168 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 Dis_prime.c168 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 Dmake.calfun.Rd19 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 Dcreate.f17 * 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 Dgrake.R2 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 Dslidingm.cu163 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 Dcubic_spline.yml22 |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 Dex03.sh41 gmt filter1d ship.pg -Fm1 -T$bounds/1 -E | gmt sample1d -Tsamp.x > samp_ship.pg
H A Dex03.bat43 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 DHomalgFunctor.gi2278 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 Dval_dname.rpl140 …cHSfTeko87BvERMZnibc2O8efl7S62Zp6 8Q4guMfe4P++ue22PctjwfeR5nDi31c3+USi63ujrKSDGujaIsIMyIHN Fm1/zQ==
H A Dval_dname_bogus.rpl164 …cHSfTeko87BvERMZnibc2O8efl7S62Zp6 8Q4guMfe4P++ue22PctjwfeR5nDi31c3+USi63ujrKSDGujaIsIMyIHN Fm1/zQ==
/dports/lang/gcc6-aux/gcc-6-20180516/gcc/testsuite/objc.dg/
H A Dnaming-7.m134 …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 Dnaming-4.mm134 …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 Dnaming-4.mm134 …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 Dnaming-7.m134 …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 Dnaming-7.m134 …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 Dnaming-4.mm134 …char Fm0; char Fm1; char Fm2; char Fm3; char Fm4; char Fm5; char Fm6; char Fm7; char Fm8; char Fm9; field

123