4ti2-zsolve - آنلاین در ابر

برنامه:

نام

4ti2 - بسته نرم افزاری برای مسائل جبری، هندسی و ترکیبی به صورت خطی
فضاها

خلاصه

مدارهای 4ti2
4ti2-genmodel [--ساکت] foo.Mod
4TI2-gensymm [--ساکت] a b c d فو
4ti2-گرور [--ساکت] foo [| .mat | .lat]
4TI2-Groebner [--آرام|-q] [--نیروی|-f] [--اشباع|-s] [--project-and-lift|-p]
[--عادی|-n] [--وزن دار|-w] [-gebauer-moeller | -g] [-auto-reduce-freq =N|-aN] فو
4ti2-hilbert [--ساکت] فو
4ti2-markov [--آرام|-q] فو
4TI2-Minmize [--آرام|-q] فو
4ti2-normalform
خروجی 4ti2 [--ساکت] [--دوجمله‌ای] [--افرا] [--0-1] [-- انتقال] [--درجه [N]]
[--مثبت] [--3 راه a b c] فو
4TI2-PPI
4Ti2-qsolve
4TI2 پرتو
4TI2 پیاده روی
4ti2-Zbasis
4ti2-zsolve

شرح

بسته نرم افزاری 4ti2 مجموعه ای از ابزارهای خط فرمان برای آدرس دهی جبری است.
مسائل هندسی و ترکیبی در فضاهای خطی

داده ها ساختار

مفهوم اصلی 4ti2 یکسان است: یک پروژه از طریق یک فایل تعریف می شود foo[.mat]
حاوی ماتریس مسئله مجموعه های مرتبط مانند پایه گریور یا پایه مارکوف قرار داده می شود
به foo.gra و foo.marبود.

فایل های ورودی و خروجی معمولاً حاوی یک ماتریس یا فهرستی از بردارها هستند (نوشته شده به صورت a
ماتریس) در یک رمزگذاری استاندارد مانند
2 4
1 1 1 1
1 2 3 4

فقط چند استثنا وجود دارد، به عنوان مثال در یک فایل foo.vars حاوی کاربر مشخص شده است
نام متغیرها:
3
abx

با استفاده از خدمات onworks.net از 4ti2-zsolve به صورت آنلاین استفاده کنید