Crypto.Lol.Cyclotomic.Tensor.CPP

Wrapper for a C++ implementation of Tensor interfaces.

Documentation

data CT (m :: Factored) r

An implementation of Tensor backend by C++ code.

Instances

IFunctor CT

Defined in Crypto.Lol.Cyclotomic.Tensor.CPP

Associated Types

type IFElt CT a :: Constraint

Methods

fmapI :: (IFElt CT a, IFElt CT b, Fact m) => (a -> b) -> CT m a -> CT m b

zipWithI :: (IFElt CT a, IFElt CT b, IFElt CT c, Fact m) => (a -> b -> c) -> CT m a -> CT m b -> CT m c

TensorPowDec CT Double

Defined in Crypto.Lol.Cyclotomic.Tensor.CPP

Methods

scalarPow :: Fact m => Double -> CT m Double

powToDec :: Fact m => CT m Double -> CT m Double

decToPow :: Fact m => CT m Double -> CT m Double

twacePowDec :: Divides m m' => CT m' Double -> CT m Double

embedPow :: Divides m m' => CT m Double -> CT m' Double

embedDec :: Divides m m' => CT m Double -> CT m' Double

coeffs :: Divides m m' => CT m' Double -> [CT m Double]

powBasisPow :: Divides m m' => Tagged m [CT m' Double]

TensorPowDec CT Int64

Defined in Crypto.Lol.Cyclotomic.Tensor.CPP

Methods

scalarPow :: Fact m => Int64 -> CT m Int64

powToDec :: Fact m => CT m Int64 -> CT m Int64

decToPow :: Fact m => CT m Int64 -> CT m Int64

twacePowDec :: Divides m m' => CT m' Int64 -> CT m Int64

embedPow :: Divides m m' => CT m Int64 -> CT m' Int64

embedDec :: Divides m m' => CT m Int64 -> CT m' Int64

coeffs :: Divides m m' => CT m' Int64 -> [CT m Int64]

powBasisPow :: Divides m m' => Tagged m [CT m' Int64]

TensorG CT Double

Defined in Crypto.Lol.Cyclotomic.Tensor.CPP

Methods

mulGPow :: Fact m => CT m Double -> CT m Double

mulGDec :: Fact m => CT m Double -> CT m Double

divGPow :: Fact m => CT m Double -> Maybe (CT m Double)

divGDec :: Fact m => CT m Double -> Maybe (CT m Double)

TensorG CT Int64

Defined in Crypto.Lol.Cyclotomic.Tensor.CPP

Methods

mulGPow :: Fact m => CT m Int64 -> CT m Int64

mulGDec :: Fact m => CT m Int64 -> CT m Int64

divGPow :: Fact m => CT m Int64 -> Maybe (CT m Int64)

divGDec :: Fact m => CT m Int64 -> Maybe (CT m Int64)

TensorGSqNorm CT Double

Defined in Crypto.Lol.Cyclotomic.Tensor.CPP

Methods

gSqNormDec :: Fact m => CT m Double -> Double

TensorGSqNorm CT Int64

Defined in Crypto.Lol.Cyclotomic.Tensor.CPP

Methods

gSqNormDec :: Fact m => CT m Int64 -> Int64

TensorCRT CT Maybe Double

Defined in Crypto.Lol.Cyclotomic.Tensor.CPP

Methods

crtFuncs :: Fact m => Maybe (Double -> CT m Double, CT m Double -> CT m Double, CT m Double -> CT m Double, CT m Double -> CT m Double, CT m Double -> CT m Double)

crtExtFuncs :: Divides m m' => Maybe (CT m' Double -> CT m Double, CT m Double -> CT m' Double)

TensorCRT CT Maybe Int64

Defined in Crypto.Lol.Cyclotomic.Tensor.CPP

Methods

crtFuncs :: Fact m => Maybe (Int64 -> CT m Int64, CT m Int64 -> CT m Int64, CT m Int64 -> CT m Int64, CT m Int64 -> CT m Int64, CT m Int64 -> CT m Int64)

crtExtFuncs :: Divides m m' => Maybe (CT m' Int64 -> CT m Int64, CT m Int64 -> CT m' Int64)

