Home
last modified time | relevance | path

Searched refs:vv1 (Results 1 – 25 of 510) sorted by relevance

12345678910>>...21

/dports/math/reduce/Reduce-svn5758-src/packages/redlog/regressions/reals/rlqe/
H A Dgatermann.tst6 gatermann := ex(vv3,ex(vv2,ex(vv1,vv3 > 0 and vv2 > 0 and vv1 > 0 and
7 (((k21*vv1**2*vv2 - k34*vv1 + k43*vv3 + k46 - k64*vv1 = 0 and -
9 k21*k43*k64*vv1**2 + 2*k21*k43*k65*vv1*vv2 - k43*k64*k65 < 0 and
10 k21**2*k34*vv1**4 - 2*k21**2*k34*vv1**3*vv2 + k21**2*k43*vv1**4 -
11 4*k21**2*k43*vv1**3*vv2 + 4*k21**2*k43*vv1**2*vv2**2 + k21**2*k64*vv1**4
12 - 2*k21**2*k64*vv1**3*vv2 - 2*k21**2*k65*vv1**3*vv2 +
13 4*k21**2*k65*vv1**2*vv2**2 + k21*k34**2*vv1**2 + 2*k21*k34*k43*vv1**2 -
14 2*k21*k34*k43*vv1*vv2 + 2*k21*k34*k64*vv1**2 + 2*k21*k34*k65*vv1**2 -
15 4*k21*k34*k65*vv1*vv2 + k21*k43**2*vv1**2 - 2*k21*k43**2*vv1*vv2 +
16 2*k21*k43*k64*vv1**2 - 4*k21*k43*k64*vv1*vv2 + 2*k21*k43*k65*vv1**2 -
[all …]
H A Dgatermann.rlg10 gatermann := ex(vv3,ex(vv2,ex(vv1,vv3 > 0 and vv2 > 0 and vv1 > 0 and
11 (((k21*vv1**2*vv2 - k34*vv1 + k43*vv3 + k46 - k64*vv1 = 0 and -
13 k21*k43*k64*vv1**2 + 2*k21*k43*k65*vv1*vv2 - k43*k64*k65 < 0 and
14 k21**2*k34*vv1**4 - 2*k21**2*k34*vv1**3*vv2 + k21**2*k43*vv1**4 -
15 4*k21**2*k43*vv1**3*vv2 + 4*k21**2*k43*vv1**2*vv2**2 + k21**2*k64*vv1**4
16 - 2*k21**2*k64*vv1**3*vv2 - 2*k21**2*k65*vv1**3*vv2 +
17 4*k21**2*k65*vv1**2*vv2**2 + k21*k34**2*vv1**2 + 2*k21*k34*k43*vv1**2 -
18 2*k21*k34*k43*vv1*vv2 + 2*k21*k34*k64*vv1**2 + 2*k21*k34*k65*vv1**2 -
19 4*k21*k34*k65*vv1*vv2 + k21*k43**2*vv1**2 - 2*k21*k43**2*vv1*vv2 +
20 2*k21*k43*k64*vv1**2 - 4*k21*k43*k64*vv1*vv2 + 2*k21*k43*k65*vv1**2 -
[all …]
/dports/math/reduce/Reduce-svn5758-src/packages/redlog/regressions/reals/rlposqe/
H A Dab07hopf9.tst9 ab2007_hopf_n_9 := ex(vv2,ex(vv1,ex(vv3,(( - vv1 < 0 and - vv3 < 0) and
10 - vv2 < 0) and (((((( gamma0*theta - theta*vv1*vv3**9 - theta*vv1 = 0
11 and gamma0*mu + lambda1*vv1 - vv2 = 0) and 9*alpha*gamma0 -
12 9*alpha*vv1*vv3**9 - 9*alpha*vv1 + delta*vv2 - delta*vv3 = 0) and -
13 9*delta*lambda1*theta*vv1*vv3**8 - delta*theta*vv3**9 - delta*theta < 0
14 and 6561*alpha**2*vv1**2*vv3**16 + 81*alpha*delta*theta*vv1*vv3 **17 +
15 81*alpha*delta*theta*vv1*vv3**8 + 162*alpha*delta*vv1*vv3**8 +
16 162*alpha* theta*vv1*vv3**17 + 162*alpha*theta*vv1*vv3**8 +
17 81*alpha*vv1*vv3**8 + delta**2* theta*vv3**9 + delta**2*theta + delta**2
18 - 9*delta*lambda1*theta*vv1*vv3**8 + delta*theta**2*vv3**18 +
H A Dab07hopf9.rlg13 ab2007_hopf_n_9 := ex(vv2,ex(vv1,ex(vv3,(( - vv1 < 0 and - vv3 < 0) and
14 - vv2 < 0) and (((((( gamma0*theta - theta*vv1*vv3**9 - theta*vv1 = 0
15 and gamma0*mu + lambda1*vv1 - vv2 = 0) and 9*alpha*gamma0 -
16 9*alpha*vv1*vv3**9 - 9*alpha*vv1 + delta*vv2 - delta*vv3 = 0) and -
17 9*delta*lambda1*theta*vv1*vv3**8 - delta*theta*vv3**9 - delta*theta < 0
18 and 6561*alpha**2*vv1**2*vv3**16 + 81*alpha*delta*theta*vv1*vv3 **17 +
19 81*alpha*delta*theta*vv1*vv3**8 + 162*alpha*delta*vv1*vv3**8 +
20 162*alpha* theta*vv1*vv3**17 + 162*alpha*theta*vv1*vv3**8 +
21 81*alpha*vv1*vv3**8 + delta**2* theta*vv3**9 + delta**2*theta + delta**2
22 - 9*delta*lambda1*theta*vv1*vv3**8 + delta*theta**2*vv3**18 +
/dports/math/reduce/Reduce-svn5758-src/packages/redlog/regressions/reals/rlposqea/
H A Dab07hopf9.tst9 ab2007_hopf_n_9 := ex(vv2,ex(vv1,ex(vv3,(( - vv1 < 0 and - vv3 < 0) and
10 - vv2 < 0) and (((((( gamma0*theta - theta*vv1*vv3**9 - theta*vv1 = 0
11 and gamma0*mu + lambda1*vv1 - vv2 = 0) and 9*alpha*gamma0 -
12 9*alpha*vv1*vv3**9 - 9*alpha*vv1 + delta*vv2 - delta*vv3 = 0) and -
13 9*delta*lambda1*theta*vv1*vv3**8 - delta*theta*vv3**9 - delta*theta < 0
14 and 6561*alpha**2*vv1**2*vv3**16 + 81*alpha*delta*theta*vv1*vv3 **17 +
15 81*alpha*delta*theta*vv1*vv3**8 + 162*alpha*delta*vv1*vv3**8 +
16 162*alpha* theta*vv1*vv3**17 + 162*alpha*theta*vv1*vv3**8 +
17 81*alpha*vv1*vv3**8 + delta**2* theta*vv3**9 + delta**2*theta + delta**2
18 - 9*delta*lambda1*theta*vv1*vv3**8 + delta*theta**2*vv3**18 +
H A Dab07hopf9.rlg13 ab2007_hopf_n_9 := ex(vv2,ex(vv1,ex(vv3,(( - vv1 < 0 and - vv3 < 0) and
14 - vv2 < 0) and (((((( gamma0*theta - theta*vv1*vv3**9 - theta*vv1 = 0
15 and gamma0*mu + lambda1*vv1 - vv2 = 0) and 9*alpha*gamma0 -
16 9*alpha*vv1*vv3**9 - 9*alpha*vv1 + delta*vv2 - delta*vv3 = 0) and -
17 9*delta*lambda1*theta*vv1*vv3**8 - delta*theta*vv3**9 - delta*theta < 0
18 and 6561*alpha**2*vv1**2*vv3**16 + 81*alpha*delta*theta*vv1*vv3 **17 +
19 81*alpha*delta*theta*vv1*vv3**8 + 162*alpha*delta*vv1*vv3**8 +
20 162*alpha* theta*vv1*vv3**17 + 162*alpha*theta*vv1*vv3**8 +
21 81*alpha*vv1*vv3**8 + delta**2* theta*vv3**9 + delta**2*theta + delta**2
22 - 9*delta*lambda1*theta*vv1*vv3**8 + delta*theta**2*vv3**18 +
[all …]
/dports/databases/grass7/grass-7.8.6/raster/r.sim/simlib/
H A Drandom.c29 double r = 0., vv1, vv2, fac; in gasdev() local
33 vv1 = simwe_rand() * 2. - 1.; in gasdev()
35 r = vv1 * vv1 + vv2 * vv2; in gasdev()
38 gset = vv1 * fac; in gasdev()
51 double r = 0., vv1, vv2, fac; in gasdev_for_paralel() local
54 vv1 = simwe_rand() * 2. - 1.; in gasdev_for_paralel()
56 r = vv1 * vv1 + vv2 * vv2; in gasdev_for_paralel()
59 (*y) = vv1 * fac; in gasdev_for_paralel()
/dports/lang/gcc12-devel/gcc-12-20211205/libstdc++-v3/testsuite/20_util/variant/
H A D102912.cc25 V vv1 = v1; in test02() local
26 if (vv1.index() != v1.index()) in test02()
47 V vv1 = v1; in test03() local
48 if (vv1.index() != v1.index()) in test03()
50 vv1 = v1; in test03()
51 if (vv1.index() != v1.index()) in test03()
53 vv1 = std::move(v1); in test03()
54 if (vv1.index() != v1.index()) in test03()
/dports/devel/tass64/64tass-1.56.2625-src/
H A Dintobj.c448 const Int *tmp = vv1; vv1 = vv2; vv2 = tmp; in iadd()
496 const Int *tmp = vv1; vv1 = vv2; vv2 = tmp; in isub()
513 const Int *tmp = vv1; vv1 = vv2; vv2 = tmp; in isub()
899 c = neg1 ? -vv1->val[0] : vv1->val[0]; in and_()
906 Int *tmp = vv1; vv1 = vv2; vv2 = tmp; in and_()
1010 c = neg1 ? -vv1->val[0] : vv1->val[0]; in or_()
1017 Int *tmp = vv1; vv1 = vv2; vv2 = tmp; in or_()
1124 c = neg1 ? -vv1->val[0] : vv1->val[0]; in xor_()
1131 Int *tmp = vv1; vv1 = vv2; vv2 = tmp; in xor_()
1248 if (a != b) return (a > b) ? vv1->len : -vv1->len; in icmp()
[all …]
H A Dbitsobj.c799 j = bitslen(vv1); in icmp()
803 if (a != b) return (a > b) ? vv1->len : -vv1->len; in icmp()
865 Bits *tmp = vv1; vv1 = vv2; vv2 = tmp; in binary()
898 vv->bits = (vv1->len < 0) ? vv2->bits : vv1->bits; in binary()
921 vv->bits = (vv1->len < 0) ? vv1->bits : vv2->bits; in binary()
943 vv->bits = vv2->bits > vv1->bits ? vv2->bits : vv1->bits; in binary()
987 v1 = vv1->data; in concat()
989 l = bitslen(vv1); in concat()
1029 v1 = vv1->data; in lshift()
1056 bits = vv1->bits; in rshift()
[all …]
/dports/science/packmol/packmol-18.169/
H A Dgwalls.f90183 vv1 = restpars(irest,4)/vnorm
186 b1 = vv1 * a1
195 (2*(a1 - vv1*w)*(1 - vv1**2)+ &
202 (2*(a1 - vv1*w)*(-vv1*vv2)+ &
209 (2*(a1 - vv1*w)*(-vv1*vv3)+ &
224 vv1 = restpars(irest,4)/vnorm
227 b1 = vv1 * a1
239 (2*(a1 - vv1*w)*(1 - vv1**2)+ &
241 2*(a3 - vv3*w)*(-vv3*vv1) )
245 (2*(a1 - vv1*w)*(-vv1*vv2)+ &
[all …]
/dports/x11-toolkits/plib/plib-1.8.5/src/ssg/
H A DssgVTable.cxx427 sgVec3 vv1, vv2, vv3 ; in hot_triangles() local
451 sgMakePlane ( plane, vv1, vv2, vv3 ) ; in hot_triangles()
483 float e1 = s [0] * vv1[1] - s [1] * vv1[0] ; in hot_triangles()
486 float ep1 = vv1[0] * vv2[1] - vv1[1] * vv2[0] ; in hot_triangles()
488 float ep3 = vv3[0] * vv1[1] - vv3[1] * vv1[0] ; in hot_triangles()
511 sgVec3 vv1, vv2, vv3 ; in los_triangles() local
534 sgSubVec3(edge1, vv2, vv1); in los_triangles()
535 sgSubVec3(edge2, vv3, vv1); in los_triangles()
547 sgSubVec3(tvec, cam, vv1); in los_triangles()
580 sgVec3 vv1, vv2, vv3 ; in isect_triangles() local
[all …]
H A DssgVtxTable.cxx651 sgVec3 vv1, vv2, vv3 ; in hot_triangles() local
675 sgMakePlane ( plane, vv1, vv2, vv3 ) ; in hot_triangles()
707 float e1 = s [0] * vv1[1] - s [1] * vv1[0] ; in hot_triangles()
710 float ep1 = vv1[0] * vv2[1] - vv1[1] * vv2[0] ; in hot_triangles()
712 float ep3 = vv3[0] * vv1[1] - vv3[1] * vv1[0] ; in hot_triangles()
735 sgVec3 vv1, vv2, vv3 ; in los_triangles() local
758 sgSubVec3(edge1, vv2, vv1); in los_triangles()
759 sgSubVec3(edge2, vv3, vv1); in los_triangles()
771 sgSubVec3(tvec, cam, vv1); in los_triangles()
835 sgVec3 vv1, vv2, vv3 ; in isect_triangles() local
[all …]
/dports/graphics/py-visvis/visvis-1.13.0/vvio/
H A Dstl.py101 vv1 = vertices[faces[:,0]]
106 vv1 = mesh._vertices[0::4]
111 tri1 = vv.Pointset(vv1)
117 tri3.extend(vv.Pointset(vv1))
148 vv1 = vertices[faces[:,0]]
152 vv1 = mesh._vertices[0::3]
158 vv1 = mesh[0::3]
164 vv1 = mesh[0::3]
178 f.write(struct.pack('<I', len(vv1)))
183 for i in range(len(vv1)):
[all …]
/dports/emulators/qemu60/qemu-6.0.0/roms/edk2/CryptoPkg/Library/OpensslLib/openssl/crypto/des/
H A Dofb_enc.c22 register DES_LONG d0, d1, vv0, vv1, v0, v1, n = (numbits + 7) / 8; in DES_ofb_encrypt() local
55 vv1 = ti[1]; in DES_ofb_encrypt()
59 d1 = (d1 ^ vv1) & mask1; in DES_ofb_encrypt()
68 v1 = vv1; in DES_ofb_encrypt()
71 v1 = ((vv0 >> (num - 32)) | (vv1 << (64 - num))) & 0xffffffffL; in DES_ofb_encrypt()
81 v0 = v1 = d0 = d1 = ti[0] = ti[1] = vv0 = vv1 = 0; in DES_ofb_encrypt()
/dports/devel/cargo-c/cargo-c-0.9.6+cargo-0.58/cargo-crates/openssl-src-111.16.0+1.1.1l/openssl/crypto/des/
H A Dofb_enc.c22 register DES_LONG d0, d1, vv0, vv1, v0, v1, n = (numbits + 7) / 8; in DES_ofb_encrypt() local
55 vv1 = ti[1]; in DES_ofb_encrypt()
59 d1 = (d1 ^ vv1) & mask1; in DES_ofb_encrypt()
68 v1 = vv1; in DES_ofb_encrypt()
71 v1 = ((vv0 >> (num - 32)) | (vv1 << (64 - num))) & 0xffffffffL; in DES_ofb_encrypt()
81 v0 = v1 = d0 = d1 = ti[0] = ti[1] = vv0 = vv1 = 0; in DES_ofb_encrypt()
/dports/security/libressl-static/libressl-3.3.5/crypto/des/
H A Dofb_enc.c71 DES_LONG d0,d1,vv0,vv1,v0,v1,n=(numbits+7)/8; in DES_ofb_encrypt() local
107 vv1=ti[1]; in DES_ofb_encrypt()
111 d1=(d1^vv1)&mask1; in DES_ofb_encrypt()
118 { v0=vv0; v1=vv1; } in DES_ofb_encrypt()
122 v1=((vv0>>(num-32))|(vv1<<(64-num)))&0xffffffffL; in DES_ofb_encrypt()
133 v0=v1=d0=d1=ti[0]=ti[1]=vv0=vv1=0; in DES_ofb_encrypt()
/dports/security/vaultwarden/vaultwarden-1.23.1/cargo-crates/openssl-src-300.0.2+3.0.0/openssl/crypto/des/
H A Dofb_enc.c28 register DES_LONG d0, d1, vv0, vv1, v0, v1, n = (numbits + 7) / 8; in DES_ofb_encrypt() local
61 vv1 = ti[1]; in DES_ofb_encrypt()
65 d1 = (d1 ^ vv1) & mask1; in DES_ofb_encrypt()
74 v1 = vv1; in DES_ofb_encrypt()
77 v1 = ((vv0 >> (num - 32)) | (vv1 << (64 - num))) & 0xffffffffL; in DES_ofb_encrypt()
87 v0 = v1 = d0 = d1 = ti[0] = ti[1] = vv0 = vv1 = 0; in DES_ofb_encrypt()
/dports/emulators/qemu42/qemu-4.2.1/roms/edk2/CryptoPkg/Library/OpensslLib/openssl/crypto/des/
H A Dofb_enc.c22 register DES_LONG d0, d1, vv0, vv1, v0, v1, n = (numbits + 7) / 8; in DES_ofb_encrypt() local
55 vv1 = ti[1]; in DES_ofb_encrypt()
59 d1 = (d1 ^ vv1) & mask1; in DES_ofb_encrypt()
68 v1 = vv1; in DES_ofb_encrypt()
71 v1 = ((vv0 >> (num - 32)) | (vv1 << (64 - num))) & 0xffffffffL; in DES_ofb_encrypt()
81 v0 = v1 = d0 = d1 = ti[0] = ti[1] = vv0 = vv1 = 0; in DES_ofb_encrypt()
/dports/security/libressl/libressl-3.4.3/crypto/des/
H A Dofb_enc.c71 DES_LONG d0,d1,vv0,vv1,v0,v1,n=(numbits+7)/8; in DES_ofb64_encrypt()
107 vv1=ti[1]; in DES_ofb64_encrypt()
111 d1=(d1^vv1)&mask1; in DES_ofb64_encrypt()
118 { v0=vv0; v1=vv1; } in DES_ofb64_encrypt()
122 v1=((vv0>>(num-32))|(vv1<<(64-num)))&0xffffffffL; in DES_ofb64_encrypt()
133 v0=v1=d0=d1=ti[0]=ti[1]=vv0=vv1=0; in DES_ofb64_encrypt()
/dports/sysutils/uefi-edk2-qemu/edk2-edk2-stable201911/CryptoPkg/Library/OpensslLib/openssl/crypto/des/
H A Dofb_enc.c22 register DES_LONG d0, d1, vv0, vv1, v0, v1, n = (numbits + 7) / 8; in DES_ofb_encrypt() local
55 vv1 = ti[1]; in DES_ofb_encrypt()
59 d1 = (d1 ^ vv1) & mask1; in DES_ofb_encrypt()
68 v1 = vv1; in DES_ofb_encrypt()
71 v1 = ((vv0 >> (num - 32)) | (vv1 << (64 - num))) & 0xffffffffL; in DES_ofb_encrypt()
81 v0 = v1 = d0 = d1 = ti[0] = ti[1] = vv0 = vv1 = 0; in DES_ofb_encrypt()
/dports/sysutils/vector/vector-0.10.0/cargo-crates/openssl-src-111.9.0+1.1.1g/openssl/crypto/des/
H A Dofb_enc.c22 register DES_LONG d0, d1, vv0, vv1, v0, v1, n = (numbits + 7) / 8; in DES_ofb_encrypt() local
55 vv1 = ti[1]; in DES_ofb_encrypt()
59 d1 = (d1 ^ vv1) & mask1; in DES_ofb_encrypt()
68 v1 = vv1; in DES_ofb_encrypt()
71 v1 = ((vv0 >> (num - 32)) | (vv1 << (64 - num))) & 0xffffffffL; in DES_ofb_encrypt()
81 v0 = v1 = d0 = d1 = ti[0] = ti[1] = vv0 = vv1 = 0; in DES_ofb_encrypt()
/dports/emulators/citra/citra-ac98458e0/externals/libressl/crypto/des/
H A Dofb_enc.c71 DES_LONG d0,d1,vv0,vv1,v0,v1,n=(numbits+7)/8; in DES_ofb_encrypt() local
107 vv1=ti[1]; in DES_ofb_encrypt()
111 d1=(d1^vv1)&mask1; in DES_ofb_encrypt()
118 { v0=vv0; v1=vv1; } in DES_ofb_encrypt()
122 v1=((vv0>>(num-32))|(vv1<<(64-num)))&0xffffffffL; in DES_ofb_encrypt()
133 v0=v1=d0=d1=ti[0]=ti[1]=vv0=vv1=0; in DES_ofb_encrypt()
/dports/net/p5-Socket-Class/Socket-Class-2.258/xs/sc_ssl/openssl/source/crypto/des/
H A Dofb_enc.c71 register DES_LONG d0,d1,vv0,vv1,v0,v1,n=(numbits+7)/8; in DES_ofb_encrypt() local
107 vv1=ti[1]; in DES_ofb_encrypt()
111 d1=(d1^vv1)&mask1; in DES_ofb_encrypt()
118 { v0=vv0; v1=vv1; } in DES_ofb_encrypt()
122 v1=((vv0>>(num-32))|(vv1<<(64-num)))&0xffffffffL; in DES_ofb_encrypt()
133 v0=v1=d0=d1=ti[0]=ti[1]=vv0=vv1=0; in DES_ofb_encrypt()
/dports/emulators/citra-qt5/citra-ac98458e0/externals/libressl/crypto/des/
H A Dofb_enc.c71 DES_LONG d0,d1,vv0,vv1,v0,v1,n=(numbits+7)/8; in DES_ofb_encrypt() local
107 vv1=ti[1]; in DES_ofb_encrypt()
111 d1=(d1^vv1)&mask1; in DES_ofb_encrypt()
118 { v0=vv0; v1=vv1; } in DES_ofb_encrypt()
122 v1=((vv0>>(num-32))|(vv1<<(64-num)))&0xffffffffL; in DES_ofb_encrypt()
133 v0=v1=d0=d1=ti[0]=ti[1]=vv0=vv1=0; in DES_ofb_encrypt()

12345678910>>...21