1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
|
.TH INTERPFORMAT 1 "January 20, 2007"
.SH NAME
interpformat \- tool for transforming
.BR mace4 (1)
models
.SH SYNOPSIS
.B interpformat
.RI [ options ]
.RI < transformation >
\-f
.I input-file
>
.I output-file
.br
.B interpformat
.RI [ options ]
.RI < transformation >
<
.I input-file
>
.I output-file
.SH DESCRIPTION
The models (structures) in
.BR mace4 (1)
output files can be transformed in various ways with the program \fBinterpformat\fP.
.SH TRANSFORMATIONS
The transformations are listed here.
.TP
.B standard
one line per operation
.TP
.B standard2
standard, with binary operations in a square (default)
.TP
.B portable
list of lists, suitable for parsing by Python, GAP, etc.
.TP
.B tabular
as nice tables
.TP
.B raw
similar to standard, but without punctuation
.TP
.B cooked
as terms, e.g., f(0,1)=2
.TP
.B tex
formatted for LaTeX
.TP
.B xml
XML
.SH OPTIONS
A summary of options is included below.
.TP
.B output \fI<operations>
Output only the listed \fIoperations\fP.
.TP
.B wrap
Enclose output in list(interpretations).
.SH SEE ALSO
.BR mace4 (1).
.br
Full documentation for \fBinterpformat\fP is found in the \fBprover9\fP manual, available on Debian systems in the \fIprover9-doc\fP package at \fI/usr/share/doc/prover9-doc/manual/index.html\fP.
.SH AUTHOR
\fBinterpformat\fP was written by William McCune <mccune@cs.unm.edu>
.PP
This manual page was written by Peter Collingbourne <peter@pcc.me.uk>,
for the Debian project (but may be used by others).
|
