Data.Manifold.Types

Index / ASCII names

type Real0

type Real1

type RealPlus

type Real2

type Real3

type Sphere0

type Sphere1

type Sphere2

type Projective1

type Projective2

type Disk1

type Disk2

type Cone

type OpenCone

Linear manifolds

data ZeroDim k

type ℝ⁰

type ℝ

type ℝ²

type ℝ³

Hyperspheres

General form: Stiefel manifolds

data Stiefel1 v

stiefel1Project

stiefel1Embed

Specific examples

class HasUnitSphere v

data S⁰

data S¹

data S²

Projective spaces

type ℝP¹

data ℝP²

Intervals/disks/cones

data D¹

data D²

type ℝay

data CD¹ x

data Cℝay x

Cut-planes

data Cutplane x

fathomCutDistance

sideOfCut

Linear mappings

data Linear s a b

type LocalLinear x y

denseLinear