moonlight-linalg-0.1.0.0: src-public/Moonlight/LinAlg/Dense/Exterior.hs

-- | Exterior powers of a dense matrix and their basis bookkeeping.
module Moonlight.LinAlg.Dense.Exterior
  ( ExteriorBasis (..),
    ExteriorPowerFailure (..),
    choose,
    exteriorBasis,
    exteriorBasisCardinality,
    exteriorPowerMatrix,
    exteriorPowerMatrixWithShape,
  )
where

import Moonlight.LinAlg.Pure.Dense.Exterior
  ( ExteriorBasis (..),
    ExteriorPowerFailure (..),
    choose,
    exteriorBasis,
    exteriorBasisCardinality,
    exteriorPowerMatrix,
    exteriorPowerMatrixWithShape,
  )