High-contrast homogenization: Provider.PolynomialHomogenization.RuledWhitneyDirichletRHSRow #
Imported from the Apache-2.0 HighContrastHomogenization development at commit
7a13dbcd8d6609264a713373f5c69ceeac870472.
def
HCPolySupport.HighContrast.whitneyCellCube
{d : ℕ}
{U : Set (Vec d)}
{rho Rad : ℝ}
(system : EnlargedMarginRuledTriadicWhitneySystem U rho Rad)
(i : system.CellIndex)
:
The triadic cube represented by one index of a convex Whitney system.
Equations
- HCPolySupport.HighContrast.whitneyCellCube system i = HCPolySupport.translateCube (system.index i) (HCPolySupport.originCube d (system.scale i))
Instances For
@[simp]
theorem
HCPolySupport.HighContrast.openCubeSet_whitneyCellCube
{d : ℕ}
{U : Set (Vec d)}
{rho Rad : ℝ}
(system : EnlargedMarginRuledTriadicWhitneySystem U rho Rad)
(i : system.CellIndex)
: