/dports/math/cvc4/CVC4-1.7/test/regress/regress0/ |
H A D | bug576a.smt2 | 9 (declare-fun b_3 () var) 36 (assert (or (= (assign b_3) r0) (= (assign b_3) r1) (= (assign b_3) r2) (= (assign b_3) r3) (= (ass… 39 (assert (not (= (assign a2_1) (assign b_3)))) 40 (assert (not (= (assign c_3) (assign b_3)))) 41 (assert (not (= (assign c_4) (assign b_3)))) 46 (assert (= (assign b_3) r0))
|
/dports/science/InsightToolkit/ITK-5.0.1/Modules/ThirdParty/VNL/src/vxl/core/vnl/algo/ |
H A D | vnl_symmetric_eigensystem.hxx | 44 const T b_3 = b/3; in vnl_symmetric_eigensystem_compute_eigenvals() local 45 const T f = b_3*b_3 - c/3 ; in vnl_symmetric_eigensystem_compute_eigenvals() 46 const T g = b*c/6 - b_3*b_3*b_3 - d/2; in vnl_symmetric_eigensystem_compute_eigenvals() 50 l1 = l2 = l3 = - b_3 ; in vnl_symmetric_eigensystem_compute_eigenvals() 68 l1 = 2 * sqrt_f - b_3; in vnl_symmetric_eigensystem_compute_eigenvals() 69 l2 = l3 = - sqrt_f - b_3; in vnl_symmetric_eigensystem_compute_eigenvals() 73 l1 = l2 = sqrt_f - b_3; in vnl_symmetric_eigensystem_compute_eigenvals() 74 l3 = -2 * sqrt_f - b_3; in vnl_symmetric_eigensystem_compute_eigenvals() 83 l1 = j * std::cos(k) - b_3; in vnl_symmetric_eigensystem_compute_eigenvals() 84 l2 = j * std::cos(k + T(vnl_math::twopi / 3.0)) - b_3; in vnl_symmetric_eigensystem_compute_eigenvals() [all …]
|
/dports/misc/vxl/vxl-3.3.2/core/vnl/algo/ |
H A D | vnl_symmetric_eigensystem.hxx | 44 const T b_3 = b/3; in vnl_symmetric_eigensystem_compute_eigenvals() local 45 const T f = b_3*b_3 - c/3 ; in vnl_symmetric_eigensystem_compute_eigenvals() 46 const T g = b*c/6 - b_3*b_3*b_3 - d/2; in vnl_symmetric_eigensystem_compute_eigenvals() 50 l1 = l2 = l3 = - b_3 ; in vnl_symmetric_eigensystem_compute_eigenvals() 68 l1 = 2 * sqrt_f - b_3; in vnl_symmetric_eigensystem_compute_eigenvals() 69 l2 = l3 = - sqrt_f - b_3; in vnl_symmetric_eigensystem_compute_eigenvals() 73 l1 = l2 = sqrt_f - b_3; in vnl_symmetric_eigensystem_compute_eigenvals() 74 l3 = -2 * sqrt_f - b_3; in vnl_symmetric_eigensystem_compute_eigenvals() 83 l1 = j * std::cos(k) - b_3; in vnl_symmetric_eigensystem_compute_eigenvals() 84 l2 = j * std::cos(k + T(vnl_math::twopi / 3.0)) - b_3; in vnl_symmetric_eigensystem_compute_eigenvals() [all …]
|
/dports/math/blasfeo/blasfeo-0.1.2/kernel/generic/ |
H A D | kernel_sgemm_diag_lib4.c | 119 c_0 = a_0 * b_3; in kernel_sgemm_diag_right_4_a0_lib4() 120 c_1 = a_1 * b_3; in kernel_sgemm_diag_right_4_a0_lib4() 121 c_2 = a_2 * b_3; in kernel_sgemm_diag_right_4_a0_lib4() 122 c_3 = a_3 * b_3; in kernel_sgemm_diag_right_4_a0_lib4() 159 c_0 = a_0 * b_3; in kernel_sgemm_diag_right_4_a0_lib4() 620 b_3 = B[3+bs*0]; in kernel_sgemm_diag_left_4_a0_lib4() 625 c_3 = a_3 * b_3; in kernel_sgemm_diag_left_4_a0_lib4() 636 b_3 = B[3+bs*1]; in kernel_sgemm_diag_left_4_a0_lib4() 641 c_3 = a_3 * b_3; in kernel_sgemm_diag_left_4_a0_lib4() 652 b_3 = B[3+bs*2]; in kernel_sgemm_diag_left_4_a0_lib4() [all …]
|
H A D | kernel_dgemm_diag_lib4.c | 119 c_0 = a_0 * b_3; in kernel_dgemm_diag_right_4_a0_lib4() 120 c_1 = a_1 * b_3; in kernel_dgemm_diag_right_4_a0_lib4() 121 c_2 = a_2 * b_3; in kernel_dgemm_diag_right_4_a0_lib4() 122 c_3 = a_3 * b_3; in kernel_dgemm_diag_right_4_a0_lib4() 159 c_0 = a_0 * b_3; in kernel_dgemm_diag_right_4_a0_lib4() 620 b_3 = B[3+bs*0]; in kernel_dgemm_diag_left_4_a0_lib4() 625 c_3 = a_3 * b_3; in kernel_dgemm_diag_left_4_a0_lib4() 636 b_3 = B[3+bs*1]; in kernel_dgemm_diag_left_4_a0_lib4() 641 c_3 = a_3 * b_3; in kernel_dgemm_diag_left_4_a0_lib4() 652 b_3 = B[3+bs*2]; in kernel_dgemm_diag_left_4_a0_lib4() [all …]
|
H A D | kernel_sgemm_4x4_lib4.c | 74 b_3 = B[3]; in kernel_sgemm_nt_4x4_lib4() 107 b_3 = B[7]; in kernel_sgemm_nt_4x4_lib4() 140 b_3 = B[11]; in kernel_sgemm_nt_4x4_lib4() 173 b_3 = B[15]; in kernel_sgemm_nt_4x4_lib4() 213 b_3 = B[3]; in kernel_sgemm_nt_4x4_lib4() 742 b_3 = B[12]; in kernel_sgemm_nn_4x4_lib4() 977 b_3 = B[12]; in kernel_sgemm_nn_4x4_lib4() 1010 b_3 = B[13]; in kernel_sgemm_nn_4x4_lib4() 1043 b_3 = B[14]; in kernel_sgemm_nn_4x4_lib4() 1076 b_3 = B[15]; in kernel_sgemm_nn_4x4_lib4() [all …]
|
H A D | kernel_dgemm_4x4_lib4.c | 85 b_3 = B[3]; in kernel_dgemm_nt_4x4_lib4() 118 b_3 = B[7]; in kernel_dgemm_nt_4x4_lib4() 151 b_3 = B[11]; in kernel_dgemm_nt_4x4_lib4() 184 b_3 = B[15]; in kernel_dgemm_nt_4x4_lib4() 224 b_3 = B[3]; in kernel_dgemm_nt_4x4_lib4() 760 b_3 = B[12]; in kernel_dgemm_nn_4x4_lib4() 995 b_3 = B[12]; in kernel_dgemm_nn_4x4_lib4() 1028 b_3 = B[13]; in kernel_dgemm_nn_4x4_lib4() 1061 b_3 = B[14]; in kernel_dgemm_nn_4x4_lib4() 1094 b_3 = B[15]; in kernel_dgemm_nn_4x4_lib4() [all …]
|
/dports/math/maxima/maxima-5.43.2/share/vector/ |
H A D | rtest_vect.ERR-wout-explicit-000-patch | 126 [[a_2*b_3-a_3*b_2,a_2*b_3-a_3*b_2,a_2*b_3-a_3*b_2], 127 [a_3*b_1-a_1*b_3,a_3*b_1-a_1*b_3,a_3*b_1-a_1*b_3], 130 [a_2*b_3-a_3*b_2,a_3*b_1-a_1*b_3,a_1*b_2-a_2*b_1];
|
/dports/finance/py-quantecon/quantecon-0.5.2/quantecon/tests/ |
H A D | test_quad.py | 82 b_3 = data['b_3'] variable 235 cls.x_cheb_3, cls.w_cheb_3 = qnwcheb(n_3, a_3, b_3) 255 cls.x_equiN_3, cls.w_equiN_3 = qnwequi(n_3, a_3, b_3, "N") 329 unshifted = (temp - a_3) / (b_3 - a_3) 331 reshifted = a_3 + reshaped * (b_3 - a_3) 352 cls.x_lege_3, cls.w_lege_3 = qnwlege(n_3, a_3, b_3) 412 cls.x_simp_3, cls.w_simp_3 = qnwsimp(n_3, a_3, b_3) 432 cls.x_trap_3, cls.w_trap_3 = qnwtrap(n_3, a_3, b_3) 452 cls.x_unif_3, cls.w_unif_3 = qnwunif(n_3, a_3, b_3) 472 cls.x_beta_3, cls.w_beta_3 = qnwbeta(n_3, b_3, b_3 + 1.0) [all …]
|
/dports/net/kea/kea-2.0.1/src/bin/lfc/tests/ |
H A D | lfc_controller_unittests.cc | 411 string b_3 = "192.0.3.15,dd:de:ba:0d:1b:2e:3e:4f,0a:00:01:04," in TEST_F() local 430 test_str = v4_hdr_ + a_3 + b_3 + d_2; in TEST_F() 439 test_str = v4_hdr_ + a_3 + b_3; in TEST_F() 468 test_str = v4_hdr_ + d_1 + a_1 + b_1 + b_3 + d_2 + a_3; in TEST_F() 477 test_str = v4_hdr_ + a_3 + b_3; in TEST_F() 570 string b_3 = "2001:db8:2::10,01:01:01:01:0a:01:02:03:04:05," in TEST_F() local 587 test_str = v6_hdr_ + b_3 + a_4 + d_1 + c_2; in TEST_F() 596 test_str = v6_hdr_ + d_1 + b_3 + c_2; in TEST_F() 624 test_str = v6_hdr_ + a_1 + b_2 + b_3 + a_4 + d_1 + c_2; in TEST_F() 632 test_str = v6_hdr_ + d_1 + b_3 + c_2; in TEST_F()
|
/dports/lang/solidity/solidity_0.8.11/test/libyul/yulOptimizerTests/functionSpecializer/ |
H A D | simple.yul | 18 // let b_3 := 2 20 // sstore(a_4, b_3) 21 // sstore(b_3, c_2)
|
H A D | partial.yul | 19 // function f_1(b_3) 23 // sstore(a_4, b_3) 24 // sstore(b_3, c_2)
|
/dports/lang/racket/racket-8.3/share/pkgs/redex-doc/redex/scribblings/extended-exercises/ |
H A D | bit-strings.rkt | 29 (--> (or (b_1 b_2 b_3 ...) 33 (or (b_3) (b_6)) ...) 40 (--> (not (b_1 b_2 b_3 ...)) 43 (not (b_3)) ...) 48 (--> (append (b_1 ...) (b_2 ...) (b_3 ...) ...) 49 (append (b_1 ... b_2 ...) (b_3 ...) ...)
|
/dports/print/dot2tex/dot2tex-2.11.3/tests/testgraphs/ |
H A D | clust.dot | 13 b_0 -> b_1 -> b_2 -> b_3; 19 a_1 -> b_3; 23 b_3 -> end;
|
/dports/lang/solidity/solidity_0.8.11/test/libyul/yulOptimizerTests/fullInliner/ |
H A D | double_inline.yul | 13 // let b_3 := 0 15 // b_3 := sload(mload(a_2)) 17 // let b3 := b_3
|
/dports/print/dot2tex/dot2tex-2.11.3/examples/ |
H A D | latexmarkup.dot | 19 b_0 -> b_1 -> b_2 -> b_3; 25 a_1 -> b_3; 29 b_3 -> end;
|
/dports/cad/opencascade/opencascade-7.6.0/samples/tcl/ |
H A D | pathtrace_cube.tcl | 27 vdisplay -noupdate b_1 b_2 b_3 b_5 b_6 30 vlocation -noupdate b_3 -setLocation 0 1 0 36 vsetmaterial -noupdate b_3 plastic 41 vbsdf b_3 -kd 1 -ks 0
|
/dports/cad/opencascade/opencascade-7.6.0/tests/tools/dfbrowser/ |
H A D | A5 | 27 if {[catch {BuildNamedShape D [set TestLab]:1:1 PRIMITIVE b_1 b_2 b_3}] == 1} { 48 if {[catch {BuildNamedShape D [set TestLab]:2:2 GENERATED b_2 b2_2 b_2 b2_3 b_3 b2_4}] == 1} { 52 if {[catch {BuildNamedShape D [set TestLab]:2:1 GENERATED b_3 b2_1 b_3 b2_3 b_4 b2_4}] == 1} { 72 if {[catch {BuildNamedShape D [set TestLab]:3:1 MODIFY b2_3 b3_1 b_3 b3_3 b2_4 b3_4}] == 1} {
|
/dports/misc/openmvg/openMVG-2.0/src/third_party/ceres-solver/docs/source/ |
H A D | analytical_derivatives.rst | 19 determine parameters :math:`b_1, b_2, b_3` and :math:`b_4` that best 23 values of :math:`b_1, b_2, b_3` and :math:`b_4` are the ones that 28 E(b_1, b_2, b_3, b_4) 29 &= \sum_i f^2(b_1, b_2, b_3, b_4 ; x_i, y_i)\\ 36 :math:`b_1, b_2, b_3` and :math:`b_4`. 42 D_1 f(b_1, b_2, b_3, b_4; x,y) &= \frac{1}{(1+e^{b_2-b_3x})^{1/b_4}}\\ 43 D_2 f(b_1, b_2, b_3, b_4; x,y) &= 45 D_3 f(b_1, b_2, b_3, b_4; x,y) &= 47 …D_4 f(b_1, b_2, b_3, b_4; x,y) & = \frac{b_1 \log\left(1+e^{b_2-b_3x}\right) }{b_4^2(1+e^{b_2-b_3…
|
/dports/math/ceres-solver/ceres-solver-2.0.0/docs/source/ |
H A D | analytical_derivatives.rst | 19 determine parameters :math:`b_1, b_2, b_3` and :math:`b_4` that best 23 values of :math:`b_1, b_2, b_3` and :math:`b_4` are the ones that 28 E(b_1, b_2, b_3, b_4) 29 &= \sum_i f^2(b_1, b_2, b_3, b_4 ; x_i, y_i)\\ 36 :math:`b_1, b_2, b_3` and :math:`b_4`. 42 D_1 f(b_1, b_2, b_3, b_4; x,y) &= \frac{1}{(1+e^{b_2-b_3x})^{1/b_4}}\\ 43 D_2 f(b_1, b_2, b_3, b_4; x,y) &= 45 D_3 f(b_1, b_2, b_3, b_4; x,y) &= 47 …D_4 f(b_1, b_2, b_3, b_4; x,y) & = \frac{b_1 \log\left(1+e^{b_2-b_3x}\right) }{b_4^2(1+e^{b_2-b_3…
|
/dports/math/vowpal_wabbit/vowpal_wabbit-7.10/test/train-sets/ |
H A D | cs_test.ldf | 3 3:2.0 | a_3 b_3 c_3 9 3:2.0 | a_3 b_3 c_3
|
/dports/emulators/qemu60/qemu-6.0.0/roms/edk2/CryptoPkg/Library/OpensslLib/openssl/crypto/bn/asm/ |
H A D | mips.pl | 1099 $LD $b_3,3*$BNSZ($a2) 1155 mflo ($t_1,$a_0,$b_3) 1156 mfhi ($t_2,$a_0,$b_3) 1218 mflo ($t_1,$a_1,$b_3) 1219 mfhi ($t_2,$a_1,$b_3) 1255 mflo ($t_1,$a_2,$b_3) 1256 mfhi ($t_2,$a_2,$b_3) 1319 mflo ($t_1,$a_3,$b_3) 1320 mfhi ($t_2,$a_3,$b_3) 1392 mflo ($t_1,$a_4,$b_3) [all …]
|
/dports/devel/cargo-c/cargo-c-0.9.6+cargo-0.58/cargo-crates/openssl-src-111.16.0+1.1.1l/openssl/crypto/bn/asm/ |
H A D | mips.pl | 1099 $LD $b_3,3*$BNSZ($a2) 1155 mflo ($t_1,$a_0,$b_3) 1156 mfhi ($t_2,$a_0,$b_3) 1218 mflo ($t_1,$a_1,$b_3) 1219 mfhi ($t_2,$a_1,$b_3) 1255 mflo ($t_1,$a_2,$b_3) 1256 mfhi ($t_2,$a_2,$b_3) 1319 mflo ($t_1,$a_3,$b_3) 1320 mfhi ($t_2,$a_3,$b_3) 1392 mflo ($t_1,$a_4,$b_3) [all …]
|
/dports/security/vaultwarden/vaultwarden-1.23.1/cargo-crates/openssl-src-300.0.2+3.0.0/openssl/crypto/bn/asm/ |
H A D | mips.pl | 1101 $LD $b_3,3*$BNSZ($a2) 1157 mflo ($t_1,$a_0,$b_3) 1158 mfhi ($t_2,$a_0,$b_3) 1220 mflo ($t_1,$a_1,$b_3) 1221 mfhi ($t_2,$a_1,$b_3) 1257 mflo ($t_1,$a_2,$b_3) 1258 mfhi ($t_2,$a_2,$b_3) 1321 mflo ($t_1,$a_3,$b_3) 1322 mfhi ($t_2,$a_3,$b_3) 1394 mflo ($t_1,$a_4,$b_3) [all …]
|
/dports/emulators/qemu42/qemu-4.2.1/roms/edk2/CryptoPkg/Library/OpensslLib/openssl/crypto/bn/asm/ |
H A D | mips.pl | 1099 $LD $b_3,3*$BNSZ($a2) 1155 mflo ($t_1,$a_0,$b_3) 1156 mfhi ($t_2,$a_0,$b_3) 1218 mflo ($t_1,$a_1,$b_3) 1219 mfhi ($t_2,$a_1,$b_3) 1255 mflo ($t_1,$a_2,$b_3) 1256 mfhi ($t_2,$a_2,$b_3) 1319 mflo ($t_1,$a_3,$b_3) 1320 mfhi ($t_2,$a_3,$b_3) 1392 mflo ($t_1,$a_4,$b_3) [all …]
|