ALGORITHM 628 An Alghorithm for Constructing Canonical Bases of Polynomial Ideals-F.Winkler