<?php
			if(isset($_GET['langue'])){
				$langue = $_GET['langue'];
			}
			else{
				$lan = explode(',',$_SERVER['HTTP_ACCEPT_LANGUAGE']);
				$langue=strtolower(substr(chop($lan[0]),0,2));
			}
			if ($langue != 'fr'){
				$langue = 'en';	
			}
			if(isset($_GET['langue'])){
				$lien='?langue='.$langue;
			}
			else{
				$lien='';
			}
			$nompage="recherche";
?>

<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="<?php echo $langue; ?>" lang="<?php echo $langue;?>">
    <head>
        <title>Pierre Lezowski - euclid</title>
        <meta http-equiv="Content-Type" content="text/html; charset=utf-8" />
		<link rel="stylesheet" media="screen" type="text/css" title="Style" href="../style.css" />
    </head>
    <body>
		<?php include("../php/menu.php"); ?>
		<div id="corps">
		<h3>
			euclid
		</h3>
		<h4>Introduction</h4>
		<div>
			<?php echo ($langue == 'fr') ? "euclid est un programme écrit en C pour calculer le minimum euclidien d'un 
			corps de nombres. Il est disponible sous la licence <a href =\"http://www.gnu.org/licenses/gpl.html\">GPL</a> (version 2 de la licence, ou, selon votre choix, toute version ultérieure)." : "euclid is a C program to compute the Euclidean
			minimum of a number field. It is released under GNU's <a href =\"http://www.gnu.org/licenses/gpl.html\">General Public License</a> 
			(GPL for short) as 
			published by the Free Software Foundation, either version 2 of the License, or (at your option) any later version.";?>		
		</div>
		<h4><?php echo ($langue == 'fr') ? "Téléchargement" : "Download" ?></h4>
		<div>
			<ul>
				<li><a href="version-1.0/euclid-1.0.tar.xz">version 1.0</a></li>
				<li><?php echo ($langue == 'fr') ? "optionnel : <a href=\"table/table_euc.db.tar.xz\">base de données</a> de corps de nombres
				 à extraire dans le dossier <code>db</code>." : 
				"optional: number field <a href=\"table/table_euc.db.tar.xz\">database</a> to extract in the <code>db</code> folder."?></li>
			</ul>
		</div>
		<h4>Installation</h4>
		<div>
			<?php echo ($langue == 'fr') ? "euclid nécessite la bibliothèque <a href=\"http://pari.math.u-bordeaux.fr/\">pari</a>." : 
			"euclid relies on the <a href=\"http://pari.math.u-bordeaux.fr/\">pari</a> library." ?>
			
			<?php echo ($langue == 'fr') ? "Dans le dossier où vous avez téléchargé le fichier, tapez les instructions suivantes :" :
			"In the folder where the archive was downloaded, type the following instructions:" ?>
			<ul>
					<li> <code>tar xvf euclid-1.0.tar.xz</code></li>
					<li> <code>cd euclid-1.0</code></li>
					<li> <code>make</code></li>
			</ul>
      	
      	
		</div>
		<h4>Applications</h4>
		<div>
			<ul>
				<li>		<?php echo ($langue == 'fr') ? "Vous pouvez taper <code>./euclid</code> pour obtenir le minimum euclidien d'un corps
							de nombres donné par un polynôme. Vous pouvez aussi taper <code>./euclid \"x^2-61\"</code> 
							ou <code>./euclid [1,0,-61]</code> directement." :
							"You can now run <code>./euclid</code> to obtain the Euclidean minimum of a number field given by a
   						polynomial. You can also type 
   			         <code>./euclid \"x^2-61\"</code> or <code>./euclid [1,0,-61]</code>
							directly." ?>
   			</li>
   			<li>
   						<?php echo ($langue == 'fr') ? "D'autres options (l'utilisation de openmp et sqlite) sont décrites dans le 
   						fichier <code>INSTALL</code>." :
   						"Further options (use of openmp and sqlite) are described in the <code>INSTALL</code> file." ?>		
   			</li>
			</ul>
		</div>
		
		<?php include("../php/footer.php"); ?>
		</div>
		
	</body>
</html>
