Index: approxBasisSollya/notes.html
===================================================================
--- approxBasisSollya/notes.html	(revision 0)
+++ approxBasisSollya/notes.html	(revision 290)
@@ -0,0 +1,338 @@
+<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
+<html lang="en-US">
+  <head>
+    <meta http-equiv="content-type" content="text/html; charset=iso-8859-1">
+    <style type="text/css">
+/* Mise à jour 2015-04-25 */
+/* La police proportionnelle de base est une Helvetica de 10 */
+/* La police fixe de base est une Courrier de 10 */
+/** Corps */
+body           {background-color: #FFFFFF;
+                font-family : helvetica, arial, sans-serif;
+                font-size : 10pt;
+                font-weight : normal;
+                font-style : normal}
+/*
+*/
+/** Page de couverture */
+/*
+          ---------------------------------------------------------------
+          /                   ------------------------------------
+          / table.coverHeader | td.coverHeaderLeft / td.coverHeaderRight |
+          /                   ------------------------------------
+          /
+          /                    ------------------------------------
+          /                    /                                  /
+div.cover /                    /              p.coverTitle        /
+          /                    /                                  /
+          / div.coverTitle     ------------------------------------
+          /                    /                                  /
+          /                    /              p.coverSubTitle     /
+          /                    /                                  /
+          /                    ------------------------------------
+          ---------------------------------------------------------------
+
+*/
+@media print   {div.cover {page-break-after:always}
+                div.coverTitle {top : 250pt}}
+div.cover      {margin-bottom : 100pt;
+                text-align : center;}
+table.coverHeader {position : relative;
+                top : 0;
+                width : 90%;
+                font-size: 12pt; 
+                font-family : helvetica, arial, sans-serif;
+                font-weight: bold}
+table.coverHeader td.coverHeaderLeft  {text-align : left}
+table.coverHeader td.coverHeaderRight {text-align : right}
+div.coverTitle {position : relative; 
+                margin-top : 100pt;
+                text-align : center;
+                border : solid ;
+                margin-left : 20%;
+                margin-right : 20%}
+/* Voir h1 */
+p.coverTitle   {text-align : center ; 
+                font-size : 20pt ; 
+                font-weight : bold ; 
+                font-family : helvetica, arial, sans-serif;
+                text-indent : 0pt}
+p.coverSubTitle{text-align : center ;
+                font-size : 16pt ;
+                font-weight : normal; 
+                font-family : helvetica , arial , sans-serif;
+                margin-top : 30pt;
+                text-indent : 0pt}
+/* Éléments "en ligne" */
+abbr           {font-family : helvetica, arial, sans-serif;
+                font-style : normal;
+                font-weight : bold}
+/* Identique à <abbr> */
+acronym        {font-family : helvetica, arial, sans-serif;
+                font-style : normal;
+                font-weight : bold}
+address        {font-family : helvetica, arial, sans-serif;
+                font-style : italic;
+                margin-left : 20pt;
+                margin-right : 20pt}
+blocquote      {font-family : helvetica, arial, sans-serif;
+                font-style : italic;
+                margin-left : 20pt;
+                margin-right : 20pt} 
+cite           {font-family : helvetica, arial, sans-serif;
+                font-style : italic;
+                font-weight : normal}
+/* À utiliser dans une division de code pour les marges et dans un élément 
+   pre pour préserver l'indentation) : div.code->pre->code. */
+code           {font-family : courier, monospace;
+                font-style : normal;
+                font-weight : normal}
+div.code       {margin-left : 30pt;
+                margin-right : 30pt;
+                background-color : lightgray}
+del            {text-decoration : line-through}
+dfn            {font-family: helvetica, arial, sans-serif;
+                font-style: italic;
+                font-weight: normal}
+ins            {text-decoration : none;
+                background-color : #FFFF00}
+kbd            {font-family : times, serif;
+                font-style : italic;
+                font-weight : normal}
+pre            {}
+/* À travailler pour éviter les guillemets anglo-saxons. */
+q              {}
+/* On introduit un élément div.samp pour ajouter le retrait */
+samp           {font-family : courier, monospace;
+                font-style : normal;
+                font-weight : normal}
+div.samp       {margin-left : 30pt;
+                margin-right : 30pt}
+strong         {font-weight  : bold}
+var            {font-family : courier, monospace;
+                font-style : italic;
+                font-weight: normal}
+/* Span spécialisés. */
+/* Mot ou expression étrangère */
+span.foreign {font-style : italic}
+/* Éléments de langage :
+   - nom de commande ou de programme ;
+   - nom de variable, de fonction, de classe, de module ;
+   - propriété, paramètre, valeur, champ, objet, nom de balise ;
+   - nom de clé de registre ;
+   - mot-clé d'un langage ;
+   . */
+span.langElem {font-family : helvetica, arial, sans-serif;
+               font-style : normal;
+               font-weight : bold}
+/* Répertoires, fichiers, extensions de fichier (e. g. .jpeg) */
+span.pathfile  {font-family: courier, monospace;
+                font-style : italic;
+                font-weight: normal}
+span.urlAddress{font-family : courier monospace;
+                font-style : italic;
+                font-weight : bold }
+/* Éléments "bloc" */
+h1             {text-align : center ; 
+                font-size : 20pt ; 
+                font-weight : bold ; 
+                font-family : helvetica, arial, sans-serif}
+h2             {font-size : 16pt ; 
+                font-weight : bold ;
+                font-family : helvetica, arial, sans-serif}
+h3             {font-size: 14pt ; 
+                font-weight : normal;
+                font-family : helvetica, arial, sans-serif;
+                margin-left : 10pt}
+h4             {font-size : 12pt; 
+                font-family : helvetica, arial , sans-serif;
+                font-weight: normal;
+                margin-left : 15pt}
+h5             {font-size : 12pt ;
+                font-family : helvetica, arial, sans-serif;
+                font-weight : normal;
+                font-style : italic; 
+                margin-left : 15pt}
+h6             {font-size : 10pt;
+                font-family : helvetica, arial, sans-serif;
+                font-size : 8pt;
+                font-weight : bold;
+                font-style : normal; 
+                margin-left : 15pt;
+                text-align : right}
+p              {font-size : 10pt; 
+                font-family : helvetica, arial, sans-serif;
+                margin-left : 20pt;
+                margin-right : 20pt;
+                text-align : justify ;
+                text-indent : 2em}
+/* Listes */
+ul             {font-size: 10pt;
+                font-family: helvetica, arial, sans-serif;
+                text-align: justify;
+                margin-left: 20pt;
+                margin-right: 20pt}
+ol             {font-size: 10pt;
+                font-family: helvetica, arial, sans-serif;
+                text-align: justify;
+                margin-left: 20pt;
+                margin-right: 20pt}
+dl             {font-size: 10pt; 
+                font-family: helvetica, arial, sans-serif;
+                margin-left: 20pt;
+                margin-right: 20pt}
+dl dt          {font-weight: bold}
+dd             {font-size: 10pt; 
+                font-family: helvetica, arial, sans-serif;
+                text-align: justify;
+                margin-left: 10pt}
+/* Tableaux */
+p.tableCaption {text-align : center ;
+                font-size : 12pt ; 
+                font-weight : bold ; 
+                font-family : helvetica, arial, sans-serif;
+                text-ident : 0pt }
+table          {margin-left: 20pt;
+                margin-right: 20pt}
+/* Deux options pour les cellules titres : soit un élément en-tête (avec
+   ligne et cellules), soit des éléments cellule en-tête. */
+thead tr td    {text-align: center;
+                text-indent : 0pt;
+                font-size: 10pt;
+                font-family: helvetica, arial, sans-serif;
+                font-weight: bold}
+th             {text-align: center;
+                text-indent : 0pt;
+                font-size: 10pt;
+                font-family: helvetica, arial, sans-serif;
+                font-weight: bold}
+
+td             {font-size : 10pt ; 
+                font-family : helvetica, arial, sans-serif;
+                vertical-align: top;
+                padding-left : 1em;
+                padding-right : 1em}
+td.numeric     {font-size : 10pt ; 
+                font-family : Courier New, Courier, monospace;
+                font-weight : bold;
+                vertical-align: top;
+                text-align : right;
+                padding-right : 2em}
+td.middle      {font-size : 10pt ; 
+                font-family : helvetica, arial, sans-serif;
+                vertical-align: middle}
+/* Pour éviter les marges dans les cellules de tableau */
+td p           {font-size : 10pt; 
+                font-family : helvetica, arial, sans-serif;
+                margin-left : 0pt;
+                margin-right : 0pt;
+                text-indent : 0}
+/* Introduction à une (x*sous) section */
+p.heading      {font-size : 10pt; 
+                font-family : helvetica, arial, sans-serif;
+                font-weight : bold;
+                margin-left : 20pt;
+                margin-right : 20pt;
+                text-align : justify;
+                text-indent : 0pt}
+/* Conclusion d'une (*sous-) section */
+p.footer       {font-size : 10pt; 
+                font-family : helvetica, arial, sans-serif;
+                font-weight : bold;
+                margin-left : 20pt;
+                margin-right : 20pt;
+                text-align : justify;
+                text-indent : 0pt}
+/* Illustration */
+div.illustration {text-align : center;
+                  margin : 15pt}
+/* Rien de bien défini encore pour ces modèles (idée :
+   images avec texte à gauche ou à droite) */
+img.right {}
+img.left  {}
+p.illustrationCaption {font-family : Helvetica, arial, sans-serif ;
+                font-size : 12pt; 
+                font-weight : bold; 
+                text-align : center;
+                text-indent : 0pt }
+/* Sommaire */
+ul.summary     {font-family : Helvetica , Arial , sans-serif;
+                font-size : 12pt}
+/* Filets horizontaux */
+hr             {}
+hr.fiftypc     {margin-left: 25%;
+                margin-right: 25%;}
+hr.twentypc    {margin-left: 40%;
+                margin-right: 40%;}
+/* Notes */
+/* L'appel de note est réalisé par un élément <a> de classe callNote */
+a.callNote     {}
+/* Le retour de note est réalisé par un élément <a> de classe retFromNote */
+a.retFromNote  {}
+/* Liste des notes proprement dite */
+ol.notes       {margin-left: 0%;
+                margin-right: 0%}
+/* Élements de navigation */
+table.navTable {border : none ;
+                width : 100%}
+table.navTable td {width : 20% ;
+                border : none ;
+                text-align : center ;
+                vertical-align : middle}
+/* Éléments divers (à trier)*/
+/* Éléments pour la table des matières */
+div.abstract   {font-size : 12pt ;
+                font-style : italic ;
+                font-family : Helvetica, Arial , sans-serif ;
+                margin-left : 50pt ;
+                margin-right : 50pt ;
+                margin-top : 15pt ;
+                margin-bottom : 10pt ;
+                border : solid ;
+                padding : 5pt}
+div.abstract p {margin-left : 0pt;
+                margin-right : 0pt;
+                text-indent : 0pt}
+div.toc        {margin-left : 50pt}
+ul.toc         {font-size : 14pt ; 
+                font-family : Helvetica , Arial , sans-serif}
+    </style>
+    <title>Notes on Sollya computed basis</title>
+  </head>
+  <body>
+    <h1>Notes on Sollya computed basis</h1>
+    <h2>Basis</h2>
+    <p>The basis is a structure made of two elements:</p>
+    <ul>
+      <li>an integer: the number of elements of the basis;</li>
+      <li>an array of Sollya function objects that are the actual elements of
+        the list.</li>
+    </ul>
+    <h2>Evaluation of the basis at&nbsp; some point</h2>
+    <p>For a given point, the evaluation returns a vector of MPFR numbers that
+      are the result of the evaluation of each element of the basis at this
+      point.</p>
+    <h2>Needed functions</h2>
+    <h3>Read a text file and create a basis</h3>
+    <p>The idea is to give the basis as a text file holding the basis:</p>
+    <ul>
+      <li>one basis element per line;</li>
+      <li>the text can be converted to a Sollya function object.</li>
+    </ul>
+    <p>We leave the check of the file (existence, creating a handle over the
+      file) to the calling program. The file is given a handle which makes the
+      function more flexible. This is the input argument.</p>
+    <p>Nevertheless, the function reads the file (and deals with all the
+      problems related to the file contents) and tries to compute a basis from
+      the contents.</p>
+    <p>The function returns:</p>
+    <ul>
+      <li>NULL: if something goes wrong (e.g. when reading the file, when trying
+        to create Sollya function objects from the contents);</li>
+      <li>a pointer on a basis struture (allocated and assigned in the function
+        body).</li>
+    </ul>
+    <h3>Evaluation a some point</h3>
+    <p>We use the <span class="langElem">evaluate</span> Sollya function.</p>
+  </body>
+</html>

Property changes on: approxBasisSollya/notes.html
___________________________________________________________________
Added: svn:mime-type
   + text/plain
Added: svn:executable
   + *

