[GAP Forum] restricted lie algebras

[Laurent Bartholdi]

dear forum,
i see in gap the command "FreeLieAlgebra", but no command
"FreeRestrictedLieAlgebra". Has anybody implemented this? is it
difficult?
I would very much like, then, to have
"NilpotentQuotientRestrictedFpLieAlgebra"; though this may pose
a problem in the current implementation because the p-mapping
is always given as a function, and not as an intrinsic operation.
any ideas?
thanks in advance, laurent
--
Laurent Bartholdi          \  laurent.bartholdi<at>gmail<dot>com
EPFL SB SMA IMB MAD         \    Téléphone: +41 21-6935458
Station 8                    \ Secrétaire: +41 21-6935501
CH-1015 Lausanne, Switzerland \      Fax: +41 21-6930339