Home
last modified time | relevance | path

Searched refs:exp_n (Results 1 – 25 of 40) sorted by relevance

12

/dports/math/cvc4/CVC4-1.7/src/theory/strings/
H A Dregexp_solver.cpp223 std::vector<Node> exp_n; in check() local
224 exp_n.push_back(assertion); in check()
258 std::vector<Node> exp_n; in check() local
259 exp_n.push_back(assertion); in check()
310 std::vector<Node> exp_n; in checkPDerivative() local
311 exp_n.push_back(atom); in checkPDerivative()
312 exp_n.push_back(x.eqNode(d_emptyString)); in checkPDerivative()
325 std::vector<Node> exp_n; in checkPDerivative() local
326 exp_n.push_back(atom); in checkPDerivative()
417 std::vector<Node> exp_n; in deriveRegExp() local
[all …]
/dports/misc/vxl/vxl-3.3.2/contrib/oxl/xcv/
H A Dxcv_axes_limits.cxx36 exp_n = 0; in xcv_axes_limits()
78 exp_n = (int)std::floor(std::log10(l)); in calc_tick_spacing()
79 exp = std::pow(10.0, exp_n); in calc_tick_spacing()
H A Dxcv_axes_limits.h36 int exp_n; variable
/dports/science/frontistr/FrontISTR-c66bdc397de319ca59a0565b3f3b1a3b33f0c50c/fistr1/src/lib/physics/
H A DViscoelastic.f90100 real(kind=kreal) :: G,Gg,K,Kg, gfac,exp_n,mu_0,mu_n,dq_n,dtau local
152 exp_n = dexp(-dtau)
154 dq_n = mu_n * hvisc(dtau,exp_n)
194 real(kind=kreal) :: G,K,Kth, exp_n,mu_0,mu_n,dq_n,dtau, theta local
252 exp_n = dexp(-dtau)
254 dq_n = mu_n * hvisc(dtau,exp_n)
258 vsig((n-1)*12+i+6) = exp_n*vsig((n-1)*12+i) + dq_n*(devstrain(i) - en(i))
/dports/math/stanmath/math-4.2.0/stan/math/prim/prob/
H A Dfrechet_lccdf.hpp62 const T_partials_return exp_n = exp(-pow_n); in frechet_lccdf() local
64 ccdf_log += log1m(exp_n); in frechet_lccdf()
66 const T_partials_return rep_deriv = pow_n / (1.0 / exp_n - 1); in frechet_lccdf()
H A Dweibull_lcdf.hpp69 const auto& exp_n = to_ref_if<any_derivs>(exp(-pow_n)); in weibull_lcdf() local
71 T_partials_return cdf_log = sum(log(1 - exp_n)); in weibull_lcdf()
76 pow_n / (1.0 / exp_n - 1.0)); in weibull_lcdf()
H A Dweibull_cdf.hpp70 const auto& exp_n = to_ref_if<any_derivs>(exp(-pow_n)); in weibull_cdf() local
71 const auto& cdf_n = to_ref_if<any_derivs>(1 - exp_n); in weibull_cdf()
78 exp_n * pow_n * cdf / cdf_n); in weibull_cdf()
/dports/math/stanmath/math-4.2.0/stan/math/opencl/prim/
H A Dweibull_lcdf.hpp67 auto exp_n = exp(-pow_n); in weibull_lcdf() local
68 auto lcdf_expr = colwise_sum(log(1.0 - exp_n)); in weibull_lcdf()
70 auto rep_deriv = elt_divide(pow_n, elt_divide(1.0, exp_n) - 1.0); in weibull_lcdf()
H A Dfrechet_lccdf.hpp67 auto exp_n = exp(-pow_n); in frechet_lccdf() local
68 auto lccdf_expr = colwise_sum(log1m(exp_n)); in frechet_lccdf()
70 auto rep_deriv = elt_divide(pow_n, elt_divide(1.0, exp_n) - 1.0); in frechet_lccdf()
H A Dweibull_cdf.hpp67 auto exp_n = exp(-pow_n); in weibull_cdf() local
68 auto cdf_n = 1.0 - exp_n; in weibull_cdf()
71 auto rep_deriv = elt_multiply(exp_n, elt_divide(pow_n, cdf_n)); in weibull_cdf()
/dports/math/gap/gap-4.11.0/pkg/guarana-0.96.2/tst/completeOldCode/
H A Dsymbolic.g328 # IN: exp_n .... exponent vector of element n in \hat{N}
338 # exp_n := BCH_Random_IntegralExpVector( recLieAlgs_bch_F3c[5], 2^12 );
339 # BCH_Logarithm_Symbolic( recLieAlgs_bch_F3c[5], exp_n );
342 # BCH_AbstractLog_Simple_ByExponent( recLieAlgs_bch_F3c[5], recBCH9,exp_n);
350 # exp_n := BCH_Random_IntegralExpVector( recLieAlgs_bch_unitr_2[5], 2^10 );
351 # BCH_Logarithm_Symbolic( [recLieAlgs_bch_unitr_2[5], exp_n] );
354 local n,indets,pols,coeffs,i,coeff,recLieAlg,exp_n;
358 exp_n := args[2];
366 coeff := Value( pols[i], indets, exp_n );
H A Dbch_collect.g291 mat, exp_n,exp,exp_a;
327 exp_n := BCH_ExpOfStarProduct( FCR, log, exp2_n, recBCH );
329 exp := Concatenation( exp_a, exp_n );
352 local l,hl,n1,n2,exp1,exp2,exp1_n,exp2_n,log,exp_n,n,exp_n_usual,
372 exp_n := BCH_ExpOfStarProduct( FCR, log, exp2_n, recBCH );
391 return [ exp_n = exp_n_usual, exp_n_bch = exp_n_usual] ;
/dports/finance/electrum/Electrum-4.1.5/electrum/gui/kivy/uix/dialogs/
H A Dtx_dialog.py142 exp_n = tx_details.mempool_depth_bytes
153 elif exp_n is not None:
155 self.date_str = _('{} from tip').format('%.2f MB'%(exp_n/1000000))
/dports/math/cvc4/CVC4-1.7/src/theory/quantifiers/
H A Dinst_propagator.cpp422 std::vector< Node > exp_n; in evaluateTermExp() local
423 ret = getRepresentativeExp( n, exp_n ); in evaluateTermExp()
519 Assert( exp_n.empty() ); in evaluateTermExp()
520 ret = getRepresentativeExp( nn, exp_n ); in evaluateTermExp()
521 Trace("qip-eval") << "return rep, exp size = " << exp_n.size() << std::endl; in evaluateTermExp()
522 merge_exp( exp, exp_n ); in evaluateTermExp()
564 … Trace("qip-eval") << "...exists in ee, return rep, exp size = " << exp_n.size() << std::endl; in evaluateTermExp()
565 merge_exp( exp, exp_n ); in evaluateTermExp()
H A Dequality_infer.cpp267 …Node exp_n = exp.empty() ? d_true : ( exp.size()==1 ? exp[0] : NodeManager::currentNM()->mkNode( A… in setEqcRep() local
268 Trace("eq-infer") << " explanation : " << exp_n << std::endl; in setEqcRep()
269 d_pending_merge_exp.push_back( exp_n ); in setEqcRep()
/dports/cad/ktechlab/ktechlab-0.50.0/src/
H A Ditem.cpp549 const double exp_n = std::log10(std::abs(num)); in getNumberMag() local
550 if ( exp_n < minPrefixExp+3 ) return SIprefix[0]; in getNumberMag()
551 else if ( exp_n >= maxPrefixExp ) return SIprefix[numPrefix-1]; in getNumberMag()
552 else return SIprefix[(int)std::floor((double)(exp_n/3))-(int)floor(double(minPrefixExp/3))]; in getNumberMag()
/dports/lang/perl5.34/perl-5.34.0/t/op/
H A Dsmartmatch.t166 my $exp_n = join '-', (@args, $x == 0);
174 if ( $exp_n ne $got_an || $exp_n ne $got_hn
/dports/lang/perl5-devel/perl5-5.35.4-102-ge43d289c7c/t/op/
H A Dsmartmatch.t166 my $exp_n = join '-', (@args, $x == 0);
174 if ( $exp_n ne $got_an || $exp_n ne $got_hn
/dports/lang/perl5.30/perl-5.30.3/t/op/
H A Dsmartmatch.t166 my $exp_n = join '-', (@args, $x == 0);
174 if ( $exp_n ne $got_an || $exp_n ne $got_hn
/dports/lang/perl5.32/perl-5.32.1/t/op/
H A Dsmartmatch.t166 my $exp_n = join '-', (@args, $x == 0);
174 if ( $exp_n ne $got_an || $exp_n ne $got_hn
/dports/graphics/blender/blender-2.91.0/extern/quadriflow/3rd/lemon-1.3.1/test/
H A Dlgf_reader_writer_test.cc516 ExpGraph::Node exp_n; in checkBpGraphReaderWriter() local
537 reader.node("node", exp_n); in checkBpGraphReaderWriter()
552 check(exp_node_map1[exp_n] == 14, "Wrong map value"); in checkBpGraphReaderWriter()
553 check(exp_node_map2[exp_n] == 14, "Wrong map value"); in checkBpGraphReaderWriter()
/dports/math/lemon/lemon-1.3.1/test/
H A Dlgf_reader_writer_test.cc516 ExpGraph::Node exp_n; in checkBpGraphReaderWriter() local
537 reader.node("node", exp_n); in checkBpGraphReaderWriter()
552 check(exp_node_map1[exp_n] == 14, "Wrong map value"); in checkBpGraphReaderWriter()
553 check(exp_node_map2[exp_n] == 14, "Wrong map value"); in checkBpGraphReaderWriter()
/dports/shells/xonsh/xonsh-0.7.9/tests/
H A Dtest_tools.py486 def test_get_logical_line(src, idx, exp_line, exp_n): argument
490 assert exp_n == n
494 def test_replace_logical_line(src, idx, exp_line, exp_n): argument
499 replace_logical_line(lines, logical, idx, exp_n)
/dports/math/reduce/Reduce-svn5758-src/doc/manual2/
H A Dnumeric.tex143 \item[NUM\_SOLVE] $(\{exp_1,\ldots,exp_n\},
149 \item[NUM\_SOLVE] $(\{exp_1,\ldots,exp_n\},
153 where $exp_1, \ldots,exp_n$ are function expressions,
/dports/cad/feappv/feappv-4.1i/elements/
H A Dmaterial.f3074 real*8 efac,mu,mu_n,exp_n,dtau,dq, sig,eps,epsn local
3097 exp_n = exp( -dtau)
3098 dq = mu_n*hvisc(dtau,exp_n)
3099 q(n) = exp_n*q(n) + dq*(eps - epsn)
3135 real*8 G,Gg,K,Kg,Kth, gfac,exp_n,mu_0,mu_n,dq_n,dtau, theta local
3171 exp_n = exp(-dtau)
3173 dq_n = mu_n * hvisc(dtau,exp_n)
3180 qi(i,n) = exp_n*qi(i,n) + dq_n*(ee(i) - en(i))

12