Fichier:Free modular lattice with 3 generators (x,y,z).gif

Fichier d’origine(807 × 904 pixels, taille du fichier : 23 kio, type MIME : image/gif)

Ce fichier et sa description proviennent de Wikimedia Commons.

Description

Description
English: 3-dimensional diagram of the free modular lattice generated by {x,y,z}. Constructed in 1900 by R. Dedekind.

O=x∧y∧z, I=x∨y∨z, p=x∧y, p'=x∨y, q=x∧z, q'=x∨z, r=y∧z, r'=y∨z, u=p∨q, u'=p∧q, v=p∨r, v'=p∧r, w=q∨r, w'=q∧r, a=x∧r', a'=x∨r, b=y∧q', b'=y∨q, c=z∧p', c'=z∨p, o=p∨q∨r, i=p'∧q'∧r', e=a∨o=a'∧i, f=b∨o=b'∧i,

g=c∨o=c'∧i.
Date
Source Travail personnel
Auteur Jochen Burghardt
Gnuplot source code
set parametric
set hidden3d
unset key 
set xrange [-10:10]
set yrange [-10:10]
set zrange [-10:10]
unset border
unset xtics
unset ytics
unset ztics
set style data line
set view 30,330,1.0,1.0
set view 55,335,1.0,1.0
set view 25,340,1.0,1.0
set title "Free modular lattice with 3 generators (x,y,z)" font ",16"
splot "m28c.gpdat" index 0:08 with lines 1, "m28c.gpdat" index 09:26 with lines 3, "m28c.gpdat" index 27:35 with lines 1, "m28c.gpdat" index 36:38 with lines 1, "m28c.gpdat" index 39:41 with lines 2, "m28c.gpdat" index 42:44 with lines 2, "m28c.gpdat" index 45:47 with lines 1 

set label "O" at 0,0,3 front font ",18" tc rgb "#606060"
set label "p" at 0,2,3 front font ",18" tc rgb "#606060"
set label "q" at 0,0,5 front font ",18" tc rgb "#606060"
set label "r" at 2,0,3 front font ",18" tc rgb "#606060"
set label "u" at 0,2,5 front font ",18" tc rgb "#606060"
set label "v" at 2,2,3 front font ",18" tc rgb "#606060"
set label "w" at 2,0,5 front font ",18" tc rgb "#606060"
set label "a" at 2,4,5 front font ",18" tc rgb "#606060"
set label "b" at 3,3,4 front font ",18" tc rgb "#606060"
set label "c" at 4,2,5 front font ",18" tc rgb "#606060"
set label "e" at 2,4,7 front font ",18" tc rgb "#606060"
set label "f" at 3,3,7 front font ",18" tc rgb "#606060"
set label "g" at 4,2,7 front font ",18" tc rgb "#606060"
set label "a'" at 4,6,7 front font ",18" tc rgb "#606060"
set label "b'" at 4,4,8 front font ",18" tc rgb "#606060"
set label "c'" at 6,4,7 front font ",18" tc rgb "#606060"
set label "u'" at 5,7,7 front font ",18" tc rgb "#606060"
set label "v'" at 5,5,9 front font ",18" tc rgb "#606060"
set label "w'" at 7,5,7 front font ",18" tc rgb "#606060"
set label "p'" at 5,7,9 front font ",18" tc rgb "#606060"
set label "q'" at 7,7,7 front font ",18" tc rgb "#606060"
set label "r'" at 7,5,9 front font ",18" tc rgb "#606060"
set label "I" at 7,7,9 front font ",18" tc rgb "#606060"
set label "o" at 2,2,5 front font ",18" tc rgb "#606060"
set label "i" at 5,5,7 front font ",18" tc rgb "#606060"
set label "x" at 4,6,5 front font ",18" tc rgb "#000000"
set label "y" at 4,4,5 front font ",18" tc rgb "#000000"
set label "z" at 6,4,5 front font ",18" tc rgb "#000000"

pause -1 "Press Return"
Data file "m28c.gpdat" used by gnuplot code
0 0 3 
0 2 3 


0 0 3 
0 0 5 


0 0 3 
2 0 3 



0 2 3 
0 2 5 


0 2 3 
2 2 3 


0 0 5 
0 2 5 


0 0 5 
2 0 5 


2 0 3 
2 2 3 


2 0 3 
2 0 5 



0 2 5 
2 4 5 


2 2 3 
3 3 4 


2 0 5 
4 2 5 



2 4 5 
4 6 5 


2 4 5 
2 4 7


3 3 4
4 4 5


3 3 4
3 3 7


4 2 5
6 4 5


4 2 5
4 2 7


2 4 7
4 6 7


4 6 5
4 6 7


3 3 7
4 4 8


4 4 5
4 4 8


4 2 7
6 4 7


6 4 5
6 4 7


4 6 7
5 7 7


4 4 8
5 5 9


6 4 7
7 5 7


5 7 7
5 7 9


5 7 7
7 7 7


5 5 9
5 7 9


5 5 9
7 5 9


7 5 7
7 7 7


7 5 7
7 5 9


5 7 9
7 7 9


7 7 7
7 7 9


7 5 9
7 7 9


0 2 5
2 2 5


2 2 3
2 2 5


2 0 5
2 2 5


2 2 5
2 4 7


2 2 5
3 3 7


2 2 5
4 2 7


2 4 7
5 5 7


3 3 7
5 5 7


4 2 7
5 5 7


5 5 7
5 7 7


5 5 7
5 5 9


5 5 7
7 5 7

Conditions d’utilisation

Moi, en tant que détenteur des droits d’auteur sur cette œuvre, je la publie sous la licence suivante :
w:fr:Creative Commons
paternité partage à l’identique
Ce fichier est disponible selon les termes de la licence Creative Commons Attribution – Partage dans les Mêmes Conditions 3.0 (non transposée).
Vous êtes libre :
  • de partager – de copier, distribuer et transmettre cette œuvre
  • d’adapter – de modifier cette œuvre
Sous les conditions suivantes :
  • paternité – Vous devez donner les informations appropriées concernant l'auteur, fournir un lien vers la licence et indiquer si des modifications ont été faites. Vous pouvez faire cela par tout moyen raisonnable, mais en aucune façon suggérant que l’auteur vous soutient ou approuve l’utilisation que vous en faites.
  • partage à l’identique – Si vous modifiez, transformez, ou vous basez sur cette œuvre, vous devez distribuer votre contribution sous la même licence ou une licence compatible avec celle de l’original.

Légendes

Ajoutez en une ligne la description de ce que représente ce fichier

Éléments décrits dans ce fichier

dépeint

Historique du fichier

Cliquer sur une date et heure pour voir le fichier tel qu'il était à ce moment-là.

Date et heureVignetteDimensionsUtilisateurCommentaire
actuel31 août 2013 à 17:33Vignette pour la version du 31 août 2013 à 17:33807 × 904 (23 kio)Jochen BurghardtUser created page with UploadWizard

La page suivante utilise ce fichier :

Usage global du fichier

Les autres wikis suivants utilisent ce fichier :