cost

used by (40)

From the project-wide theorem graph. These declarations reference this one in their body.

• pitchJNDFraction_lt_one in IndisputableMonolith.Acoustics.MusicPitchJNDFromJCost decl_use
• SpeechIntelligibilityCert in IndisputableMonolith.Acoustics.SpeechIntelligibilityFromJCost decl_use
• const_one_is_geodesic in IndisputableMonolith.Action.EulerLagrange decl_use
• costRateEL_const_one in IndisputableMonolith.Action.EulerLagrange decl_use
• costRateELHolds in IndisputableMonolith.Action.EulerLagrange decl_use
• costRateEL_iff_const_one in IndisputableMonolith.Action.EulerLagrange decl_use
• costRateEL_implies_const_one in IndisputableMonolith.Action.EulerLagrange decl_use
• geodesic_iff_hessianEnergy_EL in IndisputableMonolith.Action.EulerLagrange decl_use
• actionJ_nonneg in IndisputableMonolith.Action.PathSpace decl_use
• Jcost_taylor_quadratic in IndisputableMonolith.Action.QuadraticLimit decl_use
• standardEL in IndisputableMonolith.Action.QuadraticLimit decl_use
• aestheticCost_zero_at_optimum in IndisputableMonolith.Aesthetics.CulturalAestheticFromJCost decl_use
• narrativeTension_nonneg in IndisputableMonolith.Aesthetics.NarrativeGeodesic decl_use
• three_act_resolution_below_climax in IndisputableMonolith.Aesthetics.NarrativeGeodesic decl_use
• threeAxis_plots in IndisputableMonolith.Aesthetics.NarrativeGeodesic decl_use
• Jcost_anti_mono_on_unit_interval in IndisputableMonolith.Aesthetics.SymmetryGroupPreference decl_use
• orbitCount_le_max in IndisputableMonolith.Aesthetics.SymmetryGroupPreference decl_use
• preference_anti_mono_in_orbits in IndisputableMonolith.Aesthetics.SymmetryGroupPreference decl_use
• preference_p6m_eq_zero in IndisputableMonolith.Aesthetics.SymmetryGroupPreference decl_use
• symmetryGroupPreferenceCert in IndisputableMonolith.Aesthetics.SymmetryGroupPreference decl_use
• symmetryRatio_le_one in IndisputableMonolith.Aesthetics.SymmetryGroupPreference decl_use
• wallpaperJ_mono_in_orbits in IndisputableMonolith.Aesthetics.SymmetryGroupPreference decl_use
• wallpaperJ_nonneg in IndisputableMonolith.Aesthetics.SymmetryGroupPreference decl_use
• wallpaperJ_p1_pos in IndisputableMonolith.Aesthetics.SymmetryGroupPreference decl_use
• wallpaperJ_p6m_eq_zero in IndisputableMonolith.Aesthetics.SymmetryGroupPreference decl_use
• wallpaperJ_p6m_le in IndisputableMonolith.Aesthetics.SymmetryGroupPreference decl_use
• wallpaperJ_pos_of_ne_one in IndisputableMonolith.Aesthetics.SymmetryGroupPreference decl_use
• ruleOfThirds_lattice_period_eq in IndisputableMonolith.Aesthetics.VisualBeauty decl_use
• canonicalCostAlgebra in IndisputableMonolith.Algebra.CostAlgebra decl_use
• canonicalRecognitionCostSystem in IndisputableMonolith.Algebra.CostAlgebra decl_use

… and 10 more