Il s'agit de la commande gfan_tropicalbasis qui peut être exécutée dans le fournisseur d'hébergement gratuit OnWorks en utilisant l'un de nos multiples postes de travail en ligne gratuits tels que Ubuntu Online, Fedora Online, l'émulateur en ligne Windows ou l'émulateur en ligne MAC OS.
PROGRAMME:
Nom
gfan - outil pour calculer les éventails de Gröbner et les variétés tropicales
SYNOPSIS
gfan_outil [Options]
fan _outil [Options]
DESCRIPTION
Gfan est un progiciel de calcul des éventails de Gröbner et des variétés tropicales. Ceux-ci sont
éventails polyédriques associés à des idéaux polynomiaux. Les cônes maximaux d'un éventail de Gröbner sont en
bijection avec les bases de Gröbner réduites marquées de son idéal définissant. Les logiciels
calcule toutes les bases de Gröbner réduites marquées d'un idéal. Leur union est un Gröbner universel
base. La variété tropicale d'un idéal polynomial est un certain sous-complexe du Gröbner
ventilateur. Gfan contient des algorithmes pour calculer ce complexe pour des idéaux généraux et
algorithmes spécialisés pour les courbes tropicales, les hypersurfaces tropicales et les variétés tropicales
des idéaux premiers. En plus des fonctions de base ci-dessus, le package contient de nombreux outils
utiles à l'étude des bases de Gröbner, des idéaux initiaux et de la géométrie tropicale.
La liste complète des outils est :
bases, buchberger, combinerays, doidealcontain, fancommonraffinement, fanhomologie,
fanlink, fanproduct, fansubfan, génériquelinearchange, groebnercone, groebnerfan,
espace d'homogénéité, homogénéiser, formes initiales, interactif, ismarkedgroebnerbasis,
krulldimension, latticeideal, principaux termes, liste, markpolynomialset, minkowskisum, mineurs,
volume mixte, surentiers, padic, polynomialsetunion, render, renderstaircase, saturation,
secondairefan, stats, substitut, symétries, tolatex, topolyhedralfan, tropicalbasis,
tropicalebruteforce, évaluation tropicale, fonction tropicale, hypersurface tropicale,
intersection tropicale, levage tropical, espace linéaire tropical, multiplicité tropicale,
tropicalrank, tropicalstartingcone, tropicaltraverse, tropicalweildivisor, version.
Ci-dessous sont présentées les options génériques disponibles avec tous outils. Pour des options spécifiques de
une donnée outil, nous nous référons au message d'aide de cet outil.
OPTIONS
--Aidez-moi Afficher un message d'aide décrivant la fonctionnalité de gfan_outil et le disponible
options spécifiques.
--log1, --log2...
Dites à Gfan combien d'informations écrire dans l'erreur standard pendant qu'un calcul est
fonctionnement. Ces options sont très utiles lorsque vous souhaitez savoir si Gfan fait des
progresser dans son calcul.
--stdin Plus-value
Spécifiez un fichier à utiliser comme entrée au lieu de lire à partir de l'entrée standard.
--stdout Plus-value
Spécifiez un fichier dans lequel écrire la sortie au lieu d'écrire sur la sortie standard.
--xml Laissez les ventilateurs polyédriques être générés au format XML au lieu du format texte. (Les
Les fichiers XML ne sont pas lisibles par Gfan.)
Utilisez gfan_tropicalbasis en ligne en utilisant les services onworks.net
