EnglishFrenchSpanish

Ad


OnWorks favicon

gfan_tropicalweildivisor - Online in the Cloud

Run gfan_tropicalweildivisor in OnWorks free hosting provider over Ubuntu Online, Fedora Online, Windows online emulator or MAC OS online emulator

This is the command gfan_tropicalweildivisor that can be run in the OnWorks free hosting provider using one of our multiple free online workstations such as Ubuntu Online, Fedora Online, Windows online emulator or MAC OS online emulator

PROGRAM:

NAME


gfan - tool to compute Gröbner fans and tropical varieties

SYNOPSIS


gfan_tool [options]

gfan _tool [options]

DESCRIPTION


Gfan is a software package for computing Gröbner fans and tropical varieties. These are
polyhedral fans associated to polynomial ideals. The maximal cones of a Gröbner fan are in
bijection with the marked reduced Gröbner bases of its defining ideal. The software
computes all marked reduced Gröbner bases of an ideal. Their union is a universal Gröbner
basis. The tropical variety of a polynomial ideal is a certain subcomplex of the Gröbner
fan. Gfan contains algorithms for computing this complex for general ideals and
specialized algorithms for tropical curves, tropical hypersurfaces and tropical varieties
of prime ideals. In addition to the above core functions the package contains many tools
which are useful in the study of Gröbner bases, initial ideals and tropical geometry.

The complete list of tools is:

bases, buchberger, combinerays, doesidealcontain, fancommonrefinement, fanhomology,
fanlink, fanproduct, fansubfan, genericlinearchange, groebnercone, groebnerfan,
homogeneityspace, homogenize, initialforms, interactive, ismarkedgroebnerbasis,
krulldimension, latticeideal, leadingterms, list, markpolynomialset, minkowskisum, minors,
mixedvolume, overintegers, padic, polynomialsetunion, render, renderstaircase, saturation,
secondaryfan, stats, substitute, symmetries, tolatex, topolyhedralfan, tropicalbasis,
tropicalbruteforce, tropicalevaluation, tropicalfunction, tropicalhypersurface,
tropicalintersection, tropicallifting, tropicallinearspace, tropicalmultiplicity,
tropicalrank, tropicalstartingcone, tropicaltraverse, tropicalweildivisor, version.

Below are presented the generic options available with all tools. For specific options of
a given tool, we refer to the help message of that tool.

OPTIONS


--help Display a help message describing the functionality of gfan_tool and the available
specific options.

--log1, --log2...
Tell Gfan how much information to write to standard error while a computation is
running. These options are very useful when you wish to know if Gfan is making any
progress in its computation.

--stdin value
Specify a file to use as input instead of reading from the standard input.

--stdout value
Specify a file to write output to instead of writing to the standard output.

--xml Let polyhedral fans be output in an XML format instead of in the text format. (The
XML files are not readable by Gfan.)

Use gfan_tropicalweildivisor online using onworks.net services


Free Servers & Workstations

Download Windows & Linux apps

  • 1
    Code::Blocks
    Code::Blocks
    Code::Blocks is a free, open-source,
    cross-platform C, C++ and Fortran IDE
    built to meet the most demanding needs
    of its users. It is designed to be very
    extens...
    Download Code::Blocks
  • 2
    Amidst
    Amidst
    Amidst or Advanced Minecraft Interface
    and Data/Structure Tracking is a tool to
    display an overview of a Minecraft
    world, without actually creating it. It
    can ...
    Download Amidst
  • 3
    MSYS2
    MSYS2
    MSYS2 is a collection of tools and
    libraries providing you with an
    easy-to-use environment for building,
    installing and running native Windows
    software. It con...
    Download MSYS2
  • 4
    libjpeg-turbo
    libjpeg-turbo
    libjpeg-turbo is a JPEG image codec
    that uses SIMD instructions (MMX, SSE2,
    NEON, AltiVec) to accelerate baseline
    JPEG compression and decompression on
    x86, x8...
    Download libjpeg-turbo
  • 5
    Xtreme Download Manager
    Xtreme Download Manager
    The project has a new home now:
    https://xtremedownloadmanager.com/ For
    developers:
    https://github.com/subhra74/xdm Xtreme
    Download Manager is a powerful tool t...
    Download Xtreme Download Manager
  • 6
    TTGO VGA32 Lite
    TTGO VGA32 Lite
    Features:4:3 and 16:9 low resolution
    VGA outputPS/2 keyboard and mouse
    inputText-based user interface (TUI)
    with dialog managerPartial Unicode
    supportSlave dis...
    Download TTGO VGA32 Lite
  • More »

Linux commands

Ad