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