rBound | Data.Manifold |
Real0 | Data.Manifold.Types, Data.Manifold |
Real1 | Data.Manifold.Types, Data.Manifold |
Real2 | Data.Manifold.Types, Data.Manifold |
Real3 | Data.Manifold.Types, Data.Manifold |
RealDimension | Data.Manifold.PseudoAffine |
RealPlus | Data.Manifold.Types, Data.Manifold |
recipMetric | Data.LinearMap.HerMetric |
recipMetric' | Data.LinearMap.HerMetric |
Region | Data.Manifold.PseudoAffine |
regionOfContinuityAround | Data.Manifold.PseudoAffine |
Representsℝ | Data.Manifold |
RieMetric | Data.Manifold.PseudoAffine |
RieMetric' | Data.Manifold.PseudoAffine |
RimChart | Data.Manifold |
rParamD² | Data.Manifold.Types, Data.Manifold |
rParamℝP² | Data.Manifold.Types, Data.Manifold |
runCntnFuncValue | Data.Manifold |
runContinuous | Data.Manifold |
runFlatContinuous | Data.Manifold |
runTriangT | Data.SimplicialComplex |
RWDiffable | Data.Manifold.PseudoAffine |