4ti2 - מקוון בענן

תָכְנִית:

שֵׁם

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 באינטרנט באמצעות שירותי onworks.net