isofilter(1) removes isomorphic structures from

SYNOPSIS

isofilter [options] < input-file > output-file
isofilter0 [options] < input-file > output-file
isofilter2 [options] < input-file > output-file

DESCRIPTION

This manual page documents briefly the isofilter, isofilter0 and isofilter2 commands.

If mace4(1) produces more than one structure, some of them are very likely to be isomorphic to others. The program isofilter can be used to remove isomorphic structures.

ALGORITHM

There are multiple isofilter variants providing alternative algorithms.
isofilter
Uses Occurrence Profiles algorithm.
isofilter2
Uses Canonical Forms algorithm.

OPTIONS

A summary of options is included below.
ignore_constants
Ignore all constants during the isomorphism tests.
check <operations>
Consider only the listed operations in the isomorphism tests.
output <operations>
Output only the listed operations.
wrap
Enclose the resulting structures in list(interpretations). ... end_of_list.

AUTHOR

isofilter was written by William McCune <[email protected]>

This manual page was written by Peter Collingbourne <[email protected]>, for the Debian project (but may be used by others).