module Main where

import Geometry.Vertex
import Geometry.Facet
import Geometry.LRS
import Util

-------------------------------------
octahedron  = [[0, 0, 1],[-1, 0, 0],[0, -1, 0],[1, 0, 0],[0, 1, 0],[0, 0, -1]]
hyperOct    = [[-1, -1, 1], [1, -1, 1], [1, 1, 1], [-1, 1, 1], [-1, -1, -1], [1, -1, -1], [1, 1, -1], [-1, 1, -1]]  :: [[Rational]]
bOct        = [1, 1, 1, 1, 1, 1, 1, 1] :: [Rational]
resOct      = zip hyperOct bOct
-------------------------------------
triangle    = [[0,0],[3,0],[0,3]]
hyperTr     = [[0,-1], [-1,0], [1,1]]   :: [[Rational]]
bTr         = [0,0,3]                   :: [Rational]
resTr       = zip hyperTr bTr
-------------------------------------
_3Cube      = [[0,0,0],[0,0,1],[1,1,1],[0,1,1],[1,0,0],[1,0,1],[1,1,0],[0,1,0]]
hyper3C     = [
                [-1, 0, 0],
                [ 0,-1, 0],
                [ 0, 0,-1],
                [ 0, 0, 1],
                [ 0, 1, 0],
                [ 1, 0, 0]
            ] :: [[Rational]]
b3C         = [0, 0, 0, 1, 1, 1] :: [Rational]
res3C       = zip hyper3C b3C
-------------------------------------


_4Cube = [
    [0,0,0,0],
    [0,0,0,1],
    [0,0,1,0],
    [0,0,1,1],
    [1,1,1,1],
    [0,1,0,1],
    [1,1,0,0],
    [0,1,1,0],
    [0,1,1,1],
    [1,0,0,0],
    [1,0,0,1],
    [1,0,1,0],
    [1,0,1,1],
    [1,1,0,1],
    [1,1,1,0],
    [0,1,0,0]]

hyper4C = [
    [-2, 0, 0, 0],
    [ 0,-2, 0, 0],
    [ 0, 0,-2, 0],
    [ 0, 0, 0,-2],
    [ 0, 0, 0, 2],
    [ 0, 0, 2, 0],
    [ 0, 2, 0, 0],
    [ 2, 0, 0, 0]
    ] :: [[Rational]]

b4C = [
        0,
        0,
        0,
        0,
        2,
        2,
        2,
        2
    ] :: [Rational]

res4C = zip hyper4C b4C

-----------------------------------
_crossPolytope = [
        [ 0, 0, 0, 1],
        [-1, 0, 0, 0],
        [ 0,-1, 0, 0],
        [ 0, 0,-1, 0],
        [ 1, 0, 0, 0],
        [ 0, 1, 0, 0],
        [ 0, 0, 1, 0],
        [ 0, 0, 0,-1]]

hyperCross = [
    [-1, -1, -1,  1],
    [-1, -1,  1,  1],
    [-1,  1, -1,  1],
    [-1,  1,  1,  1],
    [ 1, -1, -1,  1],
    [ 1, -1,  1,  1],
    [ 1,  1, -1,  1],
    [ 1,  1,  1,  1],
    [-1, -1,  1, -1],
    [-1,  1,  1, -1],
    [ 1, -1,  1, -1],
    [ 1,  1,  1, -1],
    [-1, -1, -1, -1],
    [-1,  1, -1, -1],
    [ 1, -1, -1, -1],
    [ 1,  1, -1, -1]
    ] :: [[Rational]]

bCross = [
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1
    ] :: [Rational]
resCross       = zip hyperCross bCross 


main :: IO ()
main = do
    print $ lrsFacetEnumeration octahedron