> < ^ Date: Sun, 15 Oct 2000 13:18:01 +0200 (CEST)
> < ^ From: Stephan Rosebrock <rosebrock@ph-karlsruhe.de >
> ^ Subject: Replacement and Fox-derivatives

Dear GAP-Forum,

since we are very unexperienced in the use of GAP we would
like to know how to deal with the following problem:

We are given a finitly presented group G (we know how to encode
this in GAP) and want GAP to replace each generator by a product
of two new symbols (a representation of G) thus giving us a
new set of relators. Then we would like GAP to give us the
Fox-derivatives of this set of new relators.

Making a trivial example:

replace:   a -> xv,  b -> wy

Relator: r= a^-1 b a^3  ->  v^-1 x^-1 w y (x v)^3

partial Fox-derivative for x: -> -v^-1 + v^-1 x^-1 w y (1+v+v^2)

Where in the manual shall we turn pages to find how to do this?

Best regards,
Stephan Rosebrock and Cynthia Hog-Angeloni

**********************************************************************
*  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/MATH/rb/                *
**********************************************************************

Miles-Receive-Header: reply


> < [top]