TensorCRT CT Maybe (Complex Double)

Defined in Crypto.Lol.Cyclotomic.Tensor.CPP

Methods

crtFuncs :: Fact m => Maybe (Complex Double -> CT m (Complex Double), CT m (Complex Double) -> CT m (Complex Double), CT m (Complex Double) -> CT m (Complex Double), CT m (Complex Double) -> CT m (Complex Double), CT m (Complex Double) -> CT m (Complex Double))

crtExtFuncs :: Divides m m' => Maybe (CT m' (Complex Double) -> CT m (Complex Double), CT m (Complex Double) -> CT m' (Complex Double))

TensorCRT CT Identity (Complex Double)

Defined in Crypto.Lol.Cyclotomic.Tensor.CPP

Methods

crtFuncs :: Fact m => Identity (Complex Double -> CT m (Complex Double), CT m (Complex Double) -> CT m (Complex Double), CT m (Complex Double) -> CT m (Complex Double), CT m (Complex Double) -> CT m (Complex Double), CT m (Complex Double) -> CT m (Complex Double))

crtExtFuncs :: Divides m m' => Identity (CT m' (Complex Double) -> CT m (Complex Double), CT m (Complex Double) -> CT m' (Complex Double))

Reflects q Int64 => TensorCRT CT Maybe (ZqBasic q Int64)

Defined in Crypto.Lol.Cyclotomic.Tensor.CPP

Methods

crtFuncs :: Fact m => Maybe (ZqBasic q Int64 -> CT m (ZqBasic q Int64), CT m (ZqBasic q Int64) -> CT m (ZqBasic q Int64), CT m (ZqBasic q Int64) -> CT m (ZqBasic q Int64), CT m (ZqBasic q Int64) -> CT m (ZqBasic q Int64), CT m (ZqBasic q Int64) -> CT m (ZqBasic q Int64))

crtExtFuncs :: Divides m m' => Maybe (CT m' (ZqBasic q Int64) -> CT m (ZqBasic q Int64), CT m (ZqBasic q Int64) -> CT m' (ZqBasic q Int64))

TensorPowDec CT (Complex Double)

Defined in Crypto.Lol.Cyclotomic.Tensor.CPP

Methods

scalarPow :: Fact m => Complex Double -> CT m (Complex Double)

powToDec :: Fact m => CT m (Complex Double) -> CT m (Complex Double)

decToPow :: Fact m => CT m (Complex Double) -> CT m (Complex Double)

twacePowDec :: Divides m m' => CT m' (Complex Double) -> CT m (Complex Double)

embedPow :: Divides m m' => CT m (Complex Double) -> CT m' (Complex Double)

embedDec :: Divides m m' => CT m (Complex Double) -> CT m' (Complex Double)

coeffs :: Divides m m' => CT m' (Complex Double) -> [CT m (Complex Double)]

powBasisPow :: Divides m m' => Tagged m [CT m' (Complex Double)]

TensorG CT (Complex Double)

Defined in Crypto.Lol.Cyclotomic.Tensor.CPP

Methods

mulGPow :: Fact m => CT m (Complex Double) -> CT m (Complex Double)

mulGDec :: Fact m => CT m (Complex Double) -> CT m (Complex Double)

divGPow :: Fact m => CT m (Complex Double) -> Maybe (CT m (Complex Double))

divGDec :: Fact m => CT m (Complex Double) -> Maybe (CT m (Complex Double))

(Fact m, Ring r, Storable r) => C r (CT m r)

Defined in Crypto.Lol.Cyclotomic.Tensor.CPP

Methods

(*>) :: r -> CT m r -> CT m r

(Reflects q Int64, Reflects q Double) => TensorPowDec CT (RRq q Double)

Defined in Crypto.Lol.Cyclotomic.Tensor.CPP

Methods

scalarPow :: Fact m => RRq q Double -> CT m (RRq q Double)

powToDec :: Fact m => CT m (RRq q Double) -> CT m (RRq q Double)

decToPow :: Fact m => CT m (RRq q Double) -> CT m (RRq q Double)

twacePowDec :: Divides m m' => CT m' (RRq q Double) -> CT m (RRq q Double)

