هذا هو الأمر gfan_saturation الذي يمكن تشغيله في موفر الاستضافة المجاني OnWorks باستخدام إحدى محطات العمل المجانية المتعددة عبر الإنترنت مثل Ubuntu Online أو Fedora Online أو محاكي Windows عبر الإنترنت أو محاكي MAC OS عبر الإنترنت
برنامج:
اسم
gfan - أداة لحساب مراوح Gröbner والأصناف الاستوائية
موجز
gfan_أداة [الخيارات]
com.gfan _أداة [الخيارات]
الوصف
Gfan عبارة عن حزمة برامج لحساب مراوح Gröbner والأصناف الاستوائية. وهذه هي
مراوح متعددة السطوح مرتبطة بالمُثُل متعددة الحدود. توجد الأقماع القصوى لمروحة Gröbner
الانحراف مع قواعد Gröbner المخففة الملحوظة لمثله المثالي المحدد. البرنامج
يحسب جميع قواعد Gröbner المخفّضة ذات العلامات المثالية. اتحادهم هو Gröbner عالمي
أساس. التنوع الاستوائي لمثل متعدد الحدود هو مجمع فرعي معين من Gröbner
المعجب. يحتوي Gfan على خوارزميات لحساب هذا المركب للمثل العامة و
خوارزميات متخصصة للمنحنيات الاستوائية والأسطح الفوقية الاستوائية والأصناف الاستوائية
من المثل العليا. بالإضافة إلى الوظائف الأساسية المذكورة أعلاه ، تحتوي الحزمة على العديد من الأدوات
والتي تفيد في دراسة قواعد Gröbner والمثل الأولية والهندسة الاستوائية.
القائمة الكاملة لـ أداةs هي:
القواعد ، buchberger ، التوليفات ، doidealcontain ، fancommon refinement ، fanhomology ،
fanlink ، fanproduct ، fansubfan ، genericlinearchange ، groebnercone ، groebnerfan ،
مساحة تجانس ، تجانس ، أشكال أولية ، تفاعلية ، قاعدة نائية مميزة ،
krulldimension ، latticeideal ، البادئة ، قائمة ، markpolynomialset ، minkowskisum ، القصر ،
مختلط الحجم ، overintegers ، باديك ، متعدد الحدود
مروحة ثانوية ، إحصائيات ، بديل ، تناظرات ، تلاتكس ، مروحة توبوليهيدرال ، قاعدة استوائية ،
القوة الاستوائية ، التقييم المداري ، الوظيفة الاستوائية ، السطح الاستوائي ،
تقاطع استوائي ، رفع استوائي ، فضاء مداري ، تعدد استوائي ،
الاستوائية
فيما يلي عرض الخيارات العامة المتاحة مع الجميع أداةس. للحصول على خيارات محددة من
معين أداة، نشير إلى رسالة المساعدة الخاصة بهذه الأداة.
OPTIONS
--مساعدة اعرض رسالة تعليمات تصف وظائف gfan_أداة والمتاح
خيارات محددة.
--log1 ، --log2 ...
أخبر Gfan بكمية المعلومات التي يجب كتابتها للخطأ القياسي أثناء الحساب
ادارة. هذه الخيارات مفيدة للغاية عندما ترغب في معرفة ما إذا كان Gfan يقوم بأي منها
التقدم في حسابها.
- ستدين قيمنا
حدد ملفًا لاستخدامه كمدخل بدلاً من القراءة من الإدخال القياسي.
- stdout قيمنا
حدد ملفًا لكتابة الإخراج إليه بدلاً من الكتابة إلى الإخراج القياسي.
--xml دع المراوح متعددة السطوح يتم إخراجها بتنسيق XML بدلاً من تنسيق النص. (ال
ملفات XML ليست قابلة للقراءة بواسطة Gfan.)
استخدم gfan_saturation عبر الإنترنت باستخدام خدمات onworks.net
