/dports/math/cvc4/CVC4-1.7/src/theory/strings/ |
H A D | regexp_solver.cpp | 223 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 D | xcv_axes_limits.cxx | 36 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 D | xcv_axes_limits.h | 36 int exp_n; variable
|
/dports/science/frontistr/FrontISTR-c66bdc397de319ca59a0565b3f3b1a3b33f0c50c/fistr1/src/lib/physics/ |
H A D | Viscoelastic.f90 | 100 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 D | frechet_lccdf.hpp | 62 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 D | weibull_lcdf.hpp | 69 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 D | weibull_cdf.hpp | 70 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 D | weibull_lcdf.hpp | 67 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 D | frechet_lccdf.hpp | 67 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 D | weibull_cdf.hpp | 67 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 D | symbolic.g | 328 # 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 D | bch_collect.g | 291 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 D | tx_dialog.py | 142 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 D | inst_propagator.cpp | 422 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 D | equality_infer.cpp | 267 …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 D | item.cpp | 549 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 D | smartmatch.t | 166 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 D | smartmatch.t | 166 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 D | smartmatch.t | 166 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 D | smartmatch.t | 166 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 D | lgf_reader_writer_test.cc | 516 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 D | lgf_reader_writer_test.cc | 516 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 D | test_tools.py | 486 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 D | numeric.tex | 143 \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 D | material.f | 3074 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))
|