EnglishFrenchSpanish

Ad


OnWorks favicon

interpformat - Online in the Cloud

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

This is the command interpformat 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


interpformat - tool for transforming mace4(1) models

SYNOPSIS


interpformat [options] <transformation> -f input-file > output-file
interpformat [options] <transformation> < input-file > output-file

DESCRIPTION


The models (structures) in mace4(1) output files can be transformed in various ways with
the program interpformat.

TRANSFORMATIONS


The transformations are listed here.

standard
one line per operation

standard2
standard, with binary operations in a square (default)

portable
list of lists, suitable for parsing by Python, GAP, etc.

tabular
as nice tables

raw similar to standard, but without punctuation

cooked as terms, e.g., f(0,1)=2

tex formatted for LaTeX

xml XML

OPTIONS


A summary of options is included below.

output <operations>
Output only the listed operations.

wrap Enclose output in list(interpretations).

Use interpformat online using onworks.net services


Ad