Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/GAP/pkg/hap/lib/Congruence/   (Algebra von RWTH Aachen Version 4.15.1©)  Datei vom 19.6.2025 mit Größe 13 kB image not shown  

Quelle  tmpp.asy   Sprache: unbekannt

 
import solids;
 import graph3;
 import three;
 size(1000);
currentprojection=orthographic(5,4,10);
currentlight=Headlamp;
nslice=4*nslice;
revolution b=sphere(O,1);
real r=sqrt(0.006);
draw(shift(0.5,2.959,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.006);
draw(shift(0.5,-2.95,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.006);
draw(shift(-0.5,-2.95,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.006);
draw(shift(-0.5,2.959,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.006);
draw(shift(0.5,-3.12,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.006);
draw(shift(-0.5,-3.12,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.006);
draw(shift(0.5,3.123,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.006);
draw(shift(-0.5,3.123,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.026);
draw(shift(0.184,1.120,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.026);
draw(shift(0.184,-1.12,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.026);
draw(shift(-0.18,-1.12,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.026);
draw(shift(-0.18,1.120,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.026);
draw(shift(0.236,1.440,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.026);
draw(shift(0.236,-1.44,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.026);
draw(shift(-0.23,-1.44,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.026);
draw(shift(-0.23,1.440,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.026);
draw(shift(0.289,1.760,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.026);
draw(shift(0.289,-1.76,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.026);
draw(shift(-0.28,-1.76,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.026);
draw(shift(-0.28,1.760,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.026);
draw(shift(0.447,2.721,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.026);
draw(shift(0.447,-2.72,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.026);
draw(shift(-0.44,-2.72,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.026);
draw(shift(-0.44,2.721,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.026);
draw(shift(-0.55,2.721,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.026);
draw(shift(0.552,2.721,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.026);
draw(shift(-0.55,-2.72,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.026);
draw(shift(0.552,-2.72,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(1.);
draw(shift(-1.,0.,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(1.);
draw(shift(1.,0.,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(1.);
draw(shift(0.,0.,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.024);
draw(shift(0.585,1.780,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.024);
draw(shift(0.585,-1.78,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.024);
draw(shift(-0.58,-1.78,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.024);
draw(shift(-0.58,1.780,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.024);
draw(shift(-0.41,1.780,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.024);
draw(shift(0.414,1.780,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.024);
draw(shift(-0.41,-1.78,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.024);
draw(shift(0.414,-1.78,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.25);
draw(shift(0.,3.041,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.25);
draw(shift(0.,-3.04,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.25);
draw(shift(-1.,3.041,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.25);
draw(shift(1.,3.041,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.25);
draw(shift(-1.,-3.04,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.25);
draw(shift(1.,-3.04,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.024);
draw(shift(0.170,2.522,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.024);
draw(shift(0.170,-2.52,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.024);
draw(shift(-0.17,-2.52,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.024);
draw(shift(-0.17,2.522,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.021);
draw(shift(0.456,0.925,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.021);
draw(shift(0.456,-0.92,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.021);
draw(shift(-0.45,-0.92,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.021);
draw(shift(-0.45,0.925,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.021);
draw(shift(-0.54,0.925,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.021);
draw(shift(0.543,0.925,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.021);
draw(shift(-0.54,-0.92,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.021);
draw(shift(0.543,-0.92,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.111);
draw(shift(-0.33,2.027,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.111);
draw(shift(-0.33,-2.02,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.111);
draw(shift(0.333,-2.02,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.111);
draw(shift(0.333,2.027,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.111);
draw(shift(-0.66,2.027,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.111);
draw(shift(0.666,2.027,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.111);
draw(shift(-0.66,-2.02,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.111);
draw(shift(0.666,-2.02,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.111);
draw(shift(0.,2.027,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.111);
draw(shift(0.,-2.02,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.021);
draw(shift(0.152,1.719,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.021);
draw(shift(0.152,-1.71,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.021);
draw(shift(-0.15,-1.71,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.021);
draw(shift(-0.15,1.719,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.018);
draw(shift(0.603,0.918,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.018);
draw(shift(0.603,-0.91,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.018);
draw(shift(-0.60,-0.91,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.018);
draw(shift(-0.60,0.918,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.018);
draw(shift(-0.39,0.918,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.018);
draw(shift(0.396,0.918,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.018);
draw(shift(-0.39,-0.91,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.018);
draw(shift(0.396,-0.91,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.018);
draw(shift(0.509,2.295,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.018);
draw(shift(0.509,-2.29,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.018);
draw(shift(-0.50,-2.29,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.018);
draw(shift(-0.50,2.295,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.018);
draw(shift(-0.49,2.295,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.018);
draw(shift(0.490,2.295,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.018);
draw(shift(-0.49,-2.29,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.018);
draw(shift(0.490,-2.29,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.062);
draw(shift(0.,1.520,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.062);
draw(shift(0.,-1.52,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.062);
draw(shift(0.5,1.520,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.062);
draw(shift(0.5,-1.52,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.062);
draw(shift(-0.5,-1.52,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.062);
draw(shift(-0.5,1.520,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.040);
draw(shift(-0.20,1.216,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.040);
draw(shift(-0.20,-1.21,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.040);
draw(shift(0.200,-1.21,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.040);
draw(shift(0.200,1.216,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.040);
draw(shift(-0.20,2.433,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.040);
draw(shift(-0.20,-2.43,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.040);
draw(shift(0.200,-2.43,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.040);
draw(shift(0.200,2.433,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.040);
draw(shift(0.,1.216,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.040);
draw(shift(0.,-1.21,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.040);
draw(shift(0.,2.433,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.040);
draw(shift(0.,-2.43,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.040);
draw(shift(0.400,1.216,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.040);
draw(shift(0.400,-1.21,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.040);
draw(shift(-0.40,-1.21,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.040);
draw(shift(-0.40,1.216,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.040);
draw(shift(-0.59,1.216,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.040);
draw(shift(0.599,1.216,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.040);
draw(shift(-0.59,-1.21,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.040);
draw(shift(0.599,-1.21,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.040);
draw(shift(0.400,2.433,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.040);
draw(shift(0.400,-2.43,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.040);
draw(shift(-0.40,-2.43,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.040);
draw(shift(-0.40,2.433,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.040);
draw(shift(-0.59,2.433,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.040);
draw(shift(0.599,2.433,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.040);
draw(shift(-0.59,-2.43,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.040);
draw(shift(0.599,-2.43,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.027);
draw(shift(0.,1.013,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.027);
draw(shift(0.,-1.01,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.027);
draw(shift(0.333,1.013,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.027);
draw(shift(0.333,-1.01,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.027);
draw(shift(-0.33,-1.01,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.027);
draw(shift(-0.33,1.013,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.027);
draw(shift(-0.66,1.013,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.027);
draw(shift(0.666,1.013,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.027);
draw(shift(-0.66,-1.01,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.027);
draw(shift(0.666,-1.01,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.020);
draw(shift(0.285,2.606,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.020);
draw(shift(0.285,-2.60,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.020);
draw(shift(-0.28,-2.60,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.020);
draw(shift(-0.28,2.606,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.020);
draw(shift(0.428,2.606,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.020);
draw(shift(0.428,-2.60,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.020);
draw(shift(-0.42,-2.60,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.020);
draw(shift(-0.42,2.606,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.020);
draw(shift(-0.57,2.606,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.020);
draw(shift(0.571,2.606,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.020);
draw(shift(-0.57,-2.60,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.020);
draw(shift(0.571,-2.60,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.008);
draw(shift(0.272,1.658,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.008);
draw(shift(0.272,-1.65,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.008);
draw(shift(-0.27,-1.65,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.008);
draw(shift(-0.27,1.658,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.003);
draw(shift(0.470,2.862,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.003);
draw(shift(0.470,-2.86,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.003);
draw(shift(-0.47,-2.86,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.003);
draw(shift(-0.47,2.862,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.003);
draw(shift(-0.52,2.862,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.003);
draw(shift(0.529,2.862,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.003);
draw(shift(-0.52,-2.86,0)*scale3(r)*surface(b),blue+opacity(1));
real r=sqrt(0.003);
draw(shift(0.529,-2.86,0)*scale3(r)*surface(b),blue+opacity(1));
real S=3.041;
real V=0.00365331082900794;
path3 g=(-0.5,-S,1)--(0.5,-S,1)--(0.5,S,1)--(-0.5,S,1)--cycle;
draw(g,white+linewidth(0.3));real L=-2.;
real R=2.;
real T=3.54138126514911;
real B=-3.54138126514911;
triple p0 =(L,T,V), p1=(R,T,V), p2 = (R,B,V), p3 = (L,B,V);
triple q0 =(L,T,-1), q1=(R,T,-1), q2 = (R,B,-1), q3 = (L,B,-1);
skeleton s;
b.transverse(s,reltime(b.g,0.5),P=currentprojection);
draw(surface(p0--p1--p2--p3--cycle),white);
draw(surface(q0--q1--q2--q3--cycle),white);
draw(surface(p0--p1--q1--q0--cycle),white);
draw(surface(q1--p1--p2--q2--cycle),white);
draw(surface(q3--q2--p2--p3--cycle),white);
draw(surface(p0--q0--q3--p3--cycle),white);

[ Dauer der Verarbeitung: 0.2 Sekunden  (vorverarbeitet)  ]