Definition at line 155 of file geopoly.hpp.
References F, heap, result(), and top_of_heap.
Referenced by PolyRing::diff(), and PolyRing::mult().