Documentation
LeanPool
.
OperatorTheory
.
Operator
.
Crouzeix
Search
return to top
source
Imports
Init
LeanPool.OperatorTheory.Operator.Crouzeix.AdjointIntegral
LeanPool.OperatorTheory.Operator.Crouzeix.AffineAuxiliary
LeanPool.OperatorTheory.Operator.Crouzeix.AffineCrouzeix
LeanPool.OperatorTheory.Operator.Crouzeix.AffineDisk
LeanPool.OperatorTheory.Operator.Crouzeix.AffinePolynomial
LeanPool.OperatorTheory.Operator.Crouzeix.AffineProduct
LeanPool.OperatorTheory.Operator.Crouzeix.AffineSpectralSet
LeanPool.OperatorTheory.Operator.Crouzeix.ApproximationSupNorm
LeanPool.OperatorTheory.Operator.Crouzeix.AuxOperator
LeanPool.OperatorTheory.Operator.Crouzeix.BoundaryApproximation
LeanPool.OperatorTheory.Operator.Crouzeix.BoundaryMaximum
LeanPool.OperatorTheory.Operator.Crouzeix.CircleAuxiliary
LeanPool.OperatorTheory.Operator.Crouzeix.CircleCauchy
LeanPool.OperatorTheory.Operator.Crouzeix.CircleKernel
LeanPool.OperatorTheory.Operator.Crouzeix.CircleProduct
LeanPool.OperatorTheory.Operator.Crouzeix.CircleSymmetrized
LeanPool.OperatorTheory.Operator.Crouzeix.ClosedBallPalencia
LeanPool.OperatorTheory.Operator.Crouzeix.CompactThickeningApprox
LeanPool.OperatorTheory.Operator.Crouzeix.ContourIntegral
LeanPool.OperatorTheory.Operator.Crouzeix.ConvexRunge
LeanPool.OperatorTheory.Operator.Crouzeix.ConvexRungeClosure
LeanPool.OperatorTheory.Operator.Crouzeix.ConvexRungeFinite
LeanPool.OperatorTheory.Operator.Crouzeix.ConvexRungeIntegral
LeanPool.OperatorTheory.Operator.Crouzeix.DiskMergelyan
LeanPool.OperatorTheory.Operator.Crouzeix.DoubleLayer
LeanPool.OperatorTheory.Operator.Crouzeix.DoubleLayerBound
LeanPool.OperatorTheory.Operator.Crouzeix.DoubleLayerIntegral
LeanPool.OperatorTheory.Operator.Crouzeix.GeneralSymmetrized
LeanPool.OperatorTheory.Operator.Crouzeix.NormalPolynomialBound
LeanPool.OperatorTheory.Operator.Crouzeix.NormalProduct
LeanPool.OperatorTheory.Operator.Crouzeix.NormalProductSymmetrized
LeanPool.OperatorTheory.Operator.Crouzeix.Palencia
LeanPool.OperatorTheory.Operator.Crouzeix.PalenciaApproximation
LeanPool.OperatorTheory.Operator.Crouzeix.PalenciaExhaustion
LeanPool.OperatorTheory.Operator.Crouzeix.PalenciaSmoothApproximation
LeanPool.OperatorTheory.Operator.Crouzeix.PalenciaSupport
LeanPool.OperatorTheory.Operator.Crouzeix.PlanarDualDirection
LeanPool.OperatorTheory.Operator.Crouzeix.PolynomialBound
LeanPool.OperatorTheory.Operator.Crouzeix.PolynomialCauchyFromResolventMass
LeanPool.OperatorTheory.Operator.Crouzeix.PolynomialCauchyMass
LeanPool.OperatorTheory.Operator.Crouzeix.PolynomialCompanionConvergence
LeanPool.OperatorTheory.Operator.Crouzeix.PolynomialCompanionNormalization
LeanPool.OperatorTheory.Operator.Crouzeix.PolynomialSupNormZero
LeanPool.OperatorTheory.Operator.Crouzeix.PolytopeSoftSupport
LeanPool.OperatorTheory.Operator.Crouzeix.PolytopeSoftSupportCurvature
LeanPool.OperatorTheory.Operator.Crouzeix.PositiveIntegral
LeanPool.OperatorTheory.Operator.Crouzeix.PositiveKernelBound
LeanPool.OperatorTheory.Operator.Crouzeix.ProductBase
LeanPool.OperatorTheory.Operator.Crouzeix.ProductContour
LeanPool.OperatorTheory.Operator.Crouzeix.ProductNormalization
LeanPool.OperatorTheory.Operator.Crouzeix.ProductSymmetrizedAlignment
LeanPool.OperatorTheory.Operator.Crouzeix.ResolventCauchyKernel
LeanPool.OperatorTheory.Operator.Crouzeix.ResolventContourHomotopy
LeanPool.OperatorTheory.Operator.Crouzeix.ScalarCauchyKernelConstancy
LeanPool.OperatorTheory.Operator.Crouzeix.ScalarCauchyKernelWinding
LeanPool.OperatorTheory.Operator.Crouzeix.ScalarCompanion
LeanPool.OperatorTheory.Operator.Crouzeix.ScalarCompanionAssembly
LeanPool.OperatorTheory.Operator.Crouzeix.ScalarCompanionBoundary
LeanPool.OperatorTheory.Operator.Crouzeix.ScalarCompanionBoundaryMeasure
LeanPool.OperatorTheory.Operator.Crouzeix.ScalarCompanionBoundaryMeasureAffine
LeanPool.OperatorTheory.Operator.Crouzeix.ScalarCompanionBoundaryMeasureAssembly
LeanPool.OperatorTheory.Operator.Crouzeix.ScalarCompanionBoundaryMeasureCircle
LeanPool.OperatorTheory.Operator.Crouzeix.ScalarCompanionBoundaryMeasureMass
LeanPool.OperatorTheory.Operator.Crouzeix.ScalarCompanionCircle
LeanPool.OperatorTheory.Operator.Crouzeix.ScalarCompanionDecay
LeanPool.OperatorTheory.Operator.Crouzeix.ScalarCompanionPhaseInduction
LeanPool.OperatorTheory.Operator.Crouzeix.ScalarCompanionPlemelj
LeanPool.OperatorTheory.Operator.Crouzeix.ScalarCompanionPlemeljBound
LeanPool.OperatorTheory.Operator.Crouzeix.ScalarCompanionPlemeljCircle
LeanPool.OperatorTheory.Operator.Crouzeix.ScalarCompanionRadial
LeanPool.OperatorTheory.Operator.Crouzeix.ScalarCompanionRadialAssembly
LeanPool.OperatorTheory.Operator.Crouzeix.SmoothApprox
LeanPool.OperatorTheory.Operator.Crouzeix.SmoothJordanAffine
LeanPool.OperatorTheory.Operator.Crouzeix.SmoothJordanCauchy
LeanPool.OperatorTheory.Operator.Crouzeix.SmoothJordanCauchyFormula
LeanPool.OperatorTheory.Operator.Crouzeix.SmoothJordanCompact
LeanPool.OperatorTheory.Operator.Crouzeix.SmoothJordanExhaustion
LeanPool.OperatorTheory.Operator.Crouzeix.SmoothJordanInflation
LeanPool.OperatorTheory.Operator.Crouzeix.SmoothJordanMergelyan
LeanPool.OperatorTheory.Operator.Crouzeix.SmoothJordanMergelyanAssembly
LeanPool.OperatorTheory.Operator.Crouzeix.SmoothJordanOuterApproximation
LeanPool.OperatorTheory.Operator.Crouzeix.SmoothJordanOuterApproximationReduction
LeanPool.OperatorTheory.Operator.Crouzeix.SmoothJordanPolytopeReduction
LeanPool.OperatorTheory.Operator.Crouzeix.SmoothJordanSimilarity
LeanPool.OperatorTheory.Operator.Crouzeix.SmoothJordanSupport
LeanPool.OperatorTheory.Operator.Crouzeix.SmoothSupportCurve
LeanPool.OperatorTheory.Operator.Crouzeix.SmoothSupportCurveGlobal
LeanPool.OperatorTheory.Operator.Crouzeix.SmoothSupportCurveRange
LeanPool.OperatorTheory.Operator.Crouzeix.SmoothSupportDomain
LeanPool.OperatorTheory.Operator.Crouzeix.SmoothSupportEnvelope
LeanPool.OperatorTheory.Operator.Crouzeix.SmoothSupportEnvelopeApproximation
LeanPool.OperatorTheory.Operator.Crouzeix.SmoothSupportEnvelopeTight
LeanPool.OperatorTheory.Operator.Crouzeix.SmoothSupportExhaustion
LeanPool.OperatorTheory.Operator.Crouzeix.SpectralAuxiliary
LeanPool.OperatorTheory.Operator.Crouzeix.SpectralAuxiliaryCenter
LeanPool.OperatorTheory.Operator.Crouzeix.SpectralCauchy
LeanPool.OperatorTheory.Operator.Crouzeix.SpectralSetMonotone
LeanPool.OperatorTheory.Operator.Crouzeix.SpectralSetSuperset
LeanPool.OperatorTheory.Operator.Crouzeix.SymmetrizedAuxiliary
LeanPool.OperatorTheory.Operator.Crouzeix.SymmetrizedBound
LeanPool.OperatorTheory.Operator.Crouzeix.VonNeumann
Imported by
Supporting modules for Unitary dilation and the Crouzeix–Palencia bound.