3 |
3 |
<head>
|
4 |
4 |
<meta http-equiv="content-type" content="text/html; charset=iso-8859-1">
|
5 |
5 |
<style type="text/css">
|
6 |
|
/* Mise ? jour 2015-04-25 */
|
|
6 |
/* Mise jour 2015-04-25 */
|
7 |
7 |
/* La police proportionnelle de base est une Helvetica de 10 */
|
8 |
8 |
/* La police fixe de base est une Courrier de 10 */
|
9 |
9 |
/** Corps */
|
... | ... | |
63 |
63 |
font-family : helvetica , arial , sans-serif;
|
64 |
64 |
margin-top : 30pt;
|
65 |
65 |
text-indent : 0pt}
|
66 |
|
/* ?l?ments "en ligne" */
|
|
66 |
/* lments "en ligne" */
|
67 |
67 |
abbr {font-family : helvetica, arial, sans-serif;
|
68 |
68 |
font-style : normal;
|
69 |
69 |
font-weight : bold}
|
70 |
|
/* Identique ? <abbr> */
|
|
70 |
/* Identique <abbr> */
|
71 |
71 |
acronym {font-family : helvetica, arial, sans-serif;
|
72 |
72 |
font-style : normal;
|
73 |
73 |
font-weight : bold}
|
... | ... | |
82 |
82 |
cite {font-family : helvetica, arial, sans-serif;
|
83 |
83 |
font-style : italic;
|
84 |
84 |
font-weight : normal}
|
85 |
|
/* ? utiliser dans une division de code pour les marges et dans un ?l?ment
|
86 |
|
pre pour pr?server l'indentation) : div.code->pre->code. */
|
|
85 |
/* utiliser dans une division de code pour les marges et dans un lment
|
|
86 |
pre pour prserver l'indentation) : div.code->pre->code. */
|
87 |
87 |
code {font-family : courier, monospace;
|
88 |
88 |
font-style : normal;
|
89 |
89 |
font-weight : normal}
|
... | ... | |
100 |
100 |
font-style : italic;
|
101 |
101 |
font-weight : normal}
|
102 |
102 |
pre {}
|
103 |
|
/* ? travailler pour ?viter les guillemets anglo-saxons. */
|
|
103 |
/* travailler pour viter les guillemets anglo-saxons. */
|
104 |
104 |
q {}
|
105 |
|
/* On introduit un ?l?ment div.samp pour ajouter le retrait */
|
|
105 |
/* On introduit un lment div.samp pour ajouter le retrait */
|
106 |
106 |
samp {font-family : courier, monospace;
|
107 |
107 |
font-style : normal;
|
108 |
108 |
font-weight : normal}
|
... | ... | |
112 |
112 |
var {font-family : courier, monospace;
|
113 |
113 |
font-style : italic;
|
114 |
114 |
font-weight: normal}
|
115 |
|
/* Span sp?cialis?s. */
|
116 |
|
/* Mot ou expression ?trang?re */
|
|
115 |
/* Span spcialiss. */
|
|
116 |
/* Mot ou expression trangre */
|
117 |
117 |
span.foreign {font-style : italic}
|
118 |
|
/* ?l?ments de langage :
|
|
118 |
/* lments de langage :
|
119 |
119 |
- nom de commande ou de programme ;
|
120 |
120 |
- nom de variable, de fonction, de classe, de module ;
|
121 |
|
- propri?t?, param?tre, valeur, champ, objet, nom de balise ;
|
122 |
|
- nom de cl? de registre ;
|
123 |
|
- mot-cl? d'un langage ;
|
|
121 |
- proprit, paramtre, valeur, champ, objet, nom de balise ;
|
|
122 |
- nom de cl de registre ;
|
|
123 |
- mot-cl d'un langage ;
|
124 |
124 |
. */
|
125 |
125 |
span.langElem {font-family : helvetica, arial, sans-serif;
|
126 |
126 |
font-style : normal;
|
127 |
127 |
font-weight : bold}
|
128 |
|
/* R?pertoires, fichiers, extensions de fichier (e. g. .jpeg) */
|
|
128 |
/* Rpertoires, fichiers, extensions de fichier (e. g. .jpeg) */
|
129 |
129 |
span.pathfile {font-family: courier, monospace;
|
130 |
130 |
font-style : italic;
|
131 |
131 |
font-weight: normal}
|
132 |
132 |
span.urlAddress{font-family : courier monospace;
|
133 |
133 |
font-style : italic;
|
134 |
134 |
font-weight : bold }
|
135 |
|
/* ?l?ments "bloc" */
|
|
135 |
/* lments "bloc" */
|
136 |
136 |
h1 {text-align : center ;
|
137 |
137 |
font-size : 20pt ;
|
138 |
138 |
font-weight : bold ;
|
... | ... | |
194 |
194 |
text-ident : 0pt }
|
195 |
195 |
table {margin-left: 20pt;
|
196 |
196 |
margin-right: 20pt}
|
197 |
|
/* Deux options pour les cellules titres : soit un ?l?ment en-t?te (avec
|
198 |
|
ligne et cellules), soit des ?l?ments cellule en-t?te. */
|
|
197 |
/* Deux options pour les cellules titres : soit un lment en-tte (avec
|
|
198 |
ligne et cellules), soit des lments cellule en-tte. */
|
199 |
199 |
thead tr td {text-align: center;
|
200 |
200 |
text-indent : 0pt;
|
201 |
201 |
font-size: 10pt;
|
... | ... | |
221 |
221 |
td.middle {font-size : 10pt ;
|
222 |
222 |
font-family : helvetica, arial, sans-serif;
|
223 |
223 |
vertical-align: middle}
|
224 |
|
/* Pour ?viter les marges dans les cellules de tableau */
|
|
224 |
/* Pour viter les marges dans les cellules de tableau */
|
225 |
225 |
td p {font-size : 10pt;
|
226 |
226 |
font-family : helvetica, arial, sans-serif;
|
227 |
227 |
margin-left : 0pt;
|
228 |
228 |
margin-right : 0pt;
|
229 |
229 |
text-indent : 0}
|
230 |
|
/* Introduction ? une (x*sous) section */
|
|
230 |
/* Introduction une (x*sous) section */
|
231 |
231 |
p.heading {font-size : 10pt;
|
232 |
232 |
font-family : helvetica, arial, sans-serif;
|
233 |
233 |
font-weight : bold;
|
... | ... | |
246 |
246 |
/* Illustration */
|
247 |
247 |
div.illustration {text-align : center;
|
248 |
248 |
margin : 15pt}
|
249 |
|
/* Rien de bien d?fini encore pour ces mod?les (id?e :
|
250 |
|
images avec texte ? gauche ou ? droite) */
|
|
249 |
/* Rien de bien dfini encore pour ces modles (ide :
|
|
250 |
images avec texte gauche ou droite) */
|
251 |
251 |
img.right {}
|
252 |
252 |
img.left {}
|
253 |
253 |
p.illustrationCaption {font-family : Helvetica, arial, sans-serif ;
|
... | ... | |
265 |
265 |
hr.twentypc {margin-left: 40%;
|
266 |
266 |
margin-right: 40%;}
|
267 |
267 |
/* Notes */
|
268 |
|
/* L'appel de note est r?alis? par un ?l?ment <a> de classe callNote */
|
|
268 |
/* L'appel de note est ralis par un lment <a> de classe callNote */
|
269 |
269 |
a.callNote {}
|
270 |
|
/* Le retour de note est r?alis? par un ?l?ment <a> de classe retFromNote */
|
|
270 |
/* Le retour de note est ralis par un lment <a> de classe retFromNote */
|
271 |
271 |
a.retFromNote {}
|
272 |
272 |
/* Liste des notes proprement dite */
|
273 |
273 |
ol.notes {margin-left: 0%;
|
274 |
274 |
margin-right: 0%}
|
275 |
|
/* ?lements de navigation */
|
|
275 |
/* lements de navigation */
|
276 |
276 |
table.navTable {border : none ;
|
277 |
277 |
width : 100%}
|
278 |
278 |
table.navTable td {width : 20% ;
|
279 |
279 |
border : none ;
|
280 |
280 |
text-align : center ;
|
281 |
281 |
vertical-align : middle}
|
282 |
|
/* ?l?ments divers (? trier)*/
|
283 |
|
/* ?l?ments pour la table des mati?res */
|
|
282 |
/* lments divers ( trier)*/
|
|
283 |
/* lments pour la table des matires */
|
284 |
284 |
div.abstract {font-size : 12pt ;
|
285 |
285 |
font-style : italic ;
|
286 |
286 |
font-family : Helvetica, Arial , sans-serif ;
|
... | ... | |
308 |
308 |
<li>an array of Sollya function objects that are the actual elements of
|
309 |
309 |
the list.</li>
|
310 |
310 |
</ul>
|
311 |
|
<h2>Evaluation of the basis at some point</h2>
|
|
311 |
<h2>Evaluation of the basis at some point</h2>
|
312 |
312 |
<p>For a given point, the evaluation returns a vector of MPFR numbers that
|
313 |
313 |
are the result of the evaluation of each element of the basis at this
|
314 |
314 |
point.</p>
|