Hi all, are the commands "grobner_basis" and "polysimp" still available in the latest maxima? load("grobner") does not make them available. Are they included in a different package? Thanks in advance Fabrizio