Safe Haskell | None |
---|---|

Language | Haskell2010 |

- model :: Multiplicity (Approximation Spatial) -> Int -> Multiplicity (Approximation (Set [Int]))
- consistent :: Multiplicity [[Int]] -> Multiplicity (Approximation Spatial) -> Bool
- class Model spec where
- type Domain spec

- mkSingleEntryNeg :: Int -> Int -> Int -> [Int]
- tensor :: Int -> [[Int]] -> [[Int]] -> Set [Int]
- cprodVs :: [[[Int]]] -> [[Int]]
- cprodV :: [[Int]] -> [[Int]] -> [[Int]]
- pairwisePerm :: [Int] -> [Int] -> [[Int]]
- maximum1 :: (Ord t, Num t) => [t] -> t

# Documentation

model :: Multiplicity (Approximation Spatial) -> Int -> Multiplicity (Approximation (Set [Int])) Source #

This function maps inner representation to a set of vectors of length
- given by `dim`

. This is the mathematical representation of the
- specification. |

consistent :: Multiplicity [[Int]] -> Multiplicity (Approximation Spatial) -> Bool Source #