if (!isset($file)) { $file = "puc"; } if (!file_exists("./$file/init.php3")) { header("Location: /"); } else { include("./$file/init.php3"); } include("posizioni.php3"); init(); $path = "/carta/raster"; if ($livello == "") { $livello = 0; $quadrante = 0; $action = "zoomin"; $x = 0; $y = 0; } if (isset($pos_x)) { $k = 1; for ($i=0;$i<$livello;$i++) { $k = $k*2; } $n = $k*2-1; $ml = $k/floor($dx/$sx); $m1 = $dx/floor($dx*$ml); $m2 = $dy/floor($dy*$ml); $dx1 = floor($sx/2)*$m1; $dy1 = floor($sy/2)*$m2; # $dx1 = $dx/$k; # $dy1 = $dy/$k; # $m1 = $dx1/$sx; # $m2 = $dy1/$sy; $y1 = floor($quadrante/$n); $x1 = $quadrante-$y1*$n; $x = floor(($x0+$x1*$dx1+$m1*$pos_x)*10)/10; $y = floor(($y0-$y1*$dy1-$m2*$pos_y)*10)/10; switch ($action) { case("zoomin"): if ($livello<$liv_max-1) { ZoomIn($pos_x,$pos_y); } else { $action = "pan"; Pan($pos_x,$pos_y); } break; case("zoomout"): if ($livello>0) { ZoomOut($pos_x,$pos_y); } break; case("pan"): Pan($pos_x,$pos_y); break; case("info"): break; } } echo "\n"; echo "\n"; echo "
\n