> < ^ Date: Mon, 08 Apr 2002 08:38:56 +0200 (CEST)
< ^ From: Stephan Rosebrock <rosebrock@ph-karlsruhe.de >
> < ^ Subject: Re: infinite group?

Dear GAP forum,

I have a group, a quotient of a free group, and I want to check whether
or not it is infinite. I am almost certain that it is.

What is the best way to do that? IsFinite() didn't seem like it was
going anywhere.

since in general it is undecidable, whether a group is finite or not, GAP
can only try to check. This can take a long time, even when it is finite
(even when it is trivial). If the group is infinite, GAP might not be able
to figure that out.

Regards,
Stephan Rosebrock

**********************************************************************
*  Dr. Stephan Rosebrock                                             *
*  Fakultaet III (Mathematik / Informatik)  Tel: 0(49)-721-925-4275  *
*  Paedagogische Hochschule Karlsruhe       Fax: 0(49)-721-925-4249  *
*  Bismarckstr. 10                                                   *
*  D-76133 Karlsruhe                                                 *
*  Deutschland / Germany                    home: 0(49)-7249-953651  *
*                                                                    *
*  e-mail:        rosebrock@PH-karlsruhe.de                          *
*  home page:     http://www.ph-karlsruhe.de/~rosebrock              *
**********************************************************************

Miles-Receive-Header: reply


> < [top]