EnglishFrenchSpanish

Ad


OnWorks favicon

4ti2-circuits - Online in the Cloud

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

This is the command 4ti2-circuits 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-circuits online using onworks.net services


Free Servers & Workstations

Download Windows & Linux apps

  • 1
    s3cmd
    s3cmd
    Open-source tool to access Amazon S3
    file storage. S3cmd is a free command
    line tool and client for uploading,
    retrieving and managing data in Amazon
    S3 and ot...
    Download s3cmd
  • 2
    XyZerKunG ServerTool
    XyZerKunG ServerTool
    XyZerKunG ServerTool helps you to make
    your own Minecraft server and play with
    your friend for a few minutes.
    Features:Automatically create a
    Minecraft serverU...
    Download XyZerKunG ServerTool
  • 3
    CalcTools
    CalcTools
    Java source intended to serve as a
    nexus for teaching both mathematics and
    software solutions for computation on
    iterative equations. Public interfaces
    allow a...
    Download CalcTools
  • 4
    Rocket.Chat Desktop Client
    Rocket.Chat Desktop Client
    Rocket.Chat Desktop client is the
    official desktop app for Rocket.Chat,
    the simple but powerful open source web
    chat platform. It's tested on macOS,
    Windows...
    Download Rocket.Chat Desktop Client
  • 5
    OfficeFloor
    OfficeFloor
    OfficeFloor provides inversion of
    coupling control, with its: - dependency
    injection - continuation injection -
    thread injection For more information
    visit the...
    Download OfficeFloor
  • 6
    DivKit
    DivKit
    DivKit is an open source Server-Driven
    UI (SDUI) framework. It allows you to
    roll out server-sourced updates to
    different app versions. Also, it can be
    used fo...
    Download DivKit
  • 7
    subconverter
    subconverter
    Utility to convert between various
    subscription format. Shadowrocket users
    should use ss, ssr or v2ray as target.
    You can add &remark= to
    Telegram-liked HT...
    Download subconverter
  • More »

Linux commands

Ad