embedPow :: Divides m m' => CT m (RRq q Double) -> CT m' (RRq q Double)

embedDec :: Divides m m' => CT m (RRq q Double) -> CT m' (RRq q Double)

coeffs :: Divides m m' => CT m' (RRq q Double) -> [CT m (RRq q Double)]

powBasisPow :: Divides m m' => Tagged m [CT m' (RRq q Double)]

Reflects q Int64 => TensorPowDec CT (ZqBasic q Int64)

Defined in Crypto.Lol.Cyclotomic.Tensor.CPP

Methods

scalarPow :: Fact m => ZqBasic q Int64 -> CT m (ZqBasic q Int64)

powToDec :: Fact m => CT m (ZqBasic q Int64) -> CT m (ZqBasic q Int64)

decToPow :: Fact m => CT m (ZqBasic q Int64) -> CT m (ZqBasic q Int64)

twacePowDec :: Divides m m' => CT m' (ZqBasic q Int64) -> CT m (ZqBasic q Int64)

embedPow :: Divides m m' => CT m (ZqBasic q Int64) -> CT m' (ZqBasic q Int64)

embedDec :: Divides m m' => CT m (ZqBasic q Int64) -> CT m' (ZqBasic q Int64)

coeffs :: Divides m m' => CT m' (ZqBasic q Int64) -> [CT m (ZqBasic q Int64)]

powBasisPow :: Divides m m' => Tagged m [CT m' (ZqBasic q Int64)]

Reflects q Int64 => TensorG CT (ZqBasic q Int64)

Defined in Crypto.Lol.Cyclotomic.Tensor.CPP

Methods

mulGPow :: Fact m => CT m (ZqBasic q Int64) -> CT m (ZqBasic q Int64)

mulGDec :: Fact m => CT m (ZqBasic q Int64) -> CT m (ZqBasic q Int64)

divGPow :: Fact m => CT m (ZqBasic q Int64) -> Maybe (CT m (ZqBasic q Int64))

divGDec :: Fact m => CT m (ZqBasic q Int64) -> Maybe (CT m (ZqBasic q Int64))

(Reflects q Int64, Prime q, IrreduciblePoly (ZqBasic q Int64)) => TensorCRTSet CT (ZqBasic q Int64)

Defined in Crypto.Lol.Cyclotomic.Tensor.CPP

Methods

