AnglaisFrançaisEspagnol

Ad


Icône de favori OnWorks

interpformat - En ligne dans le Cloud

Exécutez interpformat dans le fournisseur d'hébergement gratuit OnWorks sur Ubuntu Online, Fedora Online, l'émulateur en ligne Windows ou l'émulateur en ligne MAC OS

Il s'agit du format interp de commande qui peut être exécuté dans le fournisseur d'hébergement gratuit OnWorks à l'aide de 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


interpformat - outil de transformation mace4(1) modèles

SYNOPSIS


format d'interprétation [Options]transformation> -f fichier-entrée > fichier de sortie
format d'interprétation [Options]transformation> fichier-entrée > fichier de sortie

DESCRIPTION


Les modèles (structures) dans mace4(1) les fichiers de sortie peuvent être transformés de différentes manières avec
le programme format d'interprétation.

TRANSFORMATION


Les transformations sont répertoriées ici.

Standard
une ligne par opération

norme2
standard, avec des opérations binaires dans un carré (par défaut)

portable
liste de listes, adaptée à l'analyse par Python, GAP, etc.

tabulaire
comme de belles tables

brut similaire au standard, mais sans ponctuation

cuit comme termes, par exemple, f(0,1)=2

Texas formaté pour LaTeX

xml XML

OPTIONS


Un résumé des options est inclus ci-dessous.

sortie
Sortir uniquement la liste .

envelopper Joindre la sortie à la liste (interprétations).

Utiliser interpformat en ligne en utilisant les services onworks.net


Serveurs et postes de travail gratuits

Télécharger des applications Windows et Linux

  • 1
    AstroOrzPlayer
    AstroOrzPlayer
    AstrOrz Player est un lecteur multimédia gratuit
    logiciel, partie basée sur WMP et VLC. La
    joueur est dans un style minimaliste, avec
    plus de dix couleurs de thème, et peut également
    b ...
    Télécharger AstrOrzPlayer
  • 2
    movistarv
    movistarv
    Kodi Movistar+ TV est un ADDON pour XBMC/
    Kodi qui permet de disposer d'un
    décodeur de los services IPTV de
    Movistar intégré en un seul de los
    médiacentres ma...
    Télécharger movistartv
  • 3
    Code :: Blocs
    Code :: Blocs
    Code :: Blocks est un logiciel gratuit et open source,
    multiplateforme C, C++ et Fortran IDE
    construit pour répondre aux besoins les plus exigeants
    de ses utilisateurs. Il est conçu pour être très
    s'étend...
    Code de téléchargement ::Blocs
  • 4
    Au milieu de
    Au milieu de
    Au milieu ou Interface Minecraft avancée
    et Data/Structure Tracking est un outil pour
    afficher un aperçu d'un Minecraft
    monde, sans vraiment le créer. Ce
    pouvez ...
    Télécharger au milieu
  • 5
    MSYS2
    MSYS2
    MSYS2 est une collection d'outils et
    bibliothèques vous offrant un
    environnement facile à utiliser pour la construction,
    installer et exécuter Windows natif
    Logiciel. Il con...
    Télécharger MSYS2
  • 6
    libjpeg-turbo
    libjpeg-turbo
    libjpeg-turbo est un codec d'image JPEG
    qui utilise des instructions SIMD (MMX, SSE2,
    NEON, AltiVec) pour accélérer la ligne de base
    Compression et décompression JPEG activées
    x86, x8...
    Télécharger libjpeg-turbo
  • Plus "

Commandes Linux

  • 1
    abi-tracker
    abi-tracker
    abi-tracker - visualiser les changements d'ABI
    chronologie d'une bibliothèque logicielle C/C++.
    DESCRIPTION : NOM : ABI Tracker
    (abi-tracker) Visualisez les changements d'ABI
    Chronologie d'un C/C+...
    Exécutez abi-tracker
  • 2
    abicheck
    abicheck
    abicheck - vérifier les binaires de l'application
    pour les appels vers des symboles privés ou évolutifs
    dans les bibliothèques et pour la liaison statique de
    certaines bibliothèques système. ...
    Exécuter abicheck
  • 3
    courriermlm
    courriermlm
    couriermlm - La liste de diffusion Courrier
    directeur ...
    Exécuter Couriermlm
  • 4
    coursiertcpd
    coursiertcpd
    couriertcpd - le serveur de messagerie Courier
    Démon du serveur TCP...
    Exécutez couriertcpd
  • 5
    gbklatex
    gbklatex
    bg5latex - Utiliser LaTeX directement sur un Big5
    fichier encodétex bg5pdflatex - Utilisation
    pdfLaTeX directement sur un Big5 encodétex
    file bg5+latex - Utilisez LaTeX directement sur un
    Gros5+...
    Exécutez gbklatex
  • 6
    gbkpdflatex
    gbkpdflatex
    bg5latex - Utiliser LaTeX directement sur un Big5
    fichier encodétex bg5pdflatex - Utilisation
    pdfLaTeX directement sur un Big5 encodétex
    file bg5+latex - Utilisez LaTeX directement sur un
    Gros5+...
    Exécutez gbkpdflatex
  • Plus "

Ad