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