Este es el comando gfan_saturation que se puede ejecutar en el proveedor de alojamiento gratuito de OnWorks utilizando una de nuestras múltiples estaciones de trabajo en línea gratuitas, como Ubuntu Online, Fedora Online, emulador en línea de Windows o emulador en línea de MAC OS.
PROGRAMA:
NOMBRE
gfan - herramienta para calcular abanicos de Gröbner y variedades tropicales
SINOPSIS
gfan_del IRS [opciones]
gfan _del IRS [opciones]
DESCRIPCIÓN
Gfan es un paquete de software para computar ventiladores de Gröbner y variedades tropicales. Estos son
abanicos poliédricos asociados a ideales polinomiales. Los conos máximos de un ventilador de Gröbner están en
biyección con las bases de Gröbner marcadas y reducidas de su ideal definitorio. El software
calcula todas las bases de Gröbner reducidas marcadas de un ideal. Su unión es un Gröbner universal
base. La variedad tropical de un ideal polinomial es un cierto subcomplejo del Gröbner
admirador. Gfan contiene algoritmos para calcular este complejo para ideales generales y
algoritmos especializados para curvas tropicales, hipersuperficies tropicales y variedades tropicales
de ideales primordiales. Además de las funciones básicas anteriores, el paquete contiene muchas herramientas
que son útiles en el estudio de las bases de Gröbner, ideales iniciales y geometría tropical.
La lista completa de del IRSs es:
bases, buchberger, combinerays, doidealcontain, fancommonrefinement, fanhomology,
fanlink, fanproduct, fansubfan, cambio lineal genérico, groebnercone, groebnerfan,
homogeneidad del espacio, homogeneizar, formas iniciales, interactivas, ismarkedgroebnerbasis,
krulldimension, latticeideal, principales términos, lista, markpolynomialset, minkowskisum, menores,
volumen mixto, sobre enteros, padic, polinomio, unión, render, render, escalera, saturación,
ventilador secundario, estadísticas, sustituto, simetrías, tolatex, topolyédricofan, tropicalbasis,
fuerza bruta tropical, evaluación tropical, función tropical, hiperesuperficie tropical,
intersección tropical, elevación tropical, espacio lineal tropical, multiplicidad tropical,
tropicalrank, tropicalstartingcone, tropicaltraverse, tropicalweildivisor, versión.
A continuación se presentan las opciones genéricas disponibles con todos del IRSs. Para opciones específicas de
un dado del IRS, nos remitimos al mensaje de ayuda de esa herramienta.
CAMPUS
--ayuda Muestra un mensaje de ayuda que describe la funcionalidad de gfan_del IRS y el disponible
opciones específicas.
--log1, --log2 ...
Dígale a Gfan cuánta información debe escribir en el error estándar mientras se realiza un cálculo.
corriendo. Estas opciones son muy útiles cuando desea saber si Gfan está haciendo alguna
progreso en su cálculo.
--stdin propuesta de
Especifique un archivo para usar como entrada en lugar de leer desde la entrada estándar.
--salida estándar propuesta de
Especifique un archivo en el que escribir la salida en lugar de escribir en la salida estándar.
--xml Deje que los ventiladores poliédricos se emitan en formato XML en lugar de en formato de texto. (Los
Gfan no puede leer los archivos XML).
Use gfan_saturation en línea usando los servicios de onworks.net
