[Proposal] Use std::unordered_map for A.globalToLocalMap instead of std::map (#42)
[Proposal] Use std::unordered_map for A.globalToLocalMap instead of std::map (#42)

[Proposal] Use std::unordered_map for A.globalToLocalMap instead of std::map

This is a good idea.  Thanks for the contribution.

hpcg-benchmark/hpcg,hpcg-benchmark/hpcg,hpcg-benchmark/hpcg,hpcg-benchmark/hpcg,hpcg-benchmark/hpcg,hpcg-benchmark/hpcg