interpformat1
Tool for transforming mace4(1) models
Usage
interpformat [options]
<transformation>
-f
input-file
>
output-file
interpformat [options]
<transformation>
<
input-file
>
output-file
Overview
The models (structures) in mace4(1) output files can be transformed in various ways with the program interpformat.
Transformations
The transformations are listed here.
|
one line per operation |
|---|---|
|
standard, with binary operations in a square (default) |
|
list of lists, suitable for parsing by Python, GAP, etc. |
|
as nice tables |
|
similar to standard, but without punctuation |
|
as terms, e.g., f(0,1)=2 |
|
formatted for LaTeX |
|
XML |
Options
A summary of options is included below.
output <operations>
|
Output only the listed operations. |
|---|---|
|
Enclose output in list(interpretations). |
Releases
6 releases since Debian 5.0 (Lenny); the text changed 1 time.