|
n := 2;
F := FreeGroup( n );
c := 3;
N := NilpotentQuotient( F, c );
mo := MalcevObjectByTGroup( N );
dim := Dimension( mo );
UnderlyingGroup( mo );
UnderlyingLieAlgebra( mo );
g := MalcevGrpElementByExponents( mo, [1,1,0,2,-1/2] );
x := MalcevLieElementByCoefficients( mo, [1/2, 2, -1, 3, 5 ] );
h := RandomGrpElm( mo );
y := RandomLieElm( mo );
z := Log( g );
Exp( z ) = g;
k := Exp( y );
Log( k ) = y;
g*h;
Comm(g,h);
Comm(x,y);
indets := List( List( [1..dim], i->Concatenation( "a_", String(i) ) ),
x->Indeterminate( Rationals, x : new ) );
g_sym := MalcevSymbolicGrpElementByExponents( mo, indets );
x_sym := Log( g_sym );
g_sym * g;
# not in manual
SetLogAndExpMethod( mo, "pols" );
SetStarMethod( mo, "pols" );
# check whether groups which are not given by Mal'cev basis are rejected.
K := NilpotentEngelQuotient( F, 3 );
mo2 := MalcevObjectByTGroup( K );
[ Dauer der Verarbeitung: 0.17 Sekunden
(vorverarbeitet)
]
|
