PEnvelope

This is a small package for working with p-enveloping algebras of restricted Lie algebras.