IndisputableMonolith.Gravity.Analysis.ReggeTTHingeAwareZeroMode

declarations in this module (59)

• theorem below L24
• def hingeEdgeDiagonalBlock L117
• def ttWitnessPolarization L125
• def ttWitnessWaveVector L131
• theorem sqrt2_mul_self L136
• theorem inv_sqrt2_mul_self L139
• theorem inv_sqrt2_sq L143
• theorem ttWitness_isTT L149
• theorem ttWitness_polEdgeCoeff L167
• theorem hinge_cancels_recorded_residual L187
• def slotDispClass L204
• class the L213
• theorem slotDispClass_grounded L216
• theorem w00 L228
• theorem w01 L230
• theorem w02 L232
• theorem w03 L234
• theorem w04 L236
• theorem w05 L238
• theorem w10 L240
• theorem w11 L242
• theorem w12 L244
• theorem w13 L246
• theorem w14 L248
• theorem w15 L250
• theorem w20 L252
• theorem w21 L254
• theorem w22 L256
• theorem w23 L258
• theorem w24 L260
• theorem w25 L262
• theorem w30 L264
• theorem w31 L266
• theorem w32 L268
• theorem w33 L270
• theorem w34 L272
• theorem w35 L274
• theorem w40 L276
• theorem w41 L278
• theorem w42 L280
• theorem w43 L282
• theorem w44 L284
• theorem w45 L286
• theorem w50 L288
• theorem w51 L290
• theorem w52 L292
• theorem w53 L294
• theorem w54 L296
• theorem w55 L298
• def assembledConstantBlock L312
• theorem zeroMode_free_coefficients L326
• theorem polEdgeCoeff_alternatingSum L342
• theorem assembledConstantBlock_eq_zero L359
• theorem assembled_witness_split L376
• theorem commensurateMomentum_zero L386
• theorem planeWaveTetVelocity_zeroMomentum L393
• theorem rawCellStencil_zeroMomentum L408
• theorem canonicalFiniteH_zeroMomentum_eq_zero L472
• theorem zeroMomentum_symbol_is_zero L486