mirror of
https://github.com/gonum/gonum.git
synced 2025-10-05 07:06:54 +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.