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