> < ^ From:

^ Subject:

Dear Gap community,

I have been working on a GAP implementation of an algorithm for

testing whether or not a matrix group, given by a list of generators,

is finite. The algorithm is described in ``Deciding finiteness of

matrix groups in deterministic polynomial time,'' Laszlo Babai,

Robert Beals, and Daniel Rockmore, Proceedings of ISSAC'93.

I would like very much to test this program on some ``practical''

inputs. Unfortunately, while I have encountered many people who think

that testing finiteness of a matrix group is a nice thing to be able

to do, I know of nobody who actually wants it done. I urge anyone who

has a use for testing matrix groups for finiteness to contact me.

Sincerely,

Robert Beals

Dept. of Computer and Info. Science

University of Oregon

Eugene, OR 97403

beals@cs.uoregon.edu

> < [top]