Discussion

Perhaps someof the results here could be relevant. There is some code written for MAGMA available here.

Tasks

-p-typical -truncated witt vectors -teichmuller lifts