mirror of
https://github.com/gonum/gonum.git
synced 2025-10-26 08:40:26 +08:00
Rather than a pop/push pair to replace a value, update the heap min and then fix up the heap ordering.
Rather than a pop/push pair to replace a value, update the heap min and then fix up the heap ordering.