Data.LinearMap.HerMetric

Metric operator types

data HerMetric v

data HerMetric' v

Evaluating metrics

toDualWith

fromDualWith

metricSq

metricSq'

metric

metric'

metrics

metrics'

Defining metrics

projector

projector'

projectors

projector's

euclideanMetric'

Metrics induce inner products

spanHilbertSubspace

spanSubHilbertSpace

class IsFreeSpace v

One-dimensional axes and product spaces

factoriseMetric

factoriseMetric'

productMetric

productMetric'

metricAsLength

metricFromLength

metric'AsLength

Utility for metrics

transformMetric

transformMetric'

dualCoCoProduct

dualiseMetric

dualiseMetric'

recipMetric

recipMetric'

Eigenvectors

eigenSpan

eigenSpan'

eigenCoSpan

eigenCoSpan'

class HasEigenSystem m

metriNormalise

metriNormalise'

metriScale'

metriScale

adjoint

extendMetric

applyLinMapMetric

applyLinMapMetric'

imitateMetricSpanChange

The dual-space class

type HasMetric v

class HasMetric' v

(^<.>)

Fundamental requirements

type MetricScalar s

class FiniteDimensional v

Misc

data Stiefel1 v

linMapAsTensProd

linMapFromTensProd

covariance

outerProducts