CARAT Introduction / Programs / Red_gen
Previous Program Introduction Next Program

Program Red_gen

Usage

Red_gen 'file'
file: bravais_TYP

Description

Tries to reduce the number of generators for the group in file. It will output a bravais_TYP, where the generators are a subset of the given generator such that they generate the same group.

Remarks

NOTE: The group has to be finite!

See also for Is_finite and Order.

Examples

Previous Program Introduction Next Program