a bit simpler

diff --git a/qcsrc/server/g_damage.qc b/qcsrc/server/g_damage.qc
index d532c0fa1271dcc6d535e10ce23aad3d61e6afc6..876ce8c65a27ec31b60d6ad504caacaa0d78a2dc 100644 (file)
--- a/qcsrc/server/g_damage.qc
+++ b/qcsrc/server/g_damage.qc
@@ -1313,12 +1313,12 @@ float Fire_AddDamage(entity e, entity o, float d, float t, float dt)
                        // b) totaltime = min(maxtime, totaldamage / maxdps) = maxtime
 
                        // assuming t <= mintime:
                        // b) totaltime = min(maxtime, totaldamage / maxdps) = maxtime
 
                        // assuming t <= mintime:

-                       // maxtime = mintime
+                       // we get maxtime = mintime

                        // a) totaltime = max(mintime, ...) >= mintime, also totaltime <= maxtime by the lemma, therefore totaltime = mintime = maxtime
                        // b) totaltime = min(maxtime, ...) <= maxtime, also totaltime >= mintime by the lemma, therefore totaltime = mintime = maxtime
 
                        // a) totaltime = max(mintime, ...) >= mintime, also totaltime <= maxtime by the lemma, therefore totaltime = mintime = maxtime
                        // b) totaltime = min(maxtime, ...) <= maxtime, also totaltime >= mintime by the lemma, therefore totaltime = mintime = maxtime
 

-                       // assuming dps <= mindps, we must have t > mintime
-                       // Now from dps <= mindps, we get mindps == maxdps.
+                       // assuming dps <= mindps:
+                       // we get mindps = maxdps.

                        // With this, the lemma says that mintime <= totaldamage / mindps = totaldamage / maxdps <= maxtime.
                        // a) totaltime = max(mintime, totaldamage / maxdps) = totaldamage / maxdps
                        // b) totaltime = min(maxtime, totaldamage / mindps) = totaldamage / maxdps
                        // With this, the lemma says that mintime <= totaldamage / mindps = totaldamage / maxdps <= maxtime.
                        // a) totaltime = max(mintime, totaldamage / maxdps) = totaldamage / maxdps
                        // b) totaltime = min(maxtime, totaldamage / mindps) = totaldamage / maxdps