Subversion Repositories wimsdev

Rev

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] depl=[1,0,0] type=, option (mots) : size= color=[] html/url fill depl= type= alt
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
  codé par [a,b,0] ou z->(a*\bar{z}+b)/(\bar{b}\bar{z}+\bar{a}) codé par [a,b,1]\
25
  !!!codé par [a,b,0] ou z->(a*\bar{z}+b)/(\bar{b}\bar{z}+\bar{a}) codé par [a,b,1]\
25
  avec |a|>|b|; elle envoie 0 sur b/\bar{a} et le point 1 de l'horizon sur\
26
  !!!avec |a|>|b|; elle envoie 0 sur b/\bar{a} et le point 1 de l'horizon sur\
26
  a/\bar{a}.
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 depl=[1,0.5,1]\
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=[1,0.5,1]\
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 slib_depl=1,0,0
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],$slib_bound,[$slib_depl]);default(realprecision,3);wwww
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