Home
last modified time | relevance | path

Searched refs:y3 (Results 1 – 25 of 5295) sorted by relevance

12345678910>>...212

/dports/math/yices/yices-2.6.2/tests/regress/efsmt/lra/
H A Dscholl-smt08_RND_2012368_RND_3_25.smt213 (declare-fun y3 () Real)
16 …y3 Real)) (let ((?v_0 (* (- 42) x1))) (or (and (or (and (and (< (* (- 33) x1) 94) (> (* (- 73) ?y3…
/dports/security/nettle/nettle-3.7.3/
H A Dserpent-encrypt.c84 y3 ^= y0; \
131 y3 &= x3; \
133 y3 |= x1; \
135 y3 ^= x0; \
141 y3 = ~ y3; \
159 y3 ^= x2; \
160 y1 |= y3; \
164 y3 = ~ y3; \
196 y3 |= x1; \
200 y1 ^= y3; \
[all …]
H A Dserpent-decrypt.c118 y3 = x3 ^ x0; \
150 y0 &= y3; \
152 y3 ^= y1; \
197 y2 &= y3; \
199 y3 &= x1; \
202 y3 ^= x0; \
203 x2 &= y3; \
237 y3 ^= x3; \
247 y3 ^= x0; \
325 y2 ^= y3; \
[all …]
/dports/security/sequoia/sequoia-383133f6be990237044900a4df676488bf8dd71e/cargo-crates/nettle-src-3.5.1-2/nettle/
H A Dserpent-encrypt.c84 y3 ^= y0; \
131 y3 &= x3; \
133 y3 |= x1; \
135 y3 ^= x0; \
141 y3 = ~ y3; \
159 y3 ^= x2; \
160 y1 |= y3; \
164 y3 = ~ y3; \
196 y3 |= x1; \
200 y1 ^= y3; \
[all …]
H A Dserpent-decrypt.c118 y3 = x3 ^ x0; \
150 y0 &= y3; \
152 y3 ^= y1; \
197 y2 &= y3; \
199 y3 &= x1; \
202 y3 ^= x0; \
203 x2 &= y3; \
237 y3 ^= x3; \
247 y3 ^= x0; \
325 y2 ^= y3; \
[all …]
/dports/security/ncrypt/ncrypt-0.8.1/
H A Dserpent.c408 x0 = y0; x1 = y1; x2 = y2; x3 = y3; in serpent_encrypt()
433 keying(y0, y1, y2, y3, subkeys[31]); in serpent_decrypt()
436 keying(y0, y1, y2, y3, subkeys[30]); in serpent_decrypt()
439 keying(y0, y1, y2, y3, subkeys[29]); in serpent_decrypt()
442 keying(y0, y1, y2, y3, subkeys[28]); in serpent_decrypt()
445 keying(y0, y1, y2, y3, subkeys[27]); in serpent_decrypt()
448 keying(y0, y1, y2, y3, subkeys[26]); in serpent_decrypt()
451 keying(y0, y1, y2, y3, subkeys[25]); in serpent_decrypt()
454 keying(y0, y1, y2, y3, subkeys[24]); in serpent_decrypt()
457 keying(y0, y1, y2, y3, subkeys[23]); in serpent_decrypt()
[all …]
/dports/security/p5-Crypt-Serpent/Crypt-Serpent-1.01/
H A D_serpent.c409 x0 = y0; x1 = y1; x2 = y2; x3 = y3; in serpent_encrypt()
434 keying(y0, y1, y2, y3, subkeys[31]); in serpent_decrypt()
437 keying(y0, y1, y2, y3, subkeys[30]); in serpent_decrypt()
440 keying(y0, y1, y2, y3, subkeys[29]); in serpent_decrypt()
443 keying(y0, y1, y2, y3, subkeys[28]); in serpent_decrypt()
446 keying(y0, y1, y2, y3, subkeys[27]); in serpent_decrypt()
449 keying(y0, y1, y2, y3, subkeys[26]); in serpent_decrypt()
452 keying(y0, y1, y2, y3, subkeys[25]); in serpent_decrypt()
455 keying(y0, y1, y2, y3, subkeys[24]); in serpent_decrypt()
458 keying(y0, y1, y2, y3, subkeys[23]); in serpent_decrypt()
[all …]
/dports/science/avogadrolibs/molecules/macrocycles/
H A Dphthalocyanine.cml3 <atom id="a1" elementType="C" x3="3.950900" y3="1.955400" z3="0.100500"/>
4 <atom id="a2" elementType="C" x3="4.384800" y3="0.589100" z3="0.091400"/>
5 <atom id="a3" elementType="C" x3="3.156200" y3="-0.260100" z3="0.053500"/>
6 <atom id="a4" elementType="C" x3="2.460700" y3="1.906500" z3="0.065800"/>
7 <atom id="a5" elementType="N" x3="2.013900" y3="0.647000" z3="0.039100"/>
8 <atom id="a6" elementType="N" x3="1.682800" y3="3.070600" z3="0.063600"/>
9 <atom id="a7" elementType="C" x3="0.374500" y3="3.068100" z3="0.045500"/>
10 <atom id="a8" elementType="N" x3="-0.530000" y3="1.965500" z3="0.026100"/>
11 <atom id="a9" elementType="C" x3="-1.896500" y3="2.375100" z3="0.014500"/>
12 <atom id="a10" elementType="C" x3="-0.489300" y3="4.284600" z3="0.044500"/>
[all …]
/dports/misc/libpostal/libpostal-1.1-alpha/test/
H A Dtest_crf_context.c25 int y1, y2, y3; in test_crf_context() local
124 for (y3 = 0; y3 < L; y3++) { in test_crf_context()
138 for (y3 = 0; y3 < L; y3++) { in test_crf_context()
151 for (y3 = 0; y3 < L; y3++) { in test_crf_context()
156 labels[2] = y3; in test_crf_context()
168 for (y3 = 0; y3 < L; y3++) { in test_crf_context()
185 for (y3 = 0; y3 < L; y3++) { in test_crf_context()
199 for (y3 = 0; y3 < L; y3++) { in test_crf_context()
208 b = beta_score(ctx, 2)[y3]; in test_crf_context()
219 for (y3 = 0; y3 < L; y3++) { in test_crf_context()
[all …]
/dports/math/cvc4/CVC4-1.7/test/regress/regress1/quantifiers/
H A DRND_4_16.smt24 (declare-fun y3 () Real)
8 …y3 Real)) (forall ((?y4 Real)) (or (< (+ (+ (* (- 53) ?y4) (* 77 ?y3)) (* 51 ?y2)) 79) (not (= (* …
/dports/math/reduce/Reduce-svn5758-src/packages/redlog/regressions/reals/rlqe/
H A Drp3.tst17 y1 + y3 > 0 and y1 - y3 >= 0 or d1 - d3 + y1 - y3 < 0 and d1 + y1 - y3
19 d1 - d3 + y1 - y3 < 0 and d1 + x1 - x3 >= 0 and d1 + y1 - y3 >= 0 or d1
25 - y2 + y3 > 0 and x2 - x3 >= 0 and y2 - y3 >= 0 or d2 - d3 + x2 - x3 <
26 0 and d2 + x2 - x3 >= 0 and d3 - y2 + y3 > 0 and y2 - y3 >= 0 or d2 - d3
27 + y2 - y3 < 0 and d2 + y2 - y3 >= 0 and d3 - x2 + x3 > 0 and x2 - x3 >=
29 >= 0 and d2 + y2 - y3 >= 0 or d1 + x1 - x3 > 0 and d1 + y1 - y3 > 0 and
30 x1 - x3 <= 0 and y1 - y3 <= 0 or d1 - d3 + x1 - x3 > 0 and d1 + y1 - y3
31 > 0 and d3 - x1 + x3 >= 0 and y1 - y3 <= 0 or d1 - d3 + y1 - y3 > 0 and
35 - y3 <= 0 or d2 - d3 + x2 - x3 > 0 and d2 + y2 - y3 > 0 and d3 - x2 +
36 x3 >= 0 and y2 - y3 <= 0 or d2 - d3 + y2 - y3 > 0 and d2 + x2 - x3 > 0
[all …]
/dports/science/openbabel/openbabel-3.1.1/test/files/
H A Doctane.cml3 <atom id="a1" elementType="C" x3="-7.182041" y3="-0.589008" z3="-0.002441"/>
4 <atom id="a2" elementType="C" x3="-5.876147" y3="0.199952" z3="0.031653"/>
5 <atom id="a3" elementType="C" x3="-4.662912" y3="-0.736578" z3="-0.011454"/>
6 <atom id="a4" elementType="C" x3="-3.352891" y3="0.060139" z3="0.022983"/>
7 <atom id="a5" elementType="C" x3="-2.138916" y3="-0.876201" z3="-0.020116"/>
8 <atom id="a6" elementType="C" x3="-0.828894" y3="-0.079484" z3="0.014322"/>
9 <atom id="a7" elementType="C" x3="0.384340" y3="-1.016014" z3="-0.028785"/>
10 <atom id="a8" elementType="C" x3="1.690235" y3="-0.227055" z3="0.005309"/>
11 <atom id="a9" elementType="H" x3="-8.041813" y3="0.113018" z3="0.029825"/>
12 <atom id="a10" elementType="H" x3="-7.245252" y3="-1.269193" z3="0.873512"/>
[all …]
/dports/science/avogadrolibs/molecules/cyclic_alkanes/
H A Dadamantane.cml3 <atom id="a1" elementType="C" x3="0.979657" y3="0.086163" z3="0.459697"/>
4 <atom id="a2" elementType="C" x3="0.504989" y3="-0.962234" z3="-0.575075"/>
5 <atom id="a3" elementType="C" x3="-0.789299" y3="-0.482897" z3="-1.274978"/>
6 <atom id="a4" elementType="H" x3="1.290995" y3="-1.131869" z3="-1.321080"/>
7 <atom id="a5" elementType="H" x3="0.323967" y3="-1.921771" z3="-0.075485"/>
8 <atom id="a6" elementType="C" x3="-1.889189" y3="-0.255064" z3="-0.213372"/>
9 <atom id="a7" elementType="C" x3="-1.359079" y3="0.782393" z3="0.753424"/>
10 <atom id="a8" elementType="H" x3="-2.818331" y3="0.091927" z3="-0.680893"/>
11 <atom id="a9" elementType="H" x3="-2.117534" y3="-1.186649" z3="0.316743"/>
12 <atom id="a10" elementType="C" x3="-0.136166" y3="0.305120" z3="1.511639"/>
[all …]
H A Dcyclohexane-boat.cml3 <atom id="a1" elementType="C" x3="0.000000" y3="0.462264" z3="-1.861189"/>
4 <atom id="a2" elementType="C" x3="0.000000" y3="0.462264" z3="-0.330189"/>
5 <atom id="a3" elementType="H" x3="1.033319" y3="0.462264" z3="0.035145"/>
6 <atom id="a4" elementType="C" x3="-0.721721" y3="-0.787792" z3="0.180144"/>
7 <atom id="a5" elementType="H" x3="-0.516659" y3="1.357144" z3="0.035144"/>
8 <atom id="a6" elementType="C" x3="-1.202868" y3="-1.621163" z3="-1.010633"/>
9 <atom id="a7" elementType="H" x3="-1.582819" y3="-0.489498" z3="0.789033"/>
10 <atom id="a8" elementType="H" x3="-0.032841" y3="-1.384379" z3="0.789033"/>
11 <atom id="a9" elementType="H" x3="-0.341769" y3="-1.919457" z3="-1.619523"/>
14 <atom id="a12" elementType="H" x3="0.516659" y3="-0.432616" z3="-2.226523"/>
[all …]
H A Dcyclohexane-chair.cml3 <atom id="a1" elementType="C" x3="-3.992303" y3="-2.531468" z3="1.820925"/>
4 <atom id="a2" elementType="C" x3="-4.543631" y3="-1.109979" z3="1.890097"/>
5 <atom id="a3" elementType="C" x3="-2.513493" y3="-2.580787" z3="2.195141"/>
6 <atom id="a4" elementType="H" x3="-4.123807" y3="-2.923813" z3="0.804471"/>
7 <atom id="a5" elementType="H" x3="-4.564588" y3="-3.182426" z3="2.490916"/>
8 <atom id="a6" elementType="C" x3="-1.686607" y3="-1.614567" z3="1.351324"/>
9 <atom id="a7" elementType="H" x3="-2.398017" y3="-2.327479" z3="3.256702"/>
10 <atom id="a8" elementType="H" x3="-2.134062" y3="-3.600486" z3="2.067136"/>
11 <atom id="a9" elementType="C" x3="-3.716666" y3="-0.143336" z3="1.046805"/>
12 <atom id="a10" elementType="H" x3="-4.546811" y3="-0.771253" z3="2.933961"/>
[all …]
/dports/math/calc/calc-2.14.0.14/cscript/
H A D4dsphere.calc60 y3 = eval(argv(14));
78 print "(":x3:",":y3:",":z3:",":w3:") ":;
89 * (x3,y3,z3,w3)
99 * | x3^2+y3^2+z3^2+w3^2 x3 y3 z3 w3 1 |
123 + (z3^2+y3^2+x3^2+w3^2)*(y4*z5-y5*z4))
162 + (z3^2+y3^2+x3^2+w3^2)*(y4*z5-y5*z4))
201 + (z3^2+y3^2+x3^2+w3^2)*(x4*z5-x5*z4))
283 +w5*y4+ (w4-w5)*y3) -x3*(w5*y4-w4*y5) + (w5*x4-w4*x5)*y3-
297 (x4-x5)*y3)*z2) +x1*(w2*(y4*z5+y3*(z4-z5) -y5*z4- (y4-y5)*z3)
300 (w4-w5)*y3)*z2) -w2*(x3*(y4*z5-y5*z4) -y3*(x4*z5-x5*z4) +
[all …]
/dports/math/py-algopy/algopy-0.5.7/algopy/tests/
H A Dtest_special.py30 y3 = dpm_hyp1f1(a, b, x)
47 y3 = hyp1f1(a, b, x)
104 y3 = hyp0f1(b, x)
121 y3 = polygamma(n, x)
138 y3 = psi(x)
155 y3 = gammaln(x)
172 y3 = erf(x)
189 y3 = erfi(x)
206 y3 = dawsn(x)
223 y3 = logit(x)
[all …]
/dports/math/vtk9/VTK-9.1.0/ThirdParty/verdict/vtkverdict/
H A DV_GaussIntegration.cpp721 shapeFunction[ife][2] = y3*(2.*y3-1.); in calculate_shape_function_2d_tri()
875 shapeFunction[ife][3] = y3*(2.*y3-1.); in calculate_shape_function_3d_tet()
1045 y3 = 0.; in get_node_local_coord_tet()
1051 y3 = 0.; in get_node_local_coord_tet()
1057 y3 = 0.; in get_node_local_coord_tet()
1063 y3 = 1.; in get_node_local_coord_tet()
1069 y3 = 0.; in get_node_local_coord_tet()
1075 y3 = 0.; in get_node_local_coord_tet()
1081 y3 = 0.; in get_node_local_coord_tet()
1087 y3 = 0.5; in get_node_local_coord_tet()
[all …]
/dports/math/vtk8/VTK-8.2.0/ThirdParty/verdict/vtkverdict/
H A DV_GaussIntegration.cpp721 shapeFunction[ife][2] = y3*(2.*y3-1.); in calculate_shape_function_2d_tri()
875 shapeFunction[ife][3] = y3*(2.*y3-1.); in calculate_shape_function_3d_tet()
1045 y3 = 0.; in get_node_local_coord_tet()
1051 y3 = 0.; in get_node_local_coord_tet()
1057 y3 = 0.; in get_node_local_coord_tet()
1063 y3 = 1.; in get_node_local_coord_tet()
1069 y3 = 0.; in get_node_local_coord_tet()
1075 y3 = 0.; in get_node_local_coord_tet()
1081 y3 = 0.; in get_node_local_coord_tet()
1087 y3 = 0.5; in get_node_local_coord_tet()
[all …]
/dports/math/vtk6/VTK-6.2.0/ThirdParty/verdict/vtkverdict/
H A DV_GaussIntegration.cpp721 shapeFunction[ife][2] = y3*(2.*y3-1.); in calculate_shape_function_2d_tri()
875 shapeFunction[ife][3] = y3*(2.*y3-1.); in calculate_shape_function_3d_tet()
1045 y3 = 0.; in get_node_local_coord_tet()
1051 y3 = 0.; in get_node_local_coord_tet()
1057 y3 = 0.; in get_node_local_coord_tet()
1063 y3 = 1.; in get_node_local_coord_tet()
1069 y3 = 0.; in get_node_local_coord_tet()
1075 y3 = 0.; in get_node_local_coord_tet()
1081 y3 = 0.; in get_node_local_coord_tet()
1087 y3 = 0.5; in get_node_local_coord_tet()
[all …]
/dports/math/moab/fathomteam-moab-7bde9dfb84a8/src/verdict/
H A DV_GaussIntegration.cpp719 shapeFunction[ife][2] = y3*(2.*y3-1.); in calculate_shape_function_2d_tri()
873 shapeFunction[ife][3] = y3*(2.*y3-1.); in calculate_shape_function_3d_tet()
1043 y3 = 0.; in get_node_local_coord_tet()
1049 y3 = 0.; in get_node_local_coord_tet()
1055 y3 = 0.; in get_node_local_coord_tet()
1061 y3 = 1.; in get_node_local_coord_tet()
1067 y3 = 0.; in get_node_local_coord_tet()
1073 y3 = 0.; in get_node_local_coord_tet()
1079 y3 = 0.; in get_node_local_coord_tet()
1085 y3 = 0.5; in get_node_local_coord_tet()
[all …]
/dports/lang/go-devel/go-becaeea1199b875bc24800fa88f2f4fea119bf78/src/crypto/elliptic/internal/nistec/
H A Dp224.go163 y3.Sub(x3, y3) // Y3 := X3 - Y3
170 y3.Mul(p224B, y3) // Y3 := b * Y3
173 y3.Sub(y3, t2) // Y3 := Y3 - t2
174 y3.Sub(y3, t0) // Y3 := Y3 - t0
191 q.y.Set(y3)
209 y3.Sub(y3, z3) // Y3 := Y3 - Z3
210 x3 := new(fiat.P224Element).Add(y3, y3) // X3 := Y3 + Y3
211 y3.Add(x3, y3) // Y3 := X3 + Y3
213 y3.Add(t1, y3) // Y3 := t1 + Y3
214 y3.Mul(x3, y3) // Y3 := X3 * Y3
[all …]
H A Dp384.go168 y3.Sub(x3, y3) // Y3 := X3 - Y3
175 y3.Mul(p384B, y3) // Y3 := b * Y3
178 y3.Sub(y3, t2) // Y3 := Y3 - t2
179 y3.Sub(y3, t0) // Y3 := Y3 - t0
196 q.y.Set(y3)
214 y3.Sub(y3, z3) // Y3 := Y3 - Z3
215 x3 := new(fiat.P384Element).Add(y3, y3) // X3 := Y3 + Y3
216 y3.Add(x3, y3) // Y3 := X3 + Y3
218 y3.Add(t1, y3) // Y3 := t1 + Y3
219 y3.Mul(x3, y3) // Y3 := X3 * Y3
[all …]
H A Dp521.go180 y3.Sub(x3, y3) // Y3 := X3 - Y3
187 y3.Mul(p521B, y3) // Y3 := b * Y3
190 y3.Sub(y3, t2) // Y3 := Y3 - t2
191 y3.Sub(y3, t0) // Y3 := Y3 - t0
208 q.y.Set(y3)
226 y3.Sub(y3, z3) // Y3 := Y3 - Z3
227 x3 := new(fiat.P521Element).Add(y3, y3) // X3 := Y3 + Y3
228 y3.Add(x3, y3) // Y3 := X3 + Y3
230 y3.Add(t1, y3) // Y3 := t1 + Y3
231 y3.Mul(x3, y3) // Y3 := X3 * Y3
[all …]
/dports/net-im/telegram-desktop/tdesktop-3.2.5-full/Telegram/ThirdParty/rlottie/src/vector/
H A Dvbezier.h47 float x1, y1, x2, y2, x3, y3, x4, y4; variable
78 float b = y2 * m_t + y3 * t; in pointAt()
79 float c = y3 * m_t + y4 * t; in pointAt()
96 left->y3 = y2 + t * (y3 - y2); // temporary holding spot in parameterSplitLeft()
99 y3 = y3 + t * (y4 - y3); in parameterSplitLeft()
102 y2 = left->y3 + t * (y3 - left->y3); in parameterSplitLeft()
105 left->y3 = left->y2 + t * (left->y3 - left->y2); in parameterSplitLeft()
108 left->y4 = y1 = left->y3 + t * (y2 - left->y3); in parameterSplitLeft()
122 c = (y2 + y3) / 2; in split()
124 secondHalf->y3 = (y3 + y4) * 0.5f; in split()
[all …]

12345678910>>...212