/dports/math/reduce/Reduce-svn5758-src/packages/redlog/regressions/reals/rlqe/ |
H A D | gatermann.tst | 6 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 D | gatermann.rlg | 10 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 D | ab07hopf9.tst | 9 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 D | ab07hopf9.rlg | 13 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 D | ab07hopf9.tst | 9 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 D | ab07hopf9.rlg | 13 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 D | random.c | 29 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 D | 102912.cc | 25 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 D | intobj.c | 448 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 D | bitsobj.c | 799 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 D | gwalls.f90 | 183 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 D | ssgVTable.cxx | 427 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 D | ssgVtxTable.cxx | 651 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 D | stl.py | 101 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 D | ofb_enc.c | 22 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 D | ofb_enc.c | 22 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 D | ofb_enc.c | 71 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 D | ofb_enc.c | 28 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 D | ofb_enc.c | 22 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 D | ofb_enc.c | 71 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 D | ofb_enc.c | 22 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 D | ofb_enc.c | 22 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 D | ofb_enc.c | 71 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 D | ofb_enc.c | 71 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 D | ofb_enc.c | 71 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()
|