Ideal_(Lie_algebra) loading ...