--* From bmt@spadserv.watson.ibm.com  Thu Apr  1 15:13:46 1993
--* Received: from spadserv.watson.ibm.com by radical.watson.ibm.com (AIX 3.2/UCB 5.64/900524)
--*           id AA18809; Thu, 1 Apr 1993 15:13:46 -0500
--* Received: by spadserv.watson.ibm.com (AIX 3.2/UCB 5.64/900524)
--*           id AA18358; Thu, 1 Apr 1993 15:14:59 -0500
--* Date: Thu, 1 Apr 1993 15:14:59 -0500
--* From: bmt@spadserv.watson.ibm.com
--* X-External-Networks: yes
--* Message-Id: <9304012014.AA18358@spadserv.watson.ibm.com>
--* To: axc-bug@radical.watson.ibm.com, smwatt@watson.vnet.ibm.com
--* Subject: functor target type not recognized when defined as macro in where clause [junk2.as][27.4 (current)]

--@ Fixed  by: RSS Wed Oct 13 14:22:24 1993
--@ Tested by: <name of new or existing file in test directory>
--@ Summary:   <One line description of real problem and the fix>


#include "aslib.as"

GroebnerInternalPackage(Dpol:Type):C == T where

  C ==> with
    
     redPol:   (Dpol, List(Dpol))  -> Dpol
     gbasis:  (List(Dpol), Integer, Integer) -> List(Dpol)
     minGbasis: List(Dpol) -> List(Dpol)

  T ==> add

      import Dpol