| /dports/graphics/opengv/opengv-91f4b19/src/relative_pose/modules/fivept_stewenius/ |
| H A D | modules.cpp | 46 double e202,e212,e222,e232,e242,e252,e262,e272,e282; in composeA() local
109 e242 =e24*e24; in composeA()
173 …e14-e20*e25*e15-e20*e27*e17-e20*e28*e18-0.5*e10*e272-0.5*e10*e282-0.5*e10*e242-0.5*e10*e252+0.5*e1… in composeA()
174 …3*e21*e24+0.5*e20*e262+e26*e22*e28+e26*e21*e27-0.5*e20*e252-0.5*e20*e272-0.5*e20*e282-0.5*e20*e242; in composeA()
194 …A(1,9)=0.5*e202*e23+e20*e22*e25+e20*e21*e24+0.5*e233+0.5*e23*e242+0.5*e23*e252+0.5*e23*e262+e26*e2… in composeA()
214 …e23*e25*e28+0.5*e263+0.5*e26*e272+0.5*e26*e282-0.5*e26*e222-0.5*e26*e212-0.5*e26*e252-0.5*e26*e242; in composeA()
234 …A(3,9)=0.5*e21*e202+0.5*e213+0.5*e21*e222+e24*e20*e23+0.5*e21*e242+e24*e22*e25+e27*e20*e26+0.5*e21… in composeA()
274 …A(5,9)=e21*e20*e26+0.5*e212*e27+e21*e22*e28+e24*e23*e26+0.5*e242*e27+e24*e25*e28+0.5*e27*e262+0.5*… in composeA()
294 …*e22*e252+e28*e20*e26+e28*e21*e27+0.5*e22*e282-0.5*e22*e232-0.5*e22*e262-0.5*e22*e242-0.5*e22*e272; in composeA()
314 …A(7,9)=e22*e20*e23+0.5*e222*e25+e22*e21*e24+0.5*e25*e232+0.5*e253+0.5*e25*e242+e28*e23*e26+0.5*e25… in composeA()
[all …]
|
| /dports/graphics/opengv/opengv-91f4b19/src/relative_pose/modules/fivept_nister/ |
| H A D | modules.cpp | 50 double e202,e212,e222,e232,e242,e252,e262,e272,e282; in composeA() local
113 e242 =e24*e24; in composeA()
199 …A(1,10)=3*e00*e202+e00*e212+e00*e222+e00*e232-e00*e242-e00*e252+e00*e262-e00*e272-e00*e282+2*e01*e… in composeA()
205 …A(1,16)=e203+e20*e212+e20*e222+e20*e232-e20*e242-e20*e252+e20*e262-e20*e272-e20*e282+2*e21*e23*e24… in composeA()
225 …A(2,16)=e202*e23+2*e20*e21*e24+2*e20*e22*e25-e212*e23-e222*e23+e233+e23*e242+e23*e252+e23*e262-e23… in composeA()
245 …*e27+2*e20*e22*e28-e212*e26-e222*e26+e232*e26+2*e23*e24*e27+2*e23*e25*e28-e242*e26-e252*e26+e263+e… in composeA()
265 …A(4,16)=e202*e21+2*e20*e23*e24+2*e20*e26*e27+e213+e21*e222-e21*e232+e21*e242-e21*e252-e21*e262+e21… in composeA()
305 …A(6,16)=-e202*e27+2*e20*e21*e26+e212*e27+2*e21*e22*e28-e222*e27-e232*e27+2*e23*e24*e26+e242*e27+2*… in composeA()
325 …*e25+2*e20*e26*e28+e212*e22+2*e21*e24*e25+2*e21*e27*e28+e223-e22*e232-e22*e242+e22*e252-e22*e262-e… in composeA()
345 …A(8,16)=-e202*e25+2*e20*e22*e23-e212*e25+2*e21*e22*e24+e222*e25+e232*e25+2*e23*e26*e28+e242*e25+2*… in composeA()
[all …]
|
| /dports/devel/R-cran-BH/BH/inst/include/boost/preprocessor/variadic/limits/ |
| H A D | size_256.hpp | 48 …, e230, e231, e232, e233, e234, e235, e236, e237, e238, e239, e240, e241, e242, e243, e244, e245, … argument
|
| /dports/math/stanmath/math-4.2.0/lib/boost_1.75.0/boost/preprocessor/variadic/limits/ |
| H A D | size_256.hpp | 48 …, e230, e231, e232, e233, e234, e235, e236, e237, e238, e239, e240, e241, e242, e243, e244, e245, … argument
|
| /dports/science/py-scipy/scipy-1.7.1/scipy/_lib/boost/boost/preprocessor/variadic/limits/ |
| H A D | size_256.hpp | 48 …, e230, e231, e232, e233, e234, e235, e236, e237, e238, e239, e240, e241, e242, e243, e244, e245, … argument
|
| /dports/lang/fpc-source/fpc-3.2.2/tests/webtbf/ |
| H A D | tw10890a.pp | 63 e240, e241, e242, e243, e244, e245, e246, e247, e248, e249,
|
| /dports/devel/hyperscan/boost_1_75_0/boost/preprocessor/variadic/limits/ |
| H A D | size_256.hpp | 48 …, e230, e231, e232, e233, e234, e235, e236, e237, e238, e239, e240, e241, e242, e243, e244, e245, … argument
|
| /dports/math/cvc4/CVC4-1.7/test/regress/regress0/bv/ |
| H A D | fuzz25.smt | 247 (flet ($e242 (bvugt ?e46 v1))
285 (or $e242 $e79 (not $e92))
299 (or $e242 (not $e202) (not $e196))
317 (or $e100 (not $e191) (not $e242))
|
| H A D | fuzz05.smt | 247 (flet ($e242 (not $e238))
255 (flet ($e250 (iff $e244 $e242))
|
| H A D | fuzz15.smt | 247 (let (?e242 (repeat[12] ?e152))
375 (flet ($e370 (bvsle ?e284 (zero_extend[1] ?e242)))
428 (flet ($e423 (bvult ?e242 (sign_extend[4] ?e59)))
431 (flet ($e426 (bvuge (sign_extend[11] ?e350) ?e242))
626 (flet ($e621 (bvslt ?e154 (sign_extend[4] ?e242)))
797 (flet ($e792 (bvslt v4 ?e242))
995 (flet ($e990 (bvsge ?e84 (sign_extend[3] ?e242)))
1082 (flet ($e1077 (bvsgt ?e242 (zero_extend[11] ?e30)))
1178 (flet ($e1173 (bvsgt ?e242 (zero_extend[2] ?e52)))
1323 (flet ($e1318 (bvule ?e242 (sign_extend[7] ?e218)))
|
| H A D | fuzz09.smt | 247 (flet ($e242 (implies $e73 $e226))
283 (flet ($e278 (if_then_else $e242 $e258 $e247))
|
| /dports/math/yices/yices-2.6.2/tests/regress/mantis/ |
| H A D | 0005.c.smt2 | 248 (let ((e242 (not e239)))
249 (let ((e243 (and e242 e240)))
|
| H A D | 0006.smt2 | 248 (let ((e242 (ite e127 e225 e59)))
267 (let ((e261 (ite e214 e250 e242)))
|
| /dports/math/cvc4/CVC4-1.7/test/regress/regress0/arrays/ |
| H A D | incorrect6.smt | 247 (flet ($e242 (or $e237 $e238))
250 (flet ($e245 (if_then_else $e239 $e242 $e244))
|
| H A D | incorrect10.smt | 249 (flet ($e242 (if_then_else $e234 $e212 $e149))
250 (flet ($e243 (or $e115 $e242))
|
| H A D | incorrect5.smt | 247 (flet ($e242 (if_then_else $e236 $e97 $e227))
265 (flet ($e260 (implies $e239 $e242))
|
| H A D | bug272.smt | 247 (flet ($e242 (if_then_else $e220 $e170 $e205))
257 (flet ($e252 (xor $e221 $e242))
|
| H A D | incorrect2.smt | 247 (flet ($e242 (not $e227))
268 (flet ($e263 (implies $e260 $e242))
|
| /dports/math/cvc4/CVC4-1.7/test/regress/regress0/uflra/ |
| H A D | fuzz01.smt | 250 (flet ($e242 (not $e240))
252 (flet ($e244 (if_then_else $e243 $e242 $e243))
|
| /dports/math/cvc4/CVC4-1.7/test/regress/regress1/sets/ |
| H A D | fuzz15201.smt2 | 255 (let ((e242 (xor e44 e237)))
256 (let ((e243 (= e236 e242)))
|
| /dports/math/cvc4/CVC4-1.7/test/regress/regress2/ |
| H A D | bug136.smt | 247 (let (?e242 (ite $e82 ?e225 ?e196))
273 (let (?e268 (ite $e112 ?e206 ?e242))
293 (flet ($e288 (<= ?e242 ?e158))
364 (flet ($e359 (<= ?e242 ?e190))
493 (flet ($e488 (= ?e242 ?e245))
615 (flet ($e610 (<= ?e245 ?e242))
|
| H A D | auflia-fuzz06.smt | 251 (flet ($e242 (and $e190 $e225))
279 (flet ($e270 (not $e242))
|
| /dports/devel/arm-elf-binutils/binutils-2.37/gas/testsuite/gas/arm/ |
| H A D | mve-vhadd-vhsub-vrhadd.d | 633 [^>]*> ff00 e242 vhsub.u8 q7, q0, q1
664 [^>]*> ff02 e242 vhsub.u8 q7, q1, q1
695 [^>]*> ff04 e242 vhsub.u8 q7, q2, q1
726 [^>]*> ff08 e242 vhsub.u8 q7, q4, q1
757 [^>]*> ff0e e242 vhsub.u8 q7, q7, q1
1408 [^>]*> ef00 e242 vhsub.s8 q7, q0, q1
1439 [^>]*> ef02 e242 vhsub.s8 q7, q1, q1
1470 [^>]*> ef04 e242 vhsub.s8 q7, q2, q1
1501 [^>]*> ef08 e242 vhsub.s8 q7, q4, q1
1532 [^>]*> ef0e e242 vhsub.s8 q7, q7, q1
[all …]
|
| /dports/devel/gnulibiberty/binutils-2.37/gas/testsuite/gas/arm/ |
| H A D | mve-vhadd-vhsub-vrhadd.d | 633 [^>]*> ff00 e242 vhsub.u8 q7, q0, q1
664 [^>]*> ff02 e242 vhsub.u8 q7, q1, q1
695 [^>]*> ff04 e242 vhsub.u8 q7, q2, q1
726 [^>]*> ff08 e242 vhsub.u8 q7, q4, q1
757 [^>]*> ff0e e242 vhsub.u8 q7, q7, q1
1408 [^>]*> ef00 e242 vhsub.s8 q7, q0, q1
1439 [^>]*> ef02 e242 vhsub.s8 q7, q1, q1
1470 [^>]*> ef04 e242 vhsub.s8 q7, q2, q1
1501 [^>]*> ef08 e242 vhsub.s8 q7, q4, q1
1532 [^>]*> ef0e e242 vhsub.s8 q7, q7, q1
[all …]
|
| /dports/devel/binutils/binutils-2.37/gas/testsuite/gas/arm/ |
| H A D | mve-vhadd-vhsub-vrhadd.d | 633 [^>]*> ff00 e242 vhsub.u8 q7, q0, q1
664 [^>]*> ff02 e242 vhsub.u8 q7, q1, q1
695 [^>]*> ff04 e242 vhsub.u8 q7, q2, q1
726 [^>]*> ff08 e242 vhsub.u8 q7, q4, q1
757 [^>]*> ff0e e242 vhsub.u8 q7, q7, q1
1408 [^>]*> ef00 e242 vhsub.s8 q7, q0, q1
1439 [^>]*> ef02 e242 vhsub.s8 q7, q1, q1
1470 [^>]*> ef04 e242 vhsub.s8 q7, q2, q1
1501 [^>]*> ef08 e242 vhsub.s8 q7, q4, q1
1532 [^>]*> ef0e e242 vhsub.s8 q7, q7, q1
[all …]
|