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