Manual Kernel_23 STL_Extension Algebraic_foundations Circulator Stream_support Solver_interface Point_set_processing_3 Shape_detection BGL