--* From BMT%WATSON.vnet.ibm.com@yktvmv.watson.ibm.com  Sat Jan 21 13:18:49 1995
--* Received: from yktvmv-ob.watson.ibm.com by asharp.watson.ibm.com (AIX 3.2/UCB 5.64/930311)
--*           id AA19877; Sat, 21 Jan 1995 13:18:49 -0500
--* Received: from watson.vnet.ibm.com by yktvmv.watson.ibm.com (IBM VM SMTP V2R3)
--*    with BSMTP id 9901; Sat, 21 Jan 95 13:18:44 EST
--* Received: from YKTVMV by watson.vnet.ibm.com with "VAGENT.V1.0"
--*           id <A.BMT.NOTE.VAGENT2.5169.Jan.21.13:18:43.-0500>
--*           for asbugs@watson; Sat, 21 Jan 95 13:18:43 -0500
--* Received: from YKTVMV by watson.vnet.ibm.com with "VAGENT.V1.0"
--*           id 5157; Sat, 21 Jan 1995 13:18:43 EST
--* Received: from spadserv.watson.ibm.com by yktvmv.watson.ibm.com
--*    (IBM VM SMTP V2R3) with TCP; Sat, 21 Jan 95 13:18:42 EST
--* Received: by spadserv.watson.ibm.com (AIX 3.2/UCB 5.64/900524)
--*           id AA19037; Sat, 21 Jan 1995 12:59:53 -0500
--* Date: Sat, 21 Jan 1995 12:59:53 -0500
--* From: bmt@spadserv.watson.ibm.com
--* X-External-Networks: yes
--* Message-Id: <9501211759.AA19037@spadserv.watson.ibm.com>
--* To: asbugs@watson.ibm.com
--* Subject: [3] )co gptest.as; monomialIdeal([x+1],[x]) fails claiming it was called with the wrong number of arguments (bad code generation)

--@ Fixed  by:  SSD   Mon Jan 30 13:51:30 EST 1995 
--@ Tested by:  none 
--@ Summary:    Fixed code generation for parameter symes in the presence of types involving outer parameters. 


-- Command line: )compile gptest.as
-- Version: 1.0.4
-- Original bug file name: gptest.as

#include "axiom.as"
#pile

L ==> List
NNI ==> NonNegativeInteger

GroebnerMonomialPackage(R:GcdDomain, Expon:OrderedAbelianMonoidSup, _
 VarSet:OrderedSet, Dpol: PolynomialCategory(R, Expon, VarSet)) : with
    monomialIdeal: (L Dpol, L VarSet) -> L L NNI
  == add
    monomialIdeal( ideal:L Dpol, lvars:L VarSet): L L NNI ==
      import from Dpol
      gb := groebner(ideal)$GroebnerPackage(R, Expon, VarSet, Dpol)
      [degree(f-reductum f, lvars) for f in gb]