Goal.Geometry.Manifold

Manifolds

class Manifold m

class Transition c d m

Sets

data Embedded m c

Points

type Coordinates

data c :#: m

coordinate

chart

breakChart

alterChart

listCoordinates

alterCoordinates

toPair

Charts

data Cartesian

data Polar

Constructors

fromList

fromCoordinates

euclideanPoint

realNumber

Direct Sums

Replicated

mapReplicated

joinReplicated

concatReplicated

DirectSum

joinPair

splitPair

joinPair'

splitPair'

joinTriple

splitTriple

joinTriple'

splitTriple'