Hello! I'm new to GiNaC and my question is: Has GiNaC got a routine to compute Groebner basis? If the answer is no, then if i tried to implement one, would it be welcome ? Greetings ------------- Fabian