Rev 18508 | Rev 18522 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 18508 | Rev 18513 | ||
---|---|---|---|
Line 4... | Line 4... | ||
4 | slib_title=Pavage hyperbolique du disque de Poincaré |
4 | slib_title=Pavage hyperbolique du disque de Poincaré |
5 | slib_author=Bernadette, Perrin-Riou |
5 | slib_author=Bernadette, Perrin-Riou |
6 | slib_parms=3\ |
6 | slib_parms=3\ |
7 | ,vecteur représentant les paramètres de la tuile\ |
7 | ,vecteur représentant les paramètres de la tuile\ |
8 | 0.01,eps\ |
8 | 0.01,eps\ |
9 | size=600 color=[black,white] |
9 | size=600 color=[black,white] depl=0 type=, option (mots) : size= color=[] html/url fill depl= type= alt |
10 | 10 | ||
11 | slib_out=dessin d'un pavage hyperbolique ou code ou url selon les cas \ |
11 | slib_out=dessin d'un pavage hyperbolique ou code ou url selon les cas \ |
12 | associé à un polygone tangentiel ou de type regular. |
12 | associé à un polygone tangentiel ou de type regular. |
13 | slib_comment=La forme de la tuile est spécifiée de la manière suivante \ |
13 | slib_comment=La forme de la tuile est spécifiée de la manière suivante \ |
14 | (les d_i sont des entiers supérieurs à 3): les angles du polygone sont la suite des \ |
14 | (les d_i sont des entiers supérieurs à 3): les angles du polygone sont la suite des \ |
Line 17... | Line 17... | ||
17 | Ce pavage existe si les d_i sont pairs et pas toujours si ce n'est pas le cas ...\ |
17 | Ce pavage existe si les d_i sont pairs et pas toujours si ce n'est pas le cas ...\ |
18 | Si le type est <span class=tt">"regular"</span>, deux paramètres suffisent,\ |
18 | Si le type est <span class=tt">"regular"</span>, deux paramètres suffisent,\ |
19 | le polygone est un polygone à d_1 côtés égaux et d_1 angles égaux à 2*pi/d_2.\ |
19 | le polygone est un polygone à d_1 côtés égaux et d_1 angles égaux à 2*pi/d_2.\ |
20 | Le pavage (qui est théoriquement infini) est limité au cercle de rayon 1-eps (eps>0.04).\ |
20 | Le pavage (qui est théoriquement infini) est limité au cercle de rayon 1-eps (eps>0.04).\ |
21 | Cependant, le nombre de polygones dessinés est limité à 500.\ |
21 | Cependant, le nombre de polygones dessinés est limité à 500.\ |
22 | Si eps est un entier, seules les esp premières tuiles sont dessinées. |
22 | Si eps est un entier, seules les esp premières tuiles sont dessinées. |
- | 23 | ||
23 | <br>On peut appliquer la transformation de Moebius z->(a*z+b)/(\bar{b}z+\bar{a})\ |
24 | !!!<br>On peut appliquer la transformation de Moebius z->(a*z+b)/(\bar{b}z+\bar{a})\ |
24 |
|
25 | !!!codé par [a,b,0] ou z->(a*\bar{z}+b)/(\bar{b}\bar{z}+\bar{a}) codé par [a,b,1]\ |
25 |
|
26 | !!!avec |a|>|b|; elle envoie 0 sur b/\bar{a} et le point 1 de l'horizon sur\ |
26 |
|
27 | !!!a/\bar{a}. |
27 | slib_example=[4,8,6,4,6,6],0.01,html\ |
28 | slib_example=[4,8,6,4,6,6],0.01,html\ |
28 | [8,8,4,8],0.01,html color=blue\ |
29 | [8,8,4,8],0.01,html color=blue\ |
29 | [4,8,10],0.01,html\ |
30 | [4,8,10],0.01,html\ |
30 | [8,8,4,8],0.01,html color=blue\ |
31 | [8,8,4,8],0.01,html color=blue\ |
31 | [6,8,10],0.1,html color=[blue,grey] fill\ |
32 | [6,8,10],0.1,html color=[blue,grey] fill\ |
32 | [6,8,10],0.1,color=blue html |
33 | [6,8,10],0.1,color=blue html depl=0.5+I*0.5\ |
33 | [6,8,10],6,html color=blue\ |
34 | [6,8,10],6,html color=blue\ |
34 | [5,8,3,8],0.04,color=black html\ |
35 | [5,8,3,8],0.04,color=black html\ |
35 | [5,8,3,8],0.04,color=black html depl= |
36 | [5,8,3,8],0.04,color=black html depl=-0.5+I*0.5\ |
36 | [6,8,10],0.1,html fill=[1,5,7]\ |
37 | [6,8,10],0.1,html fill=[1,5,7]\ |
37 | [34,5,34],0.1,html fill=[1]\ |
38 | [34,5,34],0.1,html fill=[1]\ |
38 | [5,8],0.01,html color=black type=regular\ |
39 | [5,8],0.01,html color=black type=regular\ |
39 | [4,8],0.01,html color=black type=regular\ |
40 | [4,8],0.01,html color=black type=regular\ |
40 | [6,8,10],0.1,html fill=[1,5,7]\ |
41 | [6,8,10],0.1,html fill=[1,5,7]\ |
Line 64... | Line 65... | ||
64 | !set slib_color=$(slib_color[1,2]) |
65 | !set slib_color=$(slib_color[1,2]) |
65 | !set slib_fill=!getopt fill in $slib_option |
66 | !set slib_fill=!getopt fill in $slib_option |
66 | !set slib_fill=!declosing $slib_fill |
67 | !set slib_fill=!declosing $slib_fill |
67 | !set slib_type=!getopt type in $slib_option |
68 | !set slib_type=!getopt type in $slib_option |
68 | !set slib_depl=!getopt depl in $slib_option |
69 | !set slib_depl=!getopt depl in $slib_option |
69 | !default |
70 | !default slib_depl=0 |
70 | !set slib_pqr=!declosing $slib_data |
71 | !set slib_pqr=!declosing $slib_data |
71 | !set slib_pqr=!exec pari [$slib_pqr] |
72 | !set slib_pqr=!exec pari [$slib_pqr] |
72 | !if $slib_type= |
73 | !if $slib_type= |
73 | !set slib_n=!itemcnt $slib_pqr |
74 | !set slib_n=!itemcnt $slib_pqr |
74 | !set slib_testexist=!exec pari a=[$slib_pqr];test=vecsum(vector($slib_n,i,1/a[i]))>=($slib_n-2)/2;a=concat(a,a[1]);for(i=2,$slib_n,if(a[i]%2==1, test+=a[i-1]!=a[i+1])); test |
75 | !set slib_testexist=!exec pari a=[$slib_pqr];test=vecsum(vector($slib_n,i,1/a[i]))>=($slib_n-2)/2;a=concat(a,a[1]);for(i=2,$slib_n,if(a[i]%2==1, test+=a[i-1]!=a[i+1])); test |
Line 92... | Line 93... | ||
92 | !set wims_multiexec=$wims_multiexec pari |
93 | !set wims_multiexec=$wims_multiexec pari |
93 | !if $slib_header_hyptiling= |
94 | !if $slib_header_hyptiling= |
94 | !readproc gp/$slib_gpprog.gp |
95 | !readproc gp/$slib_gpprog.gp |
95 | !set slib_hyptiling=!exec pari tikz=0;$(slib_header_$slib_gpprog); |
96 | !set slib_hyptiling=!exec pari tikz=0;$(slib_header_$slib_gpprog); |
96 | !endif |
97 | !endif |
97 | !set slib_hyptiling=!exec pari wwww=catalan([$slib_pqr] |
98 | !set slib_hyptiling=!exec pari wwww=catalan([$slib_pqr],$slib_bound,$slib_depl)[1];default(realprecision,3);wims_export(wwww) |
98 | !set slib_data=!trim $slib_hyptiling |
99 | !set slib_data=!trim $slib_hyptiling |
99 | - | ||
100 | !! depends only on $slib_data -- could be an "offhypdraw" |
100 | !! depends only on $slib_data -- could be an "offhypdraw" |
101 | !set slib_data=!declosing $slib_data |
101 | !set slib_data=!declosing $slib_data |
102 | !distribute items $slib_data into slib_som, slib_face |
102 | !distribute items $slib_data into slib_som, slib_face |
103 | slib_som=!declosing $slib_som |
103 | slib_som=!declosing $slib_som |
104 | slib_face=!declosing $slib_face |
104 | slib_face=!declosing $slib_face |