void operator delete (void* ptr) { free_hook(ptr); }
};
class cl_heap_univpoly_complex_ring : public cl_heap_univpoly_ring {
SUBCLASS_cl_heap_univpoly_ring()
// High-level operations.
void operator delete (void* ptr) { free_hook(ptr); }
};
class cl_heap_univpoly_complex_ring : public cl_heap_univpoly_ring {
SUBCLASS_cl_heap_univpoly_ring()
// High-level operations.