crtSetDec :: (Divides m m', Coprime (PToF (CharOf (ZqBasic q Int64))) m') => Tagged m [CT m' (ZqBasic q Int64)]

Fact m => Functor (CT m)

Defined in Crypto.Lol.Cyclotomic.Tensor.CPP

Methods

fmap :: (a -> b) -> CT m a -> CT m b

(<$) :: a -> CT m b -> CT m a

Fact m => Applicative (CT m)

Defined in Crypto.Lol.Cyclotomic.Tensor.CPP

Methods

pure :: a -> CT m a

(<*>) :: CT m (a -> b) -> CT m a -> CT m b

liftA2 :: (a -> b -> c) -> CT m a -> CT m b -> CT m c

(*>) :: CT m a -> CT m b -> CT m b

(<*) :: CT m a -> CT m b -> CT m a

Fact m => Foldable (CT m)

Defined in Crypto.Lol.Cyclotomic.Tensor.CPP

Methods

fold :: Monoid m0 => CT m m0 -> m0

foldMap :: Monoid m0 => (a -> m0) -> CT m a -> m0

foldr :: (a -> b -> b) -> b -> CT m a -> b

foldr' :: (a -> b -> b) -> b -> CT m a -> b

foldl :: (b -> a -> b) -> b -> CT m a -> b

foldl' :: (b -> a -> b) -> b -> CT m a -> b

foldr1 :: (a -> a -> a) -> CT m a -> a

foldl1 :: (a -> a -> a) -> CT m a -> a

toList :: CT m a -> [a]

null :: CT m a -> Bool

length :: CT m a -> Int

elem :: Eq a => a -> CT m a -> Bool

maximum :: Ord a => CT m a -> a

minimum :: Ord a => CT m a -> a

sum :: Num a => CT m a -> a

product :: Num a => CT m a -> a

Fact m => Traversable (CT m)

Defined in Crypto.Lol.Cyclotomic.Tensor.CPP

Methods

traverse :: Applicative f => (a -> f b) -> CT m a -> f (CT m b)

sequenceA :: Applicative f => CT m (f a) -> f (CT m a)

mapM :: Monad m0 => (a -> m0 b) -> CT m a -> m0 (CT m b)

sequence :: Monad m0 => CT m (m0 a) -> m0 (CT m a)

TensorGaussian CT Double

Defined in Crypto.Lol.Cyclotomic.Tensor.CPP

Methods

tweakedGaussianDec :: (ToRational v, Fact m, MonadRandom rnd) => v -> rnd (CT m Double)

Eq r => Eq (CT m r)

Defined in Crypto.Lol.Cyclotomic.Tensor.CPP

Methods

(==) :: CT m r -> CT m r -> Bool

(/=) :: CT m r -> CT m r -> Bool

Show (ArgType CT)

Defined in Crypto.Lol.Cyclotomic.Tensor.CPP

Methods

showsPrec :: Int -> ArgType CT -> ShowS

show :: ArgType CT -> String

showList :: [ArgType CT] -> ShowS

Show r => Show (CT m r)

Defined in Crypto.Lol.Cyclotomic.Tensor.CPP

Methods

showsPrec :: Int -> CT m r -> ShowS

show :: CT m r -> String

showList :: [CT m r] -> ShowS

(Storable r, Random r, Fact m) => Random (CT m r)

Defined in Crypto.Lol.Cyclotomic.Tensor.CPP

Methods

randomR :: RandomGen g => (CT m r, CT m r) -> g -> (CT m r, g)

random :: RandomGen g => g -> (CT m r, g)

randomRs :: RandomGen g => (CT m r, CT m r) -> g -> [CT m r]

randoms :: RandomGen g => g -> [CT m r]

randomRIO :: (CT m r, CT m r) -> IO (CT m r)

randomIO :: IO (CT m r)

NFData r => NFData (CT m r)

Defined in Crypto.Lol.Cyclotomic.Tensor.CPP

Methods

rnf :: CT m r -> ()

(ZeroTestable r, Storable r) => C (CT m r)

Defined in Crypto.Lol.Cyclotomic.Tensor.CPP

Methods

isZero :: CT m r -> Bool

(Additive r, Storable r, Fact m) => C (CT m r)

Defined in Crypto.Lol.Cyclotomic.Tensor.CPP

Methods

zero :: CT m r

(+) :: CT m r -> CT m r -> CT m r

(-) :: CT m r -> CT m r -> CT m r

negate :: CT m r -> CT m r

(Fact m, Ring r, Storable r) => C (CT m r)

Defined in Crypto.Lol.Cyclotomic.Tensor.CPP

Methods

(*) :: CT m r -> CT m r -> CT m r

one :: CT m r

fromInteger :: Integer -> CT m r

(^) :: CT m r -> Integer -> CT m r

(Protoable (IZipVector m r), Fact m, Storable r) => Protoable (CT m r)

Defined in Crypto.Lol.Cyclotomic.Tensor.CPP

Associated Types

type ProtoType (CT m r) :: Type

Methods

toProto :: CT m r -> ProtoType (CT m r)

fromProto :: MonadError String m0 => ProtoType (CT m r) -> m0 (CT m r)

(ApproxEqual r, Storable r) => ApproxEqual (CT m r)

Defined in Crypto.Lol.Cyclotomic.Tensor.CPP

Methods

(=~=) :: CT m r -> CT m r -> Bool

(GFCtx fp d, Fact m, Additive (CT m fp)) => C (GF fp d) (CT m fp)

Defined in Crypto.Lol.Cyclotomic.Tensor.CPP

Methods

(*>) :: GF fp d -> CT m fp -> CT m fp

type IFElt CT a

Defined in Crypto.Lol.Cyclotomic.Tensor.CPP

type IFElt CT a = Storable a

type ProtoType (CT m r)

Defined in Crypto.Lol.Cyclotomic.Tensor.CPP

type ProtoType (CT m r) = ProtoType (IZipVector m r)