id Summary Status Keywords Owner Type Priority 185 detailed PLURAL wishlist: Hilbert-driven Buchberger new PLURAL Hilbert-driven std Oleksandr proposed feature minor