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

padics/WittVectors (last edited 2012-02-18 14:00:01 by finotti)