Dear Laurent,
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?
As far as I know this problem has not been considered before (but I might
be wrong of course). It would involve adding a basis element b^p for
every basis element of the free Lie algebra (and then (b^p)^p and so on).
At the moment I don't see any theoretical restrictions for making a function
"NilpotentQuotientRestrictedFpLieAlgebra". (But I might be wrong there too.)
In any case, the way the p-mapping is represented should not make a
difference, I think.
Best wishes,
Willem
_______________________________________________
Forum mailing list
[email protected]
http://mail.gap-system.org/mailman/listinfo/forum
