Computational Aspects Of Mixed Characteristic Witt Vectors And Denominators In Canonical Liftings Of Elliptic Curves