root / approxBasisSollya / notes.html @ 290
Historique | Voir | Annoter | Télécharger (13,49 ko)
| 1 | 290 | storres | <!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
|
|---|---|---|---|
| 2 | 290 | storres | <html lang="en-US"> |
| 3 | 290 | storres | <head>
|
| 4 | 290 | storres | <meta http-equiv="content-type" content="text/html; charset=iso-8859-1"> |
| 5 | 290 | storres | <style type="text/css"> |
| 6 | 290 | storres | /* Mise ? jour 2015-04-25 */ |
| 7 | 290 | storres | /* La police proportionnelle de base est une Helvetica de 10 */ |
| 8 | 290 | storres | /* La police fixe de base est une Courrier de 10 */ |
| 9 | 290 | storres | /** Corps */ |
| 10 | 290 | storres | body {background-color: #FFFFFF;
|
| 11 | 290 | storres | font-family : helvetica, arial, sans-serif; |
| 12 | 290 | storres | font-size : 10pt; |
| 13 | 290 | storres | font-weight : normal; |
| 14 | 290 | storres | font-style : normal} |
| 15 | 290 | storres | /* |
| 16 | 290 | storres | */ |
| 17 | 290 | storres | /** Page de couverture */ |
| 18 | 290 | storres | /* |
| 19 | 290 | storres | --------------------------------------------------------------- |
| 20 | 290 | storres | / ------------------------------------ |
| 21 | 290 | storres | / table.coverHeader | td.coverHeaderLeft / td.coverHeaderRight | |
| 22 | 290 | storres | / ------------------------------------ |
| 23 | 290 | storres | / |
| 24 | 290 | storres | / ------------------------------------ |
| 25 | 290 | storres | / / / |
| 26 | 290 | storres | div.cover / / p.coverTitle / |
| 27 | 290 | storres | / / / |
| 28 | 290 | storres | / div.coverTitle ------------------------------------ |
| 29 | 290 | storres | / / / |
| 30 | 290 | storres | / / p.coverSubTitle / |
| 31 | 290 | storres | / / / |
| 32 | 290 | storres | / ------------------------------------ |
| 33 | 290 | storres | --------------------------------------------------------------- |
| 34 | 290 | storres | |
| 35 | 290 | storres | */ |
| 36 | 290 | storres | @media print {div.cover {page-break-after:always}
|
| 37 | 290 | storres | div.coverTitle {top : 250pt}}
|
| 38 | 290 | storres | div.cover {margin-bottom : 100pt;
|
| 39 | 290 | storres | text-align : center;} |
| 40 | 290 | storres | table.coverHeader {position : relative;
|
| 41 | 290 | storres | top : 0; |
| 42 | 290 | storres | width : 90%; |
| 43 | 290 | storres | font-size: 12pt; |
| 44 | 290 | storres | font-family : helvetica, arial, sans-serif; |
| 45 | 290 | storres | font-weight: bold} |
| 46 | 290 | storres | table.coverHeader td.coverHeaderLeft {text-align : left}
|
| 47 | 290 | storres | table.coverHeader td.coverHeaderRight {text-align : right}
|
| 48 | 290 | storres | div.coverTitle {position : relative;
|
| 49 | 290 | storres | margin-top : 100pt; |
| 50 | 290 | storres | text-align : center; |
| 51 | 290 | storres | border : solid ; |
| 52 | 290 | storres | margin-left : 20%; |
| 53 | 290 | storres | margin-right : 20%} |
| 54 | 290 | storres | /* Voir h1 */ |
| 55 | 290 | storres | p.coverTitle {text-align : center ;
|
| 56 | 290 | storres | font-size : 20pt ; |
| 57 | 290 | storres | font-weight : bold ; |
| 58 | 290 | storres | font-family : helvetica, arial, sans-serif; |
| 59 | 290 | storres | text-indent : 0pt} |
| 60 | 290 | storres | p.coverSubTitle{text-align : center ;
|
| 61 | 290 | storres | font-size : 16pt ; |
| 62 | 290 | storres | font-weight : normal; |
| 63 | 290 | storres | font-family : helvetica , arial , sans-serif; |
| 64 | 290 | storres | margin-top : 30pt; |
| 65 | 290 | storres | text-indent : 0pt} |
| 66 | 290 | storres | /* ?l?ments "en ligne" */ |
| 67 | 290 | storres | abbr {font-family : helvetica, arial, sans-serif;
|
| 68 | 290 | storres | font-style : normal; |
| 69 | 290 | storres | font-weight : bold} |
| 70 | 290 | storres | /* Identique ? <abbr> */
|
| 71 | 290 | storres | acronym {font-family : helvetica, arial, sans-serif;
|
| 72 | 290 | storres | font-style : normal; |
| 73 | 290 | storres | font-weight : bold} |
| 74 | 290 | storres | address {font-family : helvetica, arial, sans-serif;
|
| 75 | 290 | storres | font-style : italic; |
| 76 | 290 | storres | margin-left : 20pt; |
| 77 | 290 | storres | margin-right : 20pt} |
| 78 | 290 | storres | blocquote {font-family : helvetica, arial, sans-serif;
|
| 79 | 290 | storres | font-style : italic; |
| 80 | 290 | storres | margin-left : 20pt; |
| 81 | 290 | storres | margin-right : 20pt} |
| 82 | 290 | storres | cite {font-family : helvetica, arial, sans-serif;
|
| 83 | 290 | storres | font-style : italic; |
| 84 | 290 | storres | font-weight : normal} |
| 85 | 290 | storres | /* ? utiliser dans une division de code pour les marges et dans un ?l?ment |
| 86 | 290 | storres | pre pour pr?server l'indentation) : div.code->pre->code. */ |
| 87 | 290 | storres | code {font-family : courier, monospace;
|
| 88 | 290 | storres | font-style : normal; |
| 89 | 290 | storres | font-weight : normal} |
| 90 | 290 | storres | div.code {margin-left : 30pt;
|
| 91 | 290 | storres | margin-right : 30pt; |
| 92 | 290 | storres | background-color : lightgray} |
| 93 | 290 | storres | del {text-decoration : line-through}
|
| 94 | 290 | storres | dfn {font-family: helvetica, arial, sans-serif;
|
| 95 | 290 | storres | font-style: italic; |
| 96 | 290 | storres | font-weight: normal} |
| 97 | 290 | storres | ins {text-decoration : none;
|
| 98 | 290 | storres | background-color : #FFFF00} |
| 99 | 290 | storres | kbd {font-family : times, serif;
|
| 100 | 290 | storres | font-style : italic; |
| 101 | 290 | storres | font-weight : normal} |
| 102 | 290 | storres | pre {}
|
| 103 | 290 | storres | /* ? travailler pour ?viter les guillemets anglo-saxons. */ |
| 104 | 290 | storres | q {}
|
| 105 | 290 | storres | /* On introduit un ?l?ment div.samp pour ajouter le retrait */ |
| 106 | 290 | storres | samp {font-family : courier, monospace;
|
| 107 | 290 | storres | font-style : normal; |
| 108 | 290 | storres | font-weight : normal} |
| 109 | 290 | storres | div.samp {margin-left : 30pt;
|
| 110 | 290 | storres | margin-right : 30pt} |
| 111 | 290 | storres | strong {font-weight : bold}
|
| 112 | 290 | storres | var {font-family : courier, monospace;
|
| 113 | 290 | storres | font-style : italic; |
| 114 | 290 | storres | font-weight: normal} |
| 115 | 290 | storres | /* Span sp?cialis?s. */ |
| 116 | 290 | storres | /* Mot ou expression ?trang?re */ |
| 117 | 290 | storres | span.foreign {font-style : italic}
|
| 118 | 290 | storres | /* ?l?ments de langage : |
| 119 | 290 | storres | - nom de commande ou de programme ; |
| 120 | 290 | storres | - nom de variable, de fonction, de classe, de module ; |
| 121 | 290 | storres | - propri?t?, param?tre, valeur, champ, objet, nom de balise ; |
| 122 | 290 | storres | - nom de cl? de registre ; |
| 123 | 290 | storres | - mot-cl? d'un langage ; |
| 124 | 290 | storres | . */ |
| 125 | 290 | storres | span.langElem {font-family : helvetica, arial, sans-serif;
|
| 126 | 290 | storres | font-style : normal; |
| 127 | 290 | storres | font-weight : bold} |
| 128 | 290 | storres | /* R?pertoires, fichiers, extensions de fichier (e. g. .jpeg) */ |
| 129 | 290 | storres | span.pathfile {font-family: courier, monospace;
|
| 130 | 290 | storres | font-style : italic; |
| 131 | 290 | storres | font-weight: normal} |
| 132 | 290 | storres | span.urlAddress{font-family : courier monospace;
|
| 133 | 290 | storres | font-style : italic; |
| 134 | 290 | storres | font-weight : bold } |
| 135 | 290 | storres | /* ?l?ments "bloc" */ |
| 136 | 290 | storres | h1 {text-align : center ;
|
| 137 | 290 | storres | font-size : 20pt ; |
| 138 | 290 | storres | font-weight : bold ; |
| 139 | 290 | storres | font-family : helvetica, arial, sans-serif} |
| 140 | 290 | storres | h2 {font-size : 16pt ;
|
| 141 | 290 | storres | font-weight : bold ; |
| 142 | 290 | storres | font-family : helvetica, arial, sans-serif} |
| 143 | 290 | storres | h3 {font-size: 14pt ;
|
| 144 | 290 | storres | font-weight : normal; |
| 145 | 290 | storres | font-family : helvetica, arial, sans-serif; |
| 146 | 290 | storres | margin-left : 10pt} |
| 147 | 290 | storres | h4 {font-size : 12pt;
|
| 148 | 290 | storres | font-family : helvetica, arial , sans-serif; |
| 149 | 290 | storres | font-weight: normal; |
| 150 | 290 | storres | margin-left : 15pt} |
| 151 | 290 | storres | h5 {font-size : 12pt ;
|
| 152 | 290 | storres | font-family : helvetica, arial, sans-serif; |
| 153 | 290 | storres | font-weight : normal; |
| 154 | 290 | storres | font-style : italic; |
| 155 | 290 | storres | margin-left : 15pt} |
| 156 | 290 | storres | h6 {font-size : 10pt;
|
| 157 | 290 | storres | font-family : helvetica, arial, sans-serif; |
| 158 | 290 | storres | font-size : 8pt; |
| 159 | 290 | storres | font-weight : bold; |
| 160 | 290 | storres | font-style : normal; |
| 161 | 290 | storres | margin-left : 15pt; |
| 162 | 290 | storres | text-align : right} |
| 163 | 290 | storres | p {font-size : 10pt;
|
| 164 | 290 | storres | font-family : helvetica, arial, sans-serif; |
| 165 | 290 | storres | margin-left : 20pt; |
| 166 | 290 | storres | margin-right : 20pt; |
| 167 | 290 | storres | text-align : justify ; |
| 168 | 290 | storres | text-indent : 2em} |
| 169 | 290 | storres | /* Listes */ |
| 170 | 290 | storres | ul {font-size: 10pt;
|
| 171 | 290 | storres | font-family: helvetica, arial, sans-serif; |
| 172 | 290 | storres | text-align: justify; |
| 173 | 290 | storres | margin-left: 20pt; |
| 174 | 290 | storres | margin-right: 20pt} |
| 175 | 290 | storres | ol {font-size: 10pt;
|
| 176 | 290 | storres | font-family: helvetica, arial, sans-serif; |
| 177 | 290 | storres | text-align: justify; |
| 178 | 290 | storres | margin-left: 20pt; |
| 179 | 290 | storres | margin-right: 20pt} |
| 180 | 290 | storres | dl {font-size: 10pt;
|
| 181 | 290 | storres | font-family: helvetica, arial, sans-serif; |
| 182 | 290 | storres | margin-left: 20pt; |
| 183 | 290 | storres | margin-right: 20pt} |
| 184 | 290 | storres | dl dt {font-weight: bold}
|
| 185 | 290 | storres | dd {font-size: 10pt;
|
| 186 | 290 | storres | font-family: helvetica, arial, sans-serif; |
| 187 | 290 | storres | text-align: justify; |
| 188 | 290 | storres | margin-left: 10pt} |
| 189 | 290 | storres | /* Tableaux */ |
| 190 | 290 | storres | p.tableCaption {text-align : center ;
|
| 191 | 290 | storres | font-size : 12pt ; |
| 192 | 290 | storres | font-weight : bold ; |
| 193 | 290 | storres | font-family : helvetica, arial, sans-serif; |
| 194 | 290 | storres | text-ident : 0pt } |
| 195 | 290 | storres | table {margin-left: 20pt;
|
| 196 | 290 | storres | margin-right: 20pt} |
| 197 | 290 | storres | /* Deux options pour les cellules titres : soit un ?l?ment en-t?te (avec |
| 198 | 290 | storres | ligne et cellules), soit des ?l?ments cellule en-t?te. */ |
| 199 | 290 | storres | thead tr td {text-align: center;
|
| 200 | 290 | storres | text-indent : 0pt; |
| 201 | 290 | storres | font-size: 10pt; |
| 202 | 290 | storres | font-family: helvetica, arial, sans-serif; |
| 203 | 290 | storres | font-weight: bold} |
| 204 | 290 | storres | th {text-align: center;
|
| 205 | 290 | storres | text-indent : 0pt; |
| 206 | 290 | storres | font-size: 10pt; |
| 207 | 290 | storres | font-family: helvetica, arial, sans-serif; |
| 208 | 290 | storres | font-weight: bold} |
| 209 | 290 | storres | |
| 210 | 290 | storres | td {font-size : 10pt ;
|
| 211 | 290 | storres | font-family : helvetica, arial, sans-serif; |
| 212 | 290 | storres | vertical-align: top; |
| 213 | 290 | storres | padding-left : 1em; |
| 214 | 290 | storres | padding-right : 1em} |
| 215 | 290 | storres | td.numeric {font-size : 10pt ;
|
| 216 | 290 | storres | font-family : Courier New, Courier, monospace; |
| 217 | 290 | storres | font-weight : bold; |
| 218 | 290 | storres | vertical-align: top; |
| 219 | 290 | storres | text-align : right; |
| 220 | 290 | storres | padding-right : 2em} |
| 221 | 290 | storres | td.middle {font-size : 10pt ;
|
| 222 | 290 | storres | font-family : helvetica, arial, sans-serif; |
| 223 | 290 | storres | vertical-align: middle} |
| 224 | 290 | storres | /* Pour ?viter les marges dans les cellules de tableau */ |
| 225 | 290 | storres | td p {font-size : 10pt;
|
| 226 | 290 | storres | font-family : helvetica, arial, sans-serif; |
| 227 | 290 | storres | margin-left : 0pt; |
| 228 | 290 | storres | margin-right : 0pt; |
| 229 | 290 | storres | text-indent : 0} |
| 230 | 290 | storres | /* Introduction ? une (x*sous) section */ |
| 231 | 290 | storres | p.heading {font-size : 10pt;
|
| 232 | 290 | storres | font-family : helvetica, arial, sans-serif; |
| 233 | 290 | storres | font-weight : bold; |
| 234 | 290 | storres | margin-left : 20pt; |
| 235 | 290 | storres | margin-right : 20pt; |
| 236 | 290 | storres | text-align : justify; |
| 237 | 290 | storres | text-indent : 0pt} |
| 238 | 290 | storres | /* Conclusion d'une (*sous-) section */ |
| 239 | 290 | storres | p.footer {font-size : 10pt;
|
| 240 | 290 | storres | font-family : helvetica, arial, sans-serif; |
| 241 | 290 | storres | font-weight : bold; |
| 242 | 290 | storres | margin-left : 20pt; |
| 243 | 290 | storres | margin-right : 20pt; |
| 244 | 290 | storres | text-align : justify; |
| 245 | 290 | storres | text-indent : 0pt} |
| 246 | 290 | storres | /* Illustration */ |
| 247 | 290 | storres | div.illustration {text-align : center;
|
| 248 | 290 | storres | margin : 15pt} |
| 249 | 290 | storres | /* Rien de bien d?fini encore pour ces mod?les (id?e : |
| 250 | 290 | storres | images avec texte ? gauche ou ? droite) */ |
| 251 | 290 | storres | img.right {}
|
| 252 | 290 | storres | img.left {}
|
| 253 | 290 | storres | p.illustrationCaption {font-family : Helvetica, arial, sans-serif ;
|
| 254 | 290 | storres | font-size : 12pt; |
| 255 | 290 | storres | font-weight : bold; |
| 256 | 290 | storres | text-align : center; |
| 257 | 290 | storres | text-indent : 0pt } |
| 258 | 290 | storres | /* Sommaire */ |
| 259 | 290 | storres | ul.summary {font-family : Helvetica , Arial , sans-serif;
|
| 260 | 290 | storres | font-size : 12pt} |
| 261 | 290 | storres | /* Filets horizontaux */ |
| 262 | 290 | storres | hr {}
|
| 263 | 290 | storres | hr.fiftypc {margin-left: 25%;
|
| 264 | 290 | storres | margin-right: 25%;} |
| 265 | 290 | storres | hr.twentypc {margin-left: 40%;
|
| 266 | 290 | storres | margin-right: 40%;} |
| 267 | 290 | storres | /* Notes */ |
| 268 | 290 | storres | /* L'appel de note est r?alis? par un ?l?ment <a> de classe callNote */
|
| 269 | 290 | storres | a.callNote {}
|
| 270 | 290 | storres | /* Le retour de note est r?alis? par un ?l?ment <a> de classe retFromNote */
|
| 271 | 290 | storres | a.retFromNote {}
|
| 272 | 290 | storres | /* Liste des notes proprement dite */ |
| 273 | 290 | storres | ol.notes {margin-left: 0%;
|
| 274 | 290 | storres | margin-right: 0%} |
| 275 | 290 | storres | /* ?lements de navigation */ |
| 276 | 290 | storres | table.navTable {border : none ;
|
| 277 | 290 | storres | width : 100%} |
| 278 | 290 | storres | table.navTable td {width : 20% ;
|
| 279 | 290 | storres | border : none ; |
| 280 | 290 | storres | text-align : center ; |
| 281 | 290 | storres | vertical-align : middle} |
| 282 | 290 | storres | /* ?l?ments divers (? trier)*/ |
| 283 | 290 | storres | /* ?l?ments pour la table des mati?res */ |
| 284 | 290 | storres | div.abstract {font-size : 12pt ;
|
| 285 | 290 | storres | font-style : italic ; |
| 286 | 290 | storres | font-family : Helvetica, Arial , sans-serif ; |
| 287 | 290 | storres | margin-left : 50pt ; |
| 288 | 290 | storres | margin-right : 50pt ; |
| 289 | 290 | storres | margin-top : 15pt ; |
| 290 | 290 | storres | margin-bottom : 10pt ; |
| 291 | 290 | storres | border : solid ; |
| 292 | 290 | storres | padding : 5pt} |
| 293 | 290 | storres | div.abstract p {margin-left : 0pt;
|
| 294 | 290 | storres | margin-right : 0pt; |
| 295 | 290 | storres | text-indent : 0pt} |
| 296 | 290 | storres | div.toc {margin-left : 50pt}
|
| 297 | 290 | storres | ul.toc {font-size : 14pt ;
|
| 298 | 290 | storres | font-family : Helvetica , Arial , sans-serif} |
| 299 | 290 | storres | </style>
|
| 300 | 290 | storres | <title>Notes on Sollya computed basis</title> |
| 301 | 290 | storres | </head>
|
| 302 | 290 | storres | <body>
|
| 303 | 290 | storres | <h1>Notes on Sollya computed basis</h1> |
| 304 | 290 | storres | <h2>Basis</h2> |
| 305 | 290 | storres | <p>The basis is a structure made of two elements:</p> |
| 306 | 290 | storres | <ul>
|
| 307 | 290 | storres | <li>an integer: the number of elements of the basis;</li> |
| 308 | 290 | storres | <li>an array of Sollya function objects that are the actual elements of
|
| 309 | 290 | storres | the list.</li>
|
| 310 | 290 | storres | </ul>
|
| 311 | 290 | storres | <h2>Evaluation of the basis at some point</h2> |
| 312 | 290 | storres | <p>For a given point, the evaluation returns a vector of MPFR numbers that
|
| 313 | 290 | storres | are the result of the evaluation of each element of the basis at this |
| 314 | 290 | storres | point.</p>
|
| 315 | 290 | storres | <h2>Needed functions</h2> |
| 316 | 290 | storres | <h3>Read a text file and create a basis</h3> |
| 317 | 290 | storres | <p>The idea is to give the basis as a text file holding the basis:</p> |
| 318 | 290 | storres | <ul>
|
| 319 | 290 | storres | <li>one basis element per line;</li> |
| 320 | 290 | storres | <li>the text can be converted to a Sollya function object.</li> |
| 321 | 290 | storres | </ul>
|
| 322 | 290 | storres | <p>We leave the check of the file (existence, creating a handle over the
|
| 323 | 290 | storres | file) to the calling program. The file is given a handle which makes the |
| 324 | 290 | storres | function more flexible. This is the input argument.</p>
|
| 325 | 290 | storres | <p>Nevertheless, the function reads the file (and deals with all the
|
| 326 | 290 | storres | problems related to the file contents) and tries to compute a basis from |
| 327 | 290 | storres | the contents.</p>
|
| 328 | 290 | storres | <p>The function returns:</p> |
| 329 | 290 | storres | <ul>
|
| 330 | 290 | storres | <li>NULL: if something goes wrong (e.g. when reading the file, when trying
|
| 331 | 290 | storres | to create Sollya function objects from the contents);</li>
|
| 332 | 290 | storres | <li>a pointer on a basis struture (allocated and assigned in the function
|
| 333 | 290 | storres | body).</li>
|
| 334 | 290 | storres | </ul>
|
| 335 | 290 | storres | <h3>Evaluation a some point</h3> |
| 336 | 290 | storres | <p>We use the <span class="langElem">evaluate</span> Sollya function.</p> |
| 337 | 290 | storres | </body>
|
| 338 | 290 | storres | </html> |