OAI/Analysis/CircleDomains/Rigidity/MatchedRealMaskData.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

Data of the actual scalar masks used in the axial trace argument. All fields are constructed from the matched disks and the planar maximal input.

  1. def OAI.CircleDomainRigidity.MatchedConformalEnds.realSelectedScalar line 17
  2. def OAI.CircleDomainRigidity.MatchedConformalEnds.realMaskValue line 21
  3. def OAI.CircleDomainRigidity.MatchedConformalEnds.maskDomain line 26
  4. structure OAI.CircleDomainRigidity.MatchedConformalEnds.MatchedRealMask line 29