/dports/graphics/opengv/opengv-91f4b19/src/relative_pose/modules/fivept_stewenius/ |
H A D | modules.cpp | 47 double e302,e312,e322,e332,e342,e352,e362,e372,e382; in composeA() local 106 e332 =e33*e33; in composeA() 181 …2*e08+e36*e02*e38-e30*e34*e04-e30*e37*e07-e30*e35*e05-e30*e38*e08+0.5*e00*e332+0.5*e00*e362-0.5*e0… in composeA() 184 …A(0,19)=0.5*e303+0.5*e30*e312+0.5*e30*e322+0.5*e30*e332+e33*e31*e34+e33*e32*e35+0.5*e30*e362+e36*e… in composeA() 224 …A(2,19)=0.5*e302*e36+e30*e32*e38+e30*e31*e37+0.5*e332*e36+e33*e35*e38+e33*e34*e37+0.5*e363+0.5*e36… in composeA() 244 …*e31*e342+e37*e30*e36+e37*e32*e38+0.5*e31*e372-0.5*e31*e352-0.5*e31*e362-0.5*e31*e332-0.5*e31*e382; in composeA() 264 …A(4,19)=e31*e30*e33+e31*e32*e35+0.5*e312*e34+0.5*e34*e332+0.5*e34*e352+0.5*e343+e37*e33*e36+e37*e3… in composeA() 284 ….5*e342*e37+0.5*e37*e362+0.5*e37*e382+0.5*e373-0.5*e37*e302-0.5*e37*e352-0.5*e37*e322-0.5*e37*e332; in composeA() 304 …5*e31*e34+e38*e30*e36+0.5*e32*e382+e38*e31*e37-0.5*e32*e342-0.5*e32*e362-0.5*e32*e332-0.5*e32*e372; in composeA() 324 …A(7,19)=e32*e30*e33+e32*e31*e34+0.5*e322*e35+0.5*e35*e332+0.5*e35*e342+0.5*e353+e38*e33*e36+e38*e3… in composeA() [all …]
|
/dports/graphics/opengv/opengv-91f4b19/src/relative_pose/modules/fivept_nister/ |
H A D | modules.cpp | 51 double e302,e312,e322,e332,e342,e352,e362,e372,e382; in composeA() local 110 e332 =e33*e33; in composeA() 201 …A(1,12)=3*e00*e302+e00*e312+e00*e322+e00*e332-e00*e342-e00*e352+e00*e362-e00*e372-e00*e382+2*e01*e… in composeA() 208 …A(1,19)=e303+e30*e312+e30*e322+e30*e332-e30*e342-e30*e352+e30*e362-e30*e372-e30*e382+2*e31*e33*e34… in composeA() 248 …A(3,19)=e302*e36+2*e30*e31*e37+2*e30*e32*e38-e312*e36-e322*e36+e332*e36+2*e33*e34*e37+2*e33*e35*e3… in composeA() 268 …A(4,19)=e302*e31+2*e30*e33*e34+2*e30*e36*e37+e313+e31*e322-e31*e332+e31*e342-e31*e352-e31*e362+e31… in composeA() 288 …A(5,19)=-e302*e34+2*e30*e31*e33+e312*e34+2*e31*e32*e35-e322*e34+e332*e34+2*e33*e36*e37+e343+e34*e3… in composeA() 308 …A(6,19)=-e302*e37+2*e30*e31*e36+e312*e37+2*e31*e32*e38-e322*e37-e332*e37+2*e33*e34*e36+e342*e37+2*… in composeA() 328 …A(7,19)=e302*e32+2*e30*e33*e35+2*e30*e36*e38+e312*e32+2*e31*e34*e35+2*e31*e37*e38+e323-e32*e332-e3… in composeA() 348 …A(8,19)=-e302*e35+2*e30*e32*e33-e312*e35+2*e31*e32*e34+e322*e35+e332*e35+2*e33*e36*e38+e342*e35+2*… in composeA() [all …]
|
/dports/lang/spidermonkey78/firefox-78.9.0/xpcom/components/ |
H A D | nsIServiceManager.idl | 22 [scriptable, uuid(8bb35ed9-e332-462d-9155-4a002ab5c958)]
|
/dports/lang/spidermonkey60/firefox-60.9.0/xpcom/components/ |
H A D | nsIServiceManager.idl | 22 [scriptable, uuid(8bb35ed9-e332-462d-9155-4a002ab5c958)]
|
/dports/www/firefox-legacy/firefox-52.8.0esr/xpcom/components/ |
H A D | nsIServiceManager.idl | 22 [scriptable, uuid(8bb35ed9-e332-462d-9155-4a002ab5c958)]
|
/dports/mail/thunderbird/thunderbird-91.8.0/xpcom/components/ |
H A D | nsIServiceManager.idl | 22 [scriptable, uuid(8bb35ed9-e332-462d-9155-4a002ab5c958)]
|
/dports/www/firefox/firefox-99.0/xpcom/components/ |
H A D | nsIServiceManager.idl | 22 [scriptable, uuid(8bb35ed9-e332-462d-9155-4a002ab5c958)]
|
/dports/www/firefox-esr/firefox-91.8.0/xpcom/components/ |
H A D | nsIServiceManager.idl | 22 [scriptable, uuid(8bb35ed9-e332-462d-9155-4a002ab5c958)]
|
/dports/math/cvc4/CVC4-1.7/test/regress/regress2/ |
H A D | auflia-fuzz06.smt | 341 (flet ($e332 (not $e328)) 342 (flet ($e333 (implies $e332 $e332))
|
/dports/lang/ruby26/ruby-2.6.9/enc/trans/ |
H A D | gb18030.trans | 58 ["e332{81-99}{30-39}", :func_so],
|
/dports/math/cvc4/CVC4-1.7/test/regress/regress0/arrays/ |
H A D | incorrect2.smt | 337 (flet ($e332 (or $e326 $e318)) 340 (flet ($e335 (iff $e334 $e332))
|
H A D | incorrect3.smt | 337 (flet ($e332 (implies $e246 $e132)) 411 (flet ($e406 (and $e380 $e332))
|
H A D | incorrect8.smt | 337 (flet ($e332 (or $e33 $e254)) 366 (flet ($e361 (not $e332))
|
/dports/math/cvc4/CVC4-1.7/test/regress/regress0/bv/ |
H A D | fuzz09.smt | 337 (flet ($e332 (or $e219 $e92)) 355 (flet ($e350 (not $e332))
|
H A D | fuzz07.smt | 337 (flet ($e332 (if_then_else $e225 $e269 $e328)) 365 (flet ($e360 (xor $e332 $e315))
|
/dports/math/yices/yices-2.6.2/tests/regress/mantis/ |
H A D | 0005.d.smt2 | 338 (let ((e332 (=> e209 e173))) 346 (let ((e340 (ite e316 e305 e332)))
|
H A D | 0032.smt2 | 338 (let ((e332 (=> e142 e316))) 361 (let ((e355 (=> e325 e332)))
|
H A D | 0003.smt2 | 338 (let ((e332 (<= e87 e71))) 381 (let ((e375 (and e332 e372)))
|
/dports/math/cvc4/CVC4-1.7/test/regress/regress0/arith/ |
H A D | incorrect1.smt | 337 (flet ($e332 (xor $e279 $e165)) 357 (flet ($e352 (or $e332 $e88))
|
/dports/math/cvc4/CVC4-1.7/test/regress/regress0/aufbv/ |
H A D | fuzz01.smt | 337 (flet ($e332 (and $e180 $e315)) 339 (flet ($e334 (implies $e332 $e325))
|
H A D | fuzz02.smt | 337 (flet ($e332 (iff $e318 $e279)) 363 (flet ($e358 (implies $e332 $e162))
|
/dports/math/cvc4/CVC4-1.7/test/regress/regress0/decision/ |
H A D | aufbv-fuzz01.smt | 340 (flet ($e332 (and $e180 $e315)) 342 (flet ($e334 (implies $e332 $e325))
|
/dports/math/cvc4/CVC4-1.7/test/regress/regress3/ |
H A D | incorrect1.smt | 340 (let (?e332 (ite $e98 ?e240 ?e301)) 428 (let (?e420 (ite $e207 ?e332 ?e304)) 533 (flet ($e525 (< ?e356 ?e332)) 818 (flet ($e810 (<= ?e39 ?e332)) 843 (flet ($e835 (<= ?e254 ?e332)) 986 (flet ($e978 (>= ?e332 ?e363)) 1031 (flet ($e1023 (>= ?e332 ?e342)) 1126 (flet ($e1118 (<= ?e336 ?e332)) 1222 (flet ($e1214 (> ?e332 ?e407)) 1270 (flet ($e1262 (< ?e395 ?e332)) [all …]
|
H A D | incorrect2.smt | 340 (let (?e332 (ite $e98 ?e240 ?e301)) 428 (let (?e420 (ite $e207 ?e332 ?e304)) 533 (flet ($e525 (< ?e356 ?e332)) 818 (flet ($e810 (<= ?e39 ?e332)) 843 (flet ($e835 (<= ?e254 ?e332)) 986 (flet ($e978 (>= ?e332 ?e363)) 1031 (flet ($e1023 (>= ?e332 ?e342)) 1126 (flet ($e1118 (<= ?e336 ?e332)) 1222 (flet ($e1214 (> ?e332 ?e407)) 1270 (flet ($e1262 (< ?e395 ?e332)) [all …]
|
/dports/math/cvc4/CVC4-1.7/test/regress/regress0/auflia/ |
H A D | fuzz-error232.smt | 349 (flet ($e332 (not $e225)) 361 (flet ($e344 (implies $e332 $e182))
|