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" <[EMAIL PROTECTED]>
To: <[EMAIL PROTECTED]>
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
[email protected]
http://mail.gap-system.org/mailman/listinfo/forum
_______________________________________________
Forum mailing list
[email protected]
http://mail.gap-system.org/mailman/listinfo/forum