| Copyright | Satoshi Egi |
|---|---|
| License | MIT |
| Safe Haskell | None |
| Language | Haskell98 |
Language.Egison.Tensor
Contents
Description
This module contains functions for tensors.
Synopsis
- initTensor :: [Integer] -> [a] -> [EgisonValue] -> [EgisonValue] -> Tensor a
- tSize :: Tensor a -> [Integer]
- tToList :: Tensor a -> [a]
- tIndex :: Tensor a -> [Index EgisonValue]
- tref :: HasTensor a => [Index EgisonValue] -> Tensor a -> EgisonM a
- enumTensorIndices :: [Integer] -> [[Integer]]
- changeIndexList :: [Index String] -> [EgisonValue] -> [Index String]
- tTranspose :: HasTensor a => [Index EgisonValue] -> Tensor a -> EgisonM (Tensor a)
- tTranspose' :: HasTensor a => [EgisonValue] -> Tensor a -> EgisonM (Tensor a)
- tFlipIndices :: HasTensor a => Tensor a -> EgisonM (Tensor a)
- appendDFscripts :: Integer -> WHNFData -> EgisonM WHNFData
- removeDFscripts :: WHNFData -> EgisonM WHNFData
- tMap :: HasTensor a => (a -> EgisonM a) -> Tensor a -> EgisonM (Tensor a)
- tMap2 :: HasTensor a => (a -> a -> EgisonM a) -> Tensor a -> Tensor a -> EgisonM (Tensor a)
- tMapN :: HasTensor a => ([a] -> EgisonM a) -> [Tensor a] -> EgisonM (Tensor a)
- tSum :: HasTensor a => (a -> a -> EgisonM a) -> Tensor a -> Tensor a -> EgisonM (Tensor a)
- tProduct :: HasTensor a => (a -> a -> EgisonM a) -> Tensor a -> Tensor a -> EgisonM (Tensor a)
- tContract :: HasTensor a => Tensor a -> EgisonM [Tensor a]
- tContract' :: HasTensor a => Tensor a -> EgisonM (Tensor a)
- tConcat :: HasTensor a => Index EgisonValue -> [Tensor a] -> EgisonM (Tensor a)
- tConcat' :: HasTensor a => [Tensor a] -> EgisonM (Tensor a)
Tensor
initTensor :: [Integer] -> [a] -> [EgisonValue] -> [EgisonValue] -> Tensor a Source #
enumTensorIndices :: [Integer] -> [[Integer]] Source #
changeIndexList :: [Index String] -> [EgisonValue] -> [Index String] Source #
tTranspose :: HasTensor a => [Index EgisonValue] -> Tensor a -> EgisonM (Tensor a) Source #
tTranspose' :: HasTensor a => [EgisonValue] -> Tensor a -> EgisonM (Tensor a) Source #
tMap2 :: HasTensor a => (a -> a -> EgisonM a) -> Tensor a -> Tensor a -> EgisonM (Tensor a) Source #