/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 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 + 19 2*delta*theta**2*vv3**9 + delta*theta**2 + 2*delta* theta*vv3**9 + [all …]
|
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 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 + 23 2*delta*theta**2*vv3**9 + delta*theta**2 + 2*delta* theta*vv3**9 + [all …]
|
/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 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 + 19 2*delta*theta**2*vv3**9 + delta*theta**2 + 2*delta* theta*vv3**9 + [all …]
|
H A D | ab07hopf9.rlg | 13 ab2007_hopf_n_9 := ex(vv2,ex(vv1,ex(vv3,(( - vv1 < 0 and - vv3 < 0) and 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 + 23 2*delta*theta**2*vv3**9 + delta*theta**2 + 2*delta* theta*vv3**9 + 24 2*delta*theta + delta + theta**2*vv3**18 + 2*theta**2*vv3**9 + theta**2 [all …]
|
/dports/science/packmol/packmol-18.169/ |
H A D | gwalls.f90 | 185 vv3 = restpars(irest,6)/vnorm 188 b3 = vv3 * a3 197 2*(a3 - vv3*w)*(-vv3*vv1) )) 204 2*(a3 - vv3*w)*(-vv3*vv2) )) 206 -2*dmax1(-w , 0.d0) * vv3 + & 211 2*(a3 - vv3*w)*(1 - vv3**2) )) 226 vv3 = restpars(irest,6)/vnorm 229 b3 = vv3 * a3 241 2*(a3 - vv3*w)*(-vv3*vv1) ) 247 2*(a3 - vv3*w)*(-vv3*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() 485 float e3 = s [0] * vv3[1] - s [1] * vv3[0] ; in hot_triangles() 487 float ep2 = vv2[0] * vv3[1] - vv2[1] * vv3[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 535 sgSubVec3(edge2, vv3, vv1); in los_triangles() 566 sgMakePlane ( plane, vv1, vv2, vv3 ) ; in los_triangles() 580 sgVec3 vv1, vv2, vv3 ; in isect_triangles() local 592 sgMakePlane ( plane, vv1, vv2, vv3 ) ; in isect_triangles() [all …]
|
H A D | ssgVtxTable.cxx | 651 sgVec3 vv1, vv2, vv3 ; in hot_triangles() local 675 sgMakePlane ( plane, vv1, vv2, vv3 ) ; in hot_triangles() 709 float e3 = s [0] * vv3[1] - s [1] * vv3[0] ; in hot_triangles() 711 float ep2 = vv2[0] * vv3[1] - vv2[1] * vv3[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 759 sgSubVec3(edge2, vv3, vv1); in los_triangles() 790 sgMakePlane ( plane, vv1, vv2, vv3 ) ; in los_triangles() 835 sgVec3 vv1, vv2, vv3 ; in isect_triangles() local 847 sgMakePlane ( plane, vv1, vv2, vv3 ) ; in isect_triangles() [all …]
|
/dports/graphics/py-visvis/visvis-1.13.0/vvio/ |
H A D | stl.py | 103 vv3 = vertices[faces[:,2]] 108 vv3 = mesh._vertices[2::4] 113 tri3 = vv.Pointset(vv3) 115 tri1.extend(vv.Pointset(vv3)) 143 vv1, vv2, vv3 = cls._convertQuadsToTriangles(mesh) 150 vv3 = vertices[faces[:,2]] 154 vv3 = mesh._vertices[2::3] 160 vv3 = mesh[2::3] 166 vv3 = mesh[2::3] 184 writer.writeFace(vv1[i], vv2[i], vv3[i])
|
/dports/x11-toolkits/gtk40/gtk-4.4.1/testsuite/gsk/ |
H A D | shader.c | 114 graphene_vec3_t v3, vv3; in test_create_data() local 148 gsk_gl_shader_get_arg_vec3 (shader, bytes, 6, &vv3); in test_create_data() 149 g_assert_true (graphene_vec3_equal (&v3, &vv3)); in test_create_data() 166 graphene_vec3_t v3, vv3; in test_format_args() local 194 gsk_gl_shader_get_arg_vec3 (shader, args, 6, &vv3); in test_format_args() 195 g_assert_true (graphene_vec3_equal (&v3, &vv3)); in test_format_args()
|
/dports/graphics/digikam/digikam-7.4.0/core/libs/dngwriter/extra/dng_sdk/ |
H A D | dng_temperature.cpp | 227 real64 vv3 = vv1 * f + vv2 * (1.0 - f); in Get_xy_coord() local 229 real64 len3 = sqrt (uu3 * uu3 + vv3 * vv3); in Get_xy_coord() 232 vv3 /= len3; in Get_xy_coord() 237 v += vv3 * offset; in Get_xy_coord()
|
/dports/graphics/dcp2icc/dcp2icc-0.1/dng_sdk_1_2/dng_sdk/source/ |
H A D | dng_temperature.cpp | 232 real64 vv3 = vv1 * f + vv2 * (1.0 - f); in Get_xy_coord() local 234 real64 len3 = sqrt (uu3 * uu3 + vv3 * vv3); in Get_xy_coord() 237 vv3 /= len3; in Get_xy_coord() 242 v += vv3 * offset; in Get_xy_coord()
|
/dports/science/elmerfem/elmerfem-release-9.0/fem/src/view3d/ |
H A D | 16node_quad.c | 273 double R=0.0,v2=2*v,uu=u*u,uv2=u*v2,vv3=3*v*v,uuu=uu*u,uuv2=uu*v2, in elm_16node_quad_dndv_fvalue() local 274 uvv3=u*vv3,uuuv2=uuu*v2,uuvv3=uu*vv3,uuuvv3=uuu*vv3; in elm_16node_quad_dndv_fvalue() 284 N[i][9]*vv3 + in elm_16node_quad_dndv_fvalue() 300 double v2=2*v,uu=u*u,uv2=u*v2,vv3=3*v*v,uuu=uu*u,uuv2=uu*v2, in elm_16node_quad_dndv_nvalue() local 301 uvv3=u*vv3,uuuv2=uuu*v2,uuvv3=uu*vv3,uuuvv3=uuu*vv3; in elm_16node_quad_dndv_nvalue() 311 N[i][9]*vv3 + in elm_16node_quad_dndv_nvalue()
|
/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 - 8 k21*vv1**2*vv2 + k56 - k65*vv2 = 0) and k34*vv1 - k43*vv3 = 0) and -
|
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 - 12 k21*vv1**2*vv2 + k56 - k65*vv2 = 0) and k34*vv1 - k43*vv3 = 0) and -
|
/dports/games/openspades/openspades-0.1.3/Sources/Draw/ |
H A D | SWImageRenderer.cpp | 1255 vv3.position = (vv3.position * r.fbSize4) + r.fbCenter4; in DrawPolygonInternal() 1283 Vertex vv1, vv2, vv3; in Clip() local 1321 vv3 = t2; in Clip() 1325 vv3 = t1; in Clip() 1335 vv3 = t2; in Clip() 1339 vv3 = t1; in Clip() 1349 vv3 = t2; in Clip() 1353 vv3 = t1; in Clip() 1366 vv3.position = mat * vv3.position; in DrawPolygonInternal() 1372 Vertex vv3 = v3; in DrawPolygonInternal() local [all …]
|
/dports/x11-toolkits/gtk40/gtk-4.4.1/demos/gtk-demo/ |
H A D | four_point_transform.c | 18 graphene_vec4_t vv1, vv2, vv3, vv4, p; in unit_to() local 36 graphene_vec4_init_from_vec3 (&vv3, &v3, 1.); in unit_to() 41 graphene_matrix_init_from_vec4 (&u, &vv1, &vv2, &vv3, &p); in unit_to()
|
/dports/graphics/rawstudio/rawstudio-2.0/librawstudio/ |
H A D | rs-color.c | 203 gdouble vv3 = vv1 * f + vv2 * (1.0 - f); in rs_color_temp_to_whitepoint() local 205 gdouble len3 = sqrt (uu3 * uu3 + vv3 * vv3); in rs_color_temp_to_whitepoint() 208 vv3 /= len3; in rs_color_temp_to_whitepoint() 213 v += vv3 * offset; in rs_color_temp_to_whitepoint()
|
/dports/math/lis/lis-2.0.30/src/matvec/ |
H A D | lis_matvec_jad.c | 815 vv3 = &A->value[is3]; in lis_matvec_jad_u5_1() 895 vv3 = &A->value[is3]; in lis_matvec_jad_u5_1() 1094 vv3 = &A->value[is3]; in lis_matvec_jad_u6_1() 1192 vv3 = &A->value[is3]; in lis_matvec_jad_u6_1() 1272 vv3 = &A->value[is3]; in lis_matvec_jad_u6_1() 1472 vv3 = &A->value[is3]; in lis_matvec_jad_u7_1() 1589 vv3 = &A->value[is3]; in lis_matvec_jad_u7_1() 1687 vv3 = &A->value[is3]; in lis_matvec_jad_u7_1() 1767 vv3 = &A->value[is3]; in lis_matvec_jad_u7_1() 1968 vv3 = &A->value[is3]; in lis_matvec_jad_u8_1() [all …]
|
/dports/math/py-Pyomo/Pyomo-6.1.2/pyomo/contrib/pynumero/sparse/tests/ |
H A D | test_intrinsics.py | 127 vv3 = np.array([1.1, 7.7]) 128 res = pn.intersect1d(self.bv, vv3) 132 res = pn.intersect1d(vv3, self.bv) 147 vv3 = np.array([1.1, 7.7]) 148 res = pn.setdiff1d(self.bv, vv3)
|
/dports/math/freefem++/FreeFem-sources-4.6/examples/3d/ |
H A D | LaplaceRT-3d.edp | 105 RPh [vv1,vv2,vv3,qq]; 109 vv3[]=von1(0,RPh); 110 cout << " vv: = " << vv1(.1,.2,.001) << " " << vv2(.1,.2,.001) << " " << vv3(.1,.2,.001) << endl; 111 [vv1,vv2,vv3,qq]=[g1n,g2n,g3n,100]; 114 cout << " vv: = " << vv1(.1,.2,.001) << " " << vv2(.1,.2,.001) << " " << vv3(.1,.2,.001) << " " <<… 146 cout << " int 2 V "<<int2d(Th,2)(vv1) << " " << int2d(Th,2)(vv2) << " " << int2d(Th,2)(vv3) << end…
|
/dports/cad/opencascade/opencascade-7.6.0/src/BRepFill/ |
H A D | BRepFill_ShapeLaw.cxx | 413 TopoDS_Vertex vv1, vv2, vv3, vv4; in Continuity() local 415 TopExp::Vertices(Edge2, vv3, vv4); in Continuity() 416 if (vv1.IsSame(vv3)) in Continuity() 417 { V1 = vv1; V2 = vv3; } in Continuity() 420 else if (vv2.IsSame(vv3)) in Continuity() 421 { V1 = vv2; V2 = vv3; } in Continuity()
|
/dports/cad/freehdl/freehdl-0.0.7/v2cc/ |
H A D | z.vhdl | 38 signal vec, vec2, vv1, vv2, vv3, yyy : bit_vector(0 to 7); signal 62 port map(i1 => int1, b1 => vv3(0)); 65 port map(int2, vv3(7));
|
/dports/graphics/delaboratory/delaboratory-0.8/gui_wx/ |
H A D | sampler_panel.cc | 201 deValue vv3; in update() local 211 cp.convert(oc, orig[0], orig[1], orig[2], orig[3], colorSpace, vv1, vv2, vv3, vv4); in update() 231 oss << getPresentationValue(colorSpace, 2, vv3); in update()
|
/dports/science/openbabel/openbabel-3.1.1/test/ |
H A D | aligntest.cpp | 17 typedef vector<vector3> vv3; typedef 34 vv3 ref(2), target(2), result; in test_simpleAlign() 105 vv3 ref(2), target(2); in test_RMSD() 295 vv3 ref(3), target(3), result; in test_bug()
|
/dports/math/reduce/Reduce-svn5758-src/packages/redlog/ofsf/ |
H A D | ofsf.tst | 87 ab2007_hopf_n_9 := ex(vv2,ex(vv1,ex(vv3,(( - vv1 < 0 and - vv3 < 0) and 88 - vv2 < 0) and (((((( gamma0*theta - theta*vv1*vv3**9 - theta*vv1 = 0 90 9*alpha*vv1*vv3**9 - 9*alpha*vv1 + delta*vv2 - delta*vv3 = 0) and - 91 9*delta*lambda1*theta*vv1*vv3**8 - delta*theta*vv3**9 - delta*theta < 0 92 and 6561*alpha**2*vv1**2*vv3**16 + 81*alpha*delta*theta*vv1*vv3 **17 + 93 81*alpha*delta*theta*vv1*vv3**8 + 162*alpha*delta*vv1*vv3**8 + 94 162*alpha* theta*vv1*vv3**17 + 162*alpha*theta*vv1*vv3**8 + 95 81*alpha*vv1*vv3**8 + delta**2* theta*vv3**9 + delta**2*theta + delta**2 96 - 9*delta*lambda1*theta*vv1*vv3**8 + delta*theta**2*vv3**18 + 97 2*delta*theta**2*vv3**9 + delta*theta**2 + 2*delta* theta*vv3**9 + [all …]
|