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'

tryMetricAsLength

metricAsLength

metricFromLength

metric'AsLength

Utility for metrics

transformMetric

transformMetric'

dualCoCoProduct

dualiseMetric

dualiseMetric'

recipMetric

recipMetric'

safeRecipMetric

safeRecipMetric'

Eigenvectors

eigenSpan

eigenSpan'

eigenCoSpan

eigenCoSpan'

class HasEigenSystem m

Scaling operations

metriNormalise

metriNormalise'

metriScale'

metriScale

volumeRatio

euclideanRelativeMetricVolume

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

orthogonalComplementSpan