זוהי הפקודה 4ti2-zbasis שניתן להריץ בספק האירוח החינמי של OnWorks באמצעות אחת מתחנות העבודה המקוונות המרובות שלנו בחינם כגון Ubuntu Online, Fedora Online, אמולטור מקוון של Windows או אמולטור מקוון של MAC OS
תָכְנִית:
שֵׁם
4ti2 - חבילת תוכנה לבעיות אלגבריות, גיאומטריות וקומבינטוריות על ליניארי
רווחים
תַקצִיר
מעגלים 4ti2
4ti2-genmodel [--שֶׁקֶט] foo.mod
4ti2-gensym [--שֶׁקֶט] a b c d Foo
4ti2-graver [--שֶׁקֶט] foo[|.mat|.lat]
4ti2-groebner [--שקט|-ש] [--force|-f] [--רוויה|-s] [--פרויקט-והרמה|-p]
[--רגיל|-n] [--משוקלל|-w] [--gebauer-moeller|-g] [--auto-reduce-freq=N|-אN] Foo
4ti2-hilbert [--שֶׁקֶט] Foo
4ti2-markov [--שקט|-ש] Foo
4ti2-מזעור [--שקט|-ש] Foo
4ti2-נורמלי
פלט 4ti2 [--שֶׁקֶט] [--בינומיים] [--אֶדֶר] [--0-1] [--לְשַׁרבֵּב] [--תוֹאַר [N]]
[--חִיוּבִי] [--3 דרך a b c] Foo
4ti2-ppi
4ti2-qsolve
קרני 4ti2
4ti2-הליכה
4ti2-zbasis
4ti2-zsolve
תיאור
חבילת התוכנה 4ti2 היא חבילה של כלי שורת פקודה לטיפול באלגברי,
בעיות גיאומטריות וקומבינטוריות על רווחים ליניאריים.
נתונים מבנה
הרעיון המרכזי של 4ti2 נשאר זהה: פרויקט מוגדר באמצעות קובץ foo[.mat]
המכיל את מטריצת הבעיה. סטים קשורים כגון Graver Base או Markov Base מונחים
אל תוך foo.gra ו foo.mar, בהתאמה.
קבצי קלט וקבצי פלט מכילים בדרך כלל מטריצה או רשימה של וקטורים (נכתבים בתור a
מטריצה) בקידוד סטנדרטי כגון
2 4
1 1 1 1
1 2 3 4
יש רק כמה יוצאי דופן, למשל בקובץ foo.vars המכיל משתמש שצוין
שמות משתנים:
3
abx
השתמש ב-4ti2-zbasis באינטרנט באמצעות שירותי onworks.net
