| /dports/science/libxc/libxc-5.0.0/src/maple2c/gga_exc/ |
| H A D | gga_c_pbeloc.c | 722 t1257 = t535 * t57 * t85; in func_unpol()
723 t1258 = t49 * t1257; in func_unpol()
1617 t1257 = t519 * t523; in func_ferr()
4649 t3515 = t842 * t1257; in func_pol()
5422 t5211 = t1386 * t1257; in func_pol()
7029 t10356 = t2315 * t1257; in func_pol()
7087 t10839 = t2297 * t1257; in func_pol()
7254 t11856 = t2601 * t1257; in func_pol()
8442 t16907 = t4092 * t1257; in func_pol()
8443 t16909 = t4087 * t1257; in func_pol()
[all …]
|
| H A D | gga_x_2d_b86.c | 498 double t1254, t1255, t1256, t1257, t1258, t1259, t1262, t1263; in func_pol() local
1659 t1257 = t1226 * t89; in func_pol()
1660 t1258 = t151 * t1257; in func_pol()
2247 t3754 = t443 * t1257; in func_pol()
|
| H A D | gga_x_beefvdw.c | 869 double t1257, t1259, t1261, t1263, t1284, t1315, t1346, t1375; in func_ferr() local
1362 …t1257 = -0.55579307494075739758e4 * t1229 + 0.37835396407252402359e5 * t1231 + 0.25023897635898133… in func_ferr()
1372 t1440 = t94 * (t1228 + t1257 + t1284 + t1315 + t1346 + t1375 + t1405 + t1436); in func_ferr()
1655 double t1244, t1246, t1248, t1250, t1251, t1253, t1255, t1257; in func_pol() local
2419 t1257 = t134 * t1221; in func_pol()
2430 …7 * t1253 + 0.56296854957717736142e7 * t1255 - 0.37062695419646445368e7 * t1257 + 0.37835396407252… in func_pol()
3018 …30 - 0.16307585984644435962e9 * t1255 * t330 - 0.14577730665129094116e9 * t1257 * t330 + 0.6810371… in func_pol()
3645 … - 0.48106511194926010582e10 * t1255 * t834 + 0.37411362998928442618e10 * t1257 * t834 + 0.1875506… in func_pol()
3652 …t6561 = -0.21866595997693641174e9 * t1257 * t903 - 0.72888653325645470578e8 * t510 * t2110 + 0.162… in func_pol()
|
| H A D | gga_x_sogga11.c | 741 double t1251, t1254, t1255, t1257, t1260, t1263, t1266, t1269; in func_ferr() local
1201 t1257 = t1254 * t1255 * t489; in func_ferr()
1211 …2 * t1248 * t1034 - 0.64e2 / 0.729e3 * t1251 * t1034 + 0.80e2 / 0.729e3 * t1257 * t1034 - 0.160e3 … in func_ferr()
1225 …e2 * t1248 * t1306 + 0.8e1 / 0.243e3 * t1251 * t1306 - 0.10e2 / 0.243e3 * t1257 * t1306 + 0.20e2 /… in func_ferr()
1263 …t1608 = -0.5e1 / 0.7776e4 * t1227 * t1530 - t1251 * t1522 / 0.81e2 + 0.5e1 / 0.324e3 * t1257 * t15… in func_ferr()
1283 …e2 - t1248 * t1746 / 0.48e2 + t1251 * t1746 / 0.216e3 - 0.5e1 / 0.864e3 * t1257 * t1746 + 0.5e1 / … in func_ferr()
|
| H A D | gga_xc_th3.c | 525 double t1239, t1242, t1245, t1248, t1251, t1254, t1257, t1259; in func_pol() local
1215 t1257 = t451 * rho[0]; in func_pol()
1216 t1259 = 0.1e1 / t23 / t1257; in func_pol()
1759 …2973 + 0.4e1 / 0.3e1 * t56 * t59 * t2977 + 0.3640e4 / 0.81e2 * t42 / t9 / t1257 * t52 - 0.4480e4 /… in func_pol()
|
| H A D | gga_c_zvpbeint.c | 106 double t1247, t1248, t1251, t1253, t1254, t1255, t1257, t1258; in func_unpol() local
802 t1257 = t462 * t1255 * t213; in func_unpol()
1145 double t1253, t1256, t1257, t1260, t1262, t1263, t1265, t1267; in func_ferr() local
1840 t1257 = t1256 * t82; in func_ferr()
2202 double t1254, t1255, t1257, t1259, t1260, t1263, t1264, t1267; in func_pol() local
3935 t1257 = t308 * t1255 * t941; in func_pol()
3974 …t1347 = t1216 + t1228 + t1253 + t858 - t845 + t849 + t851 + t854 - t841 - t1257 + t1339 + t1342 + … in func_pol()
5286 …t3719 = -t2512 - t843 + t837 - t839 + t3166 + t3167 - t1257 + t1339 + t1342 + t1344 + t1346 + t251… in func_pol()
6029 t4964 = t1384 * t1257; in func_pol()
9414 t16577 = t4087 * t1257; in func_pol()
[all …]
|
| H A D | gga_c_sogga11.c | 92 double t1231, t1232, t1233, t1243, t1244, t1245, t1252, t1257; in func_unpol() local
735 t1257 = t304 * t525; in func_unpol()
740 …* t535 * t1257 - 0.28664952140913520762e-1 * t524 * t1257 - 0.42997428211370281143e-1 * t529 * t12… in func_unpol()
1541 double t1253, t1256, t1257, t1263, t1268, t1271, t1272, t1274; in func_ferr() local
2148 t1257 = t1256 * t438; in func_ferr()
2154 …2 - 0.86287163811169664480e1 * t1253 * t1212 - 0.11504955174822621930e2 * t1257 * t1212 + 0.287623… in func_ferr()
2595 …t1257 * t3239 - 0.41630051982346649230e3 * t1263 * t3860 + 0.20815025991173324615e3 * t459 * t3865… in func_ferr()
2881 double t1251, t1252, t1253, t1255, t1257, t1259, t1260, t1261; in func_pol() local
4685 t1257 = t361 * t1248; in func_pol()
4694 …* t1253 - 0.13901316916666666666e-2 * t1255 + 0.13901316916666666666e-2 * t1257 + 0.41703950750000… in func_pol()
[all …]
|
| H A D | gga_c_pbe_vwn.c | 105 double t1241, t1245, t1249, t1253, t1257, t1261, t1264, t1266; in func_unpol() local
775 t1257 = 0.60995923043525943529e3 / t590 / t252 * t58 / t1253 * t41; in func_unpol()
796 …t1342 = t1240 + t1245 + t1249 - t1257 - t1261 + t1264 - t1266 + t1269 + t1271 + t1273 + t1275 - t1… in func_unpol()
830 …t1652 = t1649 * t179 * params->gamma + t1245 + t1249 - t1257 - t1261 + t1264 - t1266 + t1269 + t12… in func_unpol()
1896 double t1247, t1248, t1249, t1250, t1251, t1253, t1254, t1257; in func_pol() local
3111 t1257 = t5 * t1230; in func_pol()
3112 t1258 = t352 * t1257; in func_pol()
4057 t3164 = t352 * t1257 * t339; in func_pol()
5568 …/ 0.4e1 * t6400 * t352 * t1253 * t891 - t2401 * t352 * t1257 * t891 / 0.4e1 + t890 * t352 * t1257 … in func_pol()
|
| H A D | gga_x_q2d.c | 1053 double t1251, t1254, t1255, t1256, t1257, t1260, t1261, t1262; in func_pol() local
2062 t1257 = t1254 * t1256; in func_pol()
2079 …t1286 = -t1251 / 0.288e3 - t1257 / 0.1728e4 - t1262 - t1264 - t1267 / 0.288e3 - t1082 / 0.864e3 + … in func_pol()
3067 …/ 0.27648e5 - t1241 / 0.192e3 + 0.3e1 / 0.64e2 * t1244 - t1251 / 0.96e2 - t1257 / 0.576e3 - t3319 … in func_pol()
3120 …t3737 = -t1405 / 0.41472e5 + t1244 / 0.32e2 - t1251 / 0.144e3 - t1257 / 0.864e3 - t1261 / 0.216e3 … in func_pol()
|
| /dports/science/buddy/buddy-2.4/examples/bddcalc/examples/ |
| H A D | c3540.cal | 1035 t1257 = not t545;
1036 t1258 = t1149 nand t1257;
1313 t1484 = not t1257;
|
| /dports/math/spot/spot-2.10.2/buddy/examples/bddcalc/examples/ |
| H A D | c3540.cal | 1035 t1257 = not t545;
1036 t1258 = t1149 nand t1257;
1313 t1484 = not t1257;
|
| /dports/math/py-spot/spot-2.10.2/buddy/examples/bddcalc/examples/ |
| H A D | c3540.cal | 1035 t1257 = not t545;
1036 t1258 = t1149 nand t1257;
1313 t1484 = not t1257;
|
| /dports/science/libxc/libxc-5.0.0/src/maple2c/mgga_exc/ |
| H A D | mgga_x_lta.c | 774 double t1217, t1219, t1230, t1231, t1233, t1244, t1250, t1257; in func_pol() local
2093 t1257 = t5 * t7 * t1136; in func_pol()
2100 …t448 + t1250 / 0.9e1 + t474 * t482 * t9 * t132 / 0.3e1 - 0.5e1 / 0.27e2 * t1257 * t102 * t95 * t42… in func_pol()
2146 ….5e1 / 0.3e1 * t237 * t1265 + 0.25e2 / 0.108e3 * t1529 - 0.5e1 / 0.27e2 * t1257 * t102 * t260 * t1… in func_pol()
2185 …* t747 * t78 / 0.6e1 - t200 * t71 * t90 * t648 / 0.2e1 - 0.5e1 / 0.27e2 * t1257 * t102 * t736 * t7… in func_pol()
|
| H A D | mgga_c_b88.c | 2468 double t1257, t1261, t1262, t1263, t1264, t1265, t1266, t1267; in func_pol() local
3960 t1257 = t391 * t299; in func_pol()
3961 …* t1250 - 0.14000000000000000000e0 * t390 * t1254 + 0.14000000000000000000e0 * t1065 * t19 * t1257; in func_pol()
6732 t5386 = t5079 * t1257; in func_pol()
6733 t5389 = t5083 * t1257; in func_pol()
6738 t5402 = t5097 * t1257; in func_pol()
6739 t5405 = t5114 * t1257; in func_pol()
9284 …-1 * t5376 * t5090 * t17532 + 0.17640000000000000000e0 * t5113 * t16439 * t1257 + 0.88200000000000… in func_pol()
9824 …0000000e-1 * t20366 * t5402 - 0.17640000000000000000e0 * t5113 * t20369 * t1257 - 0.17640000000000… in func_pol()
9827 …t1257 + 0.58800000000000000000e-1 * t5122 * t5592 * t18 * t5377 + 0.93101726607664240580e0 * t2048… in func_pol()
[all …]
|
| H A D | hyb_mgga_x_dldf.c | 1136 double t1247, t1248, t1249, t1250, t1252, t1254, t1257, t1260; in func_pol() local
2122 t1257 = t469 * t539; in func_pol()
2126 …* t1254 - 0.59772473348172041231e-1 * t1103 + 0.89658710022258061847e-1 * t1257 - 0.29886236674086… in func_pol()
2211 …34016e0 * t1254 + t1377 + t1381 - t1385 - t1392 + t1399 - t1400 + 0.26897613006677418554e0 * t1257; in func_pol()
3131 …e0 * t862 - 0.17931742004451612369e0 * t1103 + 0.17931742004451612369e0 * t1257 - 0.17931742004451… in func_pol()
3183 …1381 - t1385 - t1392 + t1399 - 0.26897613006677418554e0 * t1103 + 0.53795226013354837108e0 * t1257; in func_pol()
3254 …1 * t1398 - 0.35863484008903224739e0 * t1103 + 0.10759045202670967422e1 * t1257 + t10 * (t3844 + t… in func_pol()
|
| H A D | mgga_x_rlda.c | 965 double t1246, t1251, t1257, t1258, t1261, t1262, t1265, t1267; in func_pol() local
2008 t1257 = my_piecewise3(t55, -0.10e2 * t1180 - 0.100e3 / 0.9e1 * t1186, 0); in func_pol()
2009 t1258 = t155 * t1257; in func_pol()
2905 …282 / 0.6e1 + t973 * t383 * t483 * t9 / 0.2e1 - t3200 / 0.2e1 - t145 * t383 * t1257 * t101 / 0.2e1; in func_pol()
2915 …0.3e1 * t3190 - t3200 - t145 * t279 * t483 * t316 / 0.6e1 - t145 * t383 * t1257 * t118 - t145 * t3… in func_pol()
|
| H A D | mgga_x_gdme.c | 770 double t1247, t1248, t1253, t1254, t1255, t1257, t1259, t1277; in func_pol() local
2095 t1257 = t598 * t53; in func_pol()
2096 t1259 = t249 * t1257 * t575; in func_pol()
2130 t1426 = t249 * t1257 * t644; in func_pol()
|
| H A D | mgga_c_revtpss.c | 3498 t1257 = t152 * t1256; in func_ferr()
10036 t1257 = t1242 * t193; in func_pol()
10037 t1258 = t1257 * t359; in func_pol()
11333 t3927 = t1257 * t939; in func_pol()
11334 t3930 = t1257 * t956; in func_pol()
11625 t4771 = t1257 * t1280; in func_pol()
12150 t5944 = t1257 * t1503; in func_pol()
15091 t12818 = t1257 * t2762; in func_pol()
16286 t16180 = t1257 * t3919; in func_pol()
16287 t16183 = t1257 * t3923; in func_pol()
[all …]
|
| H A D | mgga_x_gvt4.c | 1315 double t1254, t1257, t1260, t1263, t1265, t1267, t1269, t1274; in func_pol() local
2247 t1257 = t567 * t172; in func_pol()
2281 … / 0.3e1 * t1240 + 0.4e1 / 0.9e1 * t1211 * t1254 + 0.8e1 / 0.3e1 * t528 * t1257 + 0.4e1 / 0.3e1 * … in func_pol()
3161 t3047 = t157 * t1257; in func_pol()
3165 …e1 * t1815 * t536 * t2 + 0.32e2 / 0.9e1 * t3047 + 0.8e1 / 0.9e1 * t1211 * t1257 * t158 - 0.8e1 / 0… in func_pol()
|
| H A D | mgga_c_bc95.c | 2080 double t1249, t1250, t1251, t1252, t1254, t1255, t1256, t1257; in func_pol() local
3737 t1257 = t1254 * t1256; in func_pol()
3741 t1261 = t1257 * t1260; in func_pol()
5538 t4112 = t1257 * t4109; in func_pol()
5557 t4139 = t1257 * t4136; in func_pol()
6022 t5057 = t1257 * t4987; in func_pol()
6713 t6108 = t1257 * t6107; in func_pol()
8930 …9 + 0.33504123955609448055e1 * t2461 * t1239 + 0.11912577406438914865e3 * t1257 * t11696 - 0.66666… in func_pol()
8944 …9 + 0.55555555555555555556e1 * t4128 * t4109 - 0.44672165274145930743e2 * t1257 * t11820 - 0.28736… in func_pol()
10120 …t1257 * t19668 - 0.11494669537616311178e4 * t4143 * t19632 - 0.47407407407407407408e2 * t1501 * t1… in func_pol()
[all …]
|
| /dports/science/libxc/libxc-5.0.0/src/maple2c/lda_exc/ |
| H A D | lda_xc_bn05.c | 819 double t1253, t1257, t1260, t1262, t1264, t1266, t1267, t1268; in func_pol() local
1762 …t1257 = (0.4e1 / 0.9e1 * t1244 * t178 + 0.8e1 / 0.3e1 * t1247 * t575 + 0.4e1 / 0.9e1 * t1250 * t25… in func_pol()
1765 t1264 = t1257 * t161; in func_pol()
1770 …t1271 = -t932 - 0.18311447306006545054e-3 * t934 + t946 + 0.19751673498613801407e-1 * t1257 * t159… in func_pol()
2314 t2596 = t1257 * t149; in func_pol()
2322 t2614 = t1257 * t400; in func_pol()
2337 t2657 = t1257 * t1; in func_pol()
3748 t7908 = t1257 * t4 * t948; in func_pol()
3766 t7939 = t129 * t1257 * t1048; in func_pol()
|
| H A D | lda_c_vwn_2.c | 799 double t1247, t1248, t1249, t1251, t1252, t1256, t1257, t1258; in func_pol() local
1581 t1257 = t1256 * t164; in func_pol()
1582 t1258 = t1257 * t464; in func_pol()
2209 …575777171980e-3 * t728 * t267 * t462 * t470 + 0.13427036575676637972e-1 * t1257 * t2370 * t2374 * … in func_pol()
|
| H A D | lda_c_vwn_3.c | 813 double t1243, t1244, t1247, t1250, t1252, t1256, t1257, t1260; in func_pol() local
1764 t1257 = t572 * t376; in func_pol()
1767 … * t1247 * t567 + 0.4e1 / 0.3e1 * t117 * t1252 - 0.8e1 / 0.27e2 * t1256 * t1257 + 0.4e1 / 0.3e1 * … in func_pol()
2833 … / 0.3e1 * t2274 * t564 * t567 + t4874 + 0.40e2 / 0.81e2 * t3856 * t410 * t1257 - 0.8e1 / 0.9e1 * … in func_pol()
|
| /dports/science/PETSc/petsc-3.14.1/src/snes/tutorials/ |
| H A D | ex69.c | 804 …PetscReal t1241,t1242,t1243,t1244,t1245,t1248,t1251,t1252,t1257,t1258,t1259,t1260,t1263,t1268,t126… in SolCxSolution() local
2004 t1257 = t23 * t1; in SolCxSolution()
2005 t1258 = t1240 * t1257; in SolCxSolution()
2034 t1354 = t1268 * t1257; in SolCxSolution()
2039 t1387 = t1257 * t12; in SolCxSolution()
2045 …1 * t1366 * t1244 * t1242 - 0.16e2 * t1269 * t134 * t39 + 0.8e1 * t1268 * t1257 * t72 * xc + 0.16e… in SolCxSolution()
|
| /dports/science/libxc/libxc-5.0.0/src/maple2c/mgga_vxc/ |
| H A D | mgga_x_2d_prp10.c | 691 double t1256, t1257, t1258, t1262, t1276, t1282, t1283, t1286; in func_ferr() local
1180 t1257 = t1091 / 0.2e1; in func_ferr()
1181 …t1258 = t1244 + t253 + t1082 * t77 * t221 / 0.4e1 + t1249 + t1251 - t1253 - t1255 + t1256 - t1257 … in func_ferr()
1192 …t1318 = t1256 - t1257 + t1308 + t1172 - t1175 - t1178 - t266 - t1282 + 0.3e1 / 0.4e1 * t334 * t459… in func_ferr()
|