קובץ:Free distributive lattice with 3 generators (x,y,z).gif
תוכן הדף אינו נתמך בשפות אחרות.
מראה
מתוך ויקיפדיה, האנציקלופדיה החופשית
גודל התצוגה המקדימה הזאת: 649 × 599 פיקסלים. רזולוציות אחרות: 260 × 240 פיקסלים | 520 × 480 פיקסלים | 996 × 920 פיקסלים.
לקובץ המקורי (996 × 920 פיקסלים, גודל הקובץ: 21 ק"ב, סוג MIME: image/gif)
זהו קובץ שמקורו במיזם ויקישיתוף. תיאורו בדף תיאור הקובץ המקורי (בעברית) מוצג למטה. |
תקציר
תיאורFree distributive lattice with 3 generators (x,y,z).gif |
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 לא מותאם.
- יש לך חופש:
- לשתף – להעתיק, להפיץ ולהעביר את העבודה
- לערבב בין עבודות – להתאים את העבודה
- תחת התנאים הבאים:
- ייחוס – יש לתת ייחוס הולם, לתת קישור לרישיון, ולציין אם נעשו שינויים. אפשר לעשות את זה בכל צורה סבירה, אבל לא בשום צורה שמשתמע ממנה שמעניק הרישיון תומך בך או בשימוש שלך.
- שיתוף זהה – יצירת רמיקס, שינוי או בנייה על סמך החומר הזה, תטיל עליך חובה להפיץ את התרומות שלך לפי תנאי רישיון זהה או תואם למקור.
פריטים שמוצגים בקובץ הזה
מוצג
ערך כלשהו ללא פריט ויקינתונים
1 בספטמבר 2013
היסטוריית הקובץ
ניתן ללחוץ על תאריך/שעה כדי לראות את הקובץ כפי שנראה באותו זמן.
תאריך/שעה | תמונה ממוזערת | ממדים | משתמש | הערה | |
---|---|---|---|---|---|
נוכחית | 12:33, 1 בספטמבר 2013 | 920 × 996 (21 ק"ב) | Jochen Burghardt | User created page with UploadWizard |
שימוש בקובץ
אין בוויקיפדיה דפים המשתמשים בקובץ זה.