HILBERT_BASIS -> HILBERT_BASIS_GENERATORS