--* From BMT%WATSON.vnet.ibm.com@yktvmh.watson.ibm.com  Sun May  1 18:57:58 1994
--* Received: from yktvmh.watson.ibm.com by asharp.watson.ibm.com (AIX 3.2/UCB 5.64/930311)
--*           id AA29904; Sun, 1 May 1994 18:57:58 -0400
--* Received: from watson.vnet.ibm.com by yktvmh.watson.ibm.com (IBM VM SMTP V2R3)
--*    with BSMTP id 1955; Sun, 01 May 94 18:57:51 EDT
--* Received: from YKTVMH by watson.vnet.ibm.com with "VAGENT.V1.0"
--*           id <A.BMT.NOTE.VAGENT2.1155.May.01.18:57:50.-0400>
--*           for asbugs@watson; Sun, 01 May 94 18:57:50 -0400
--* Received: from YKTVMH by watson.vnet.ibm.com with "VAGENT.V1.0"
--*           id 1153; Sun, 1 May 1994 18:57:50 EDT
--* Received: from spadserv.watson.ibm.com by yktvmh.watson.ibm.com
--*    (IBM VM SMTP V2R3) with TCP; Sun, 01 May 94 18:57:49 EDT
--* Received: by spadserv.watson.ibm.com (AIX 3.2/UCB 5.64/900524)
--*           id AA18987; Sun, 1 May 1994 18:59:51 -0400
--* Date: Sun, 1 May 1994 18:59:51 -0400
--* From: bmt@spadserv.watson.ibm.com
--* X-External-Networks: yes
--* Message-Id: <9405012259.AA18987@spadserv.watson.ibm.com>
--* To: asbugs@watson.ibm.com
--* Subject: [2] compiler complains that % doesn't match Poly [hgb2.as][current]

--@ Fixed  by:  SSD   Fri Jun 24 10:59:10 EDT 1994 
--@ Tested by:  none 
--@ Summary:    Extend substitution fixes correct this bug [v35.8.3]. 


#include "axiom.as"
monomIdealPack(R:GcdDomain, E:OrderedAbelianMonoidSup, V:OrderedSet, Poly:PolynomialCategory(R,E,V)):with
   monomialIdeal: List Poly -> List Poly
 == add
   import from Poly
   import from GroebnerPackage(R,E,V,Poly)
   monomialIdeal(l:List Poly):List Poly ==
     gb:=groebner(l)
     mgb:=[p-reductum p for p in gb]