EnglishFrenchSpanish

OnWorks favicon

4ti2-walk - Online in the Cloud

Run 4ti2-walk in OnWorks free hosting provider over Ubuntu Online, Fedora Online, Windows online emulator or MAC OS online emulator

This is the command 4ti2-walk 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


4ti2 - software package for algebraic, geometric and combinatorial problems on linear
spaces

SYNOPSIS


4ti2-circuits
4ti2-genmodel [--quiet] foo.mod
4ti2-gensymm [--quiet] a b c d foo
4ti2-graver [--quiet] foo[|.mat|.lat]
4ti2-groebner [--quiet|-q] [--force|-f] [--saturation|-s] [--project-and-lift|-p]
[--normal|-n] [--weighted|-w] [--gebauer-moeller|-g] [--auto-reduce-freq=N|-aN] foo
4ti2-hilbert [--quiet] foo
4ti2-markov [--quiet|-q] foo
4ti2-minimize [--quiet|-q] foo
4ti2-normalform
4ti2-output [--quiet] [--binomials] [--maple] [--0-1] [--transpose] [--degree [N]]
[--positive] [--3way a b c] foo
4ti2-ppi
4ti2-qsolve
4ti2-rays
4ti2-walk
4ti2-zbasis
4ti2-zsolve

DESCRIPTION


The software package 4ti2 is a suite of command-line tools for addressing algebraic,
geometric and combinatorial problems on linear spaces.

DATA STRUCTURE


The main concept of 4ti2 remains the same: a project is defined via a file foo[.mat]
containing the problem matrix. Related sets such as Graver basis or Markov basis are put
into foo.gra and foo.mar, respectively.

Input files and output files usually contain a matrix or a list of vectors (written as a
matrix) in a standard encoding such as
2 4
1 1 1 1
1 2 3 4

There are only few exceptions, for example in a file foo.vars containing user specified
variable names:
3
a b x

Use 4ti2-walk online using onworks.net services


Free Servers & Workstations

Download Windows & Linux apps

  • 1
    GenX
    GenX
    GenX is a scientific program to refine
    x-ray refelcetivity, neutron
    reflectivity and surface x-ray
    diffraction data using the differential
    evolution algorithm....
    Download GenX
  • 2
    pspp4windows
    pspp4windows
    PSPP is a program for statistical
    analysis of sampled data. It is a free
    replacement for the proprietary program
    SPSS. PSPP has both text-based and
    graphical us...
    Download pspp4windows
  • 3
    Git Extensions
    Git Extensions
    Git Extensions is a standalone UI tool
    for managing Git repositories. It also
    integrates with Windows Explorer and
    Microsoft Visual Studio
    (2015/2017/2019). Th...
    Download Git Extensions
  • 4
    eSpeak: speech synthesis
    eSpeak: speech synthesis
    Text to Speech engine for English and
    many other languages. Compact size with
    clear but artificial pronunciation.
    Available as a command-line program with
    many ...
    Download eSpeak: speech synthesis
  • 5
    Sky Chart / Cartes du Ciel
    Sky Chart / Cartes du Ciel
    SkyChart is a software to draw chart of
    the night sky for the amateur astronomer
    from a bunch of stars and nebulae
    catalogs. See main web page for full
    download...
    Download Sky Chart / Cartes du Ciel
  • 6
    GSmartControl
    GSmartControl
    GSmartControl is a graphical user
    interface for smartctl. It allows you to
    inspect the hard disk and solid-state
    drive SMART data to determine its
    health, as w...
    Download GSmartControl
  • More »

Linux commands

  • 1
    abc2abc
    abc2abc
    abc2abc - a simple abc
    checker/re-formatter/transposer ...
    Run abc2abc
  • 2
    abc2ly
    abc2ly
    abc2ly - manual page for abc2ly
    (LilyPond) 2.18.2 ...
    Run abc2ly
  • 3
    coqmktop
    coqmktop
    coqmktop - The Coq Proof Assistant
    user-tactics linker ...
    Run coqmktop
  • 4
    coqtop
    coqtop
    coqtop - The Coq Proof Assistant
    toplevel system ...
    Run coqtop
  • 5
    g.copygrass
    g.copygrass
    g.copy - Copies available data files in
    the current mapset search path to the
    user�s current mapset. KEYWORDS:
    general, map management ...
    Run g.copygrass
  • 6
    g.dirsepsgrass
    g.dirsepsgrass
    g.dirseps - Internal GRASS utility for
    converting directory separator
    characters. Converts any directory
    separator characters in the input string
    to or from na...
    Run g.dirsepsgrass
  • More »

Ad