Révision 293 approxBasisSollya/notes.html
notes.html (revision 293) | ||
---|---|---|
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> |
Formats disponibles : Unified diff