קובץ:Free distributive lattice with 3 generators (x,y,z).gif
גודל התצוגה המקדימה הזאת: 649 × 599 פיקסלים. רזולוציות אחרות: 260 × 240 פיקסלים | 520 × 480 פיקסלים | 996 × 920 פיקסלים.
לקובץ המקורי (996 × 920 פיקסלים, גודל הקובץ: 21 ק"ב, סוג MIME: image/gif)
|
זהו קובץ שמקורו במיזם ויקישיתוף. תיאורו בדף תיאור הקובץ המקורי (בעברית) מוצג למטה. |
.gif?uselang=he){kind=link}
.gif){kind=small}
תקציר
| תיאור |
English: 3-dimensional diagram of the free distributive lattice generated by {x,y,z}.
O=x∧y∧z, p=x∧y, q=x∧z, r=y∧z, u=p∨q, v=p∨r, w=q∨r, ø=p∨q∨r=p'∧q'∧r', I=x∨y∨z, p'=x∨y, q'=x∨z, r'=y∨z, u'=p∧q, v'=p∧r, w'=q∧r. |
| תאריך יצירה | |
| מקור | נוצר על־ידי מעלה היצירה |
| יוצר | 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 distributive lattice with 3 generators (x,y,z)" font ",16"
splot "m18c.gpdat" index 0:08 with lines 1, "m18c.gpdat" index 09:14 with lines 3, "m18c.gpdat" index 15:35 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 "u'" at 2,4,5 front font ",18" tc rgb "#606060"
set label "v'" at 2,2,7 front font ",18" tc rgb "#606060"
set label "w'" at 4,2,5 front font ",18" tc rgb "#606060"
set label "p'" at 2,4,7 front font ",18" tc rgb "#606060"
set label "q'" at 4,4,5 front font ",18" tc rgb "#606060"
set label "r'" at 4,2,7 front font ",18" tc rgb "#606060"
set label "I" at 4,4,7 front font ",18" tc rgb "#606060"
set label "ø" at 2,2,5 front font ",18" tc rgb "#606060"
set label "x" at 0.9,3.1,5 front font ",18" tc rgb "#000000"
set label "y" at 1.7,1.7,5 front font ",18" tc rgb "#000000"
set label "z" at 3.1,0.9,5 front font ",18" tc rgb "#000000"
pause -1 "Press Return"
|
| Data file "m18c.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 0.9 3.1 5
2 2 3 1.7 1.7 5
2 0 5 3.1 0.9 5
0.9 3.1 5 2 4 5
1.7 1.7 5 2 2 7
3.1 0.9 5 4 2 5
2 4 5 2 4 7
2 4 5 4 4 5
2 2 7 2 4 7
2 2 7 4 2 7
4 2 5 4 4 5
4 2 5 4 2 7
2 4 7 4 4 7
4 4 5 4 4 7
4 2 7 4 4 7
0 2 5 2 2 5
2 2 3 2 2 5
2 0 5 2 2 5
2 2 5 2 4 5
2 2 5 2 2 7
2 2 5 4 2 5 |
רישיון
אני, בעל זכויות היוצרים על עבודה זו, מפרסם בזאת את העבודה תחת הרישיון הבא:
הקובץ הזה מתפרסם לפי תנאי רישיון קריאייטיב קומונז ייחוס-שיתוף זהה 3.0 לא מותאם.
- הנכם רשאים:
- לשתף – להעתיק, להפיץ ולהעביר את העבודה
- לערבב בין עבודות – להתאים את העבודה
- תחת התנאים הבאים:
- ייחוס – יש לתת ייחוס הולם, לתת קישור לרישיון, ולציין אם נעשו שינויים. אפשר לעשות את זה בכל צורה סבירה, אבל לא בשום צורה שמשתמע ממנה שמעניק הרישיון תומך בך או בשימוש שלך.
- שיתוף זהה – אם תיצרו רמיקס, תשנו, או תבנו על החומר, חובה עליכם להפיץ את התרומות שלך לפי תנאי רישיון זהה או תואם למקור.
היסטוריית הקובץ
ניתן ללחוץ על תאריך/שעה כדי לראות את הקובץ כפי שנראה באותו זמן.
| תאריך/שעה | תמונה ממוזערת | ממדים | משתמש | הערה | |
|---|---|---|---|---|---|
| נוכחית | 12:33, 1 בספטמבר 2013 | | 920 × 996 (21 ק"ב) | Jochen Burghardt | User created page with UploadWizard |
שימוש בקובץ
אין בוויקיפדיה דפים המשתמשים בקובץ זה.
.gif){kind=link}