initx :: Rat -> OState
initx xl = (p, (mkFacets 2 [mkFacet 4 [0, 3, 4, 1], mkFacet 4 [1, 4, 5, 2]], p'))
    where
        p = mkPoly 6 [V2 0 0, V2 xl 0, V2 1 0, V2 0 1, V2 xl 1, V2 1 1]
        p' = mkPoly 6 [V2 0 0, V2 xl 0, V2 (2 * xl - 1) 0, V2 0 1, V2 xl 1, V2 (2 * xl - 1) 1]
initx :: Rat -> OState
initx xl = (p, (mkFacets 2 [mkFacet 4 [0, 3, 4, 1], mkFacet 4 [1, 4, 5, 2]], p'))
    where
        p = mkPoly 6 [V2 0 0, V2 xl 0, V2 1 0, V2 0 1, V2 xl 1, V2 1 1]
        p' = mkPoly 6 [V2 0 0, V2 xl 0, V2 (2 * xl - 1) 0, V2 0 1, V2 xl 1, V2 (2 * xl - 1) 1]
initx xl = (p, (mkFacets 2 [mkFacet 4 [0, 3, 4, 1], mkFacet 4 [1, 4, 5, 2]], p'))
    where
        p = mkPoly 6 [V2 0 0, V2 xl 0, V2 1 0, V2 0 1, V2 xl 1, V2 1 1]
        p' = mkPoly 6 [V2 0 0, V2 xl 0, V2 (2 * xl - 1) 0, V2 0 1, V2 xl 1, V2 (2 * xl - 1) 1]