70.2 PrintSisyphosInputPGroup

PrintSisyphosInputPGroup( P, name, type )

prints the presentation of the finite p-group P in a format readable by the SISYPHOS system. P must be a polycyclically or freely presented group.

In SISYPHOS, the group will be named name. If P is polycyclically presented the i-th generator gets the name gi. In the case of a free presentation the names of the generators are not changed; note that SISYPHOS accepts only generators names beginning with a letter followed by a sequence of letters, digits,underscores and dots.

type must be either "pcgroup" or the prime dividing the order of P. In the former case the SISYPHOS object has type pcgroup, P must be polycyclically presented for that. In the latter case a SISYPHOS object of type group is created. For avoiding computations in freely presented groups, is neither checked that the presentation describes a p-group, nor that the given prime really divides the group order.

See the SISYPHOS manual~Wur93 for details.

    gap> g:= SolvableGroup( "D8" );;
    gap> PrintSisyphosInputPGroup( g, "d8", "pcgroup" );
    d8 = pcgroup(2,
    gens(
    g1,
    g2,
    g3),
    rels(
    g1^2 = 1,
    g2^2 = 1,
    g3^2 = 1,
    [g2,g1] = g3));
    gap> q8 := FreeGroup ( 2 );;
    gap> q8.relators := [q8.1^4,q8.2^2/q8.1^2,Comm(q8.2,q8.1)/q8.1^2];;
    gap> PrintSisyphosInputPGroup ( q8, "q8", 2 );
    #I  PQuotient: class 1 : 2
    #I  PQuotient: Runtime : 0
    q8 = group (minimal,
    2,
    gens(
    f.1,
    f.2),
    rels(
    f.1^4,
    f.2^2*f.1^-2,
    f.2^-1*f.1^-1*f.2*f.1^-1)); 

Previous Up Top Next
Index