https://hal.archives-ouvertes.fr/hal-02398953
Raw File
Tip revision: c33910a29d53f4e137c225b21a8d59e43327cbf9 authored by Software Heritage on 08 December 2019, 12:26:32 UTC
hal: Deposit 351 in collection hal
Tip revision: c33910a
picm4-5%12_face12_alt.asy
import graph3;
import three;
size(7.5cm,0);
pen p=black+1;
draw(unithemisphere,white+opacity(0.1));
currentprojection=orthographic((-1.0,0,0.3));
draw(Arc((1.12894599199,1.95539181713,-5.18073048912e-14),(0.605000333706,0,-5.18073048912e-14),(-0.302500166853,0.523945658287,-5.18073048912e-14),(0,0,1),false),p);
label("$2$",(0.11676070617,0.202235475414,-5.18073048912e-14));
draw(Arc((-2.25789198399,0,-5.18073048912e-14),(-0.302500166853,0.523945658287,-5.18073048912e-14),(-0.302500166853,-0.523945658288,-5.18073048912e-14),(0,0,1),false),p);
label("$2$",(-0.233521412339,0,-5.18073048912e-14));
draw(Arc((1.12894599199,-1.95539181713,-5.18073048912e-14),(-0.302500166853,-0.523945658288,-5.18073048912e-14),(0.605000333706,0,-5.18073048912e-14),(0,0,1),false),p);
label("$2$",(0.11676070617,-0.202235475414,-5.18073048912e-14));
draw((-1.96373468746e-15,-5.58941185873e-15,0.759835685652)--(0.605000333706,0,-5.18073048912e-14),p);
label("$123\bar2\bar1$",(0.302500166853,-2.79470592936e-15,0.379917842826),align=right);
draw((-1.96373468746e-15,-5.58941185873e-15,0.759835685652)--(-0.302500166853,0.523945658287,-4.64369047184e-14),p);
label("$1$",(-0.151250083427,0.261972829144,0.379917842826),align=right);
draw((-1.96373468746e-15,-5.58941185873e-15,0.759835685652)--(-0.302500166853,-0.523945658288,-4.49949428981e-14),p);
label("$23\bar2$",(-0.151250083427,-0.261972829144,0.379917842826),align=right);
pen dp = blue+4;
pen dpi = red+4;
dot((-1.96373468746e-15,-5.58941185873e-15,0.759835685652),dp);
dot((0.605000333706,0,-5.18073048912e-14),dp);
dot((-0.302500166853,0.523945658287,-4.64369047184e-14),dp);
dot((-0.302500166853,-0.523945658288,-4.49949428981e-14),dp);
draw((0,0,0)--(0,0,0.759835685652),black+dashed);
draw((0.605000333706,0,-5.18073048912e-14)--(0,0,0),black+dashed);
draw((-0.302500166853,0.523945658287,-4.64369047184e-14)--(0,0,0),black+dashed);
back to top