[GAP Forum] Defining a set.

[Rudolf Zlabinger]

 That depends on the structure of the set T, defined by the rules for the 
 multiplication "*" and "Inverse" you mean:
 
 for groups, for example, this is done by ConjugacyClass(T,p)
 
 Moreover, if T is a set in the form of a list and "*" and "Inverse" is 
 defined for the elements:
 
 AsSet(List(T,x->x"*"p"*""Inverse(x)"));
 
 creates the set you looked for.
 
 Rudolf Zlabinger
> 
> ----- Original Message ----- 
> From: "Fernando Fantino" <fantino at gmail.com>
> To: <forum at gap-system.org>
> Sent: Wednesday, November 08, 2006 5:28 PM
> Subject: [GAP Forum] Defining a set.
> 
> 
>> One question:
>> 
>> How do you define (in the GAP) a set by comprehension?
>> i.e. given a set T and an element p I want to define a set S compose by
>> element y of the form:
>> 
>> y=x * p * Inverse(x), such that x "move" over all T.
>> 
>> Thanks. Fernando.
>> _______________________________________________
>> Forum mailing list
>> Forum at mail.gap-system.org
>> http://mail.gap-system.org/mailman/listinfo/forum
>>