CARAT Introduction / Programs / Z_equiv
Previous Program Introduction Next Program

Program Z_equiv

Usage

Z_equiv 'file1' 'file2' [-f] [-d]
file1: bravais_TYP containing G.
file1: bravais_TYP containing H.

Description

Searches for a matrix X in GLn(Z) such that { X g X-1 | g in G } = H. If no such matrix exists, an error messages is printed to stdout.

Options

-f   : recalculate the formspace of the groups even if it
       is given already.
-d   : some special files for debugging are created. Do not
       use this option unless you know what you are doing.

Remarks

WARNING: THE GROUPS IN file1 AND file2 HAVE TO BE FINITE!

See also for Bravais_equiv and Is_finite.

Examples

Previous Program Introduction Next Program