--* From bmt@spadserv.watson.ibm.com  Thu Apr  1 15:12:14 1993
--* Received: from spadserv.watson.ibm.com by radical.watson.ibm.com (AIX 3.2/UCB 5.64/900524)
--*           id AA24686; Thu, 1 Apr 1993 15:12:14 -0500
--* Received: by spadserv.watson.ibm.com (AIX 3.2/UCB 5.64/900524)
--*           id AA18375; Thu, 1 Apr 1993 15:13:26 -0500
--* Date: Thu, 1 Apr 1993 15:13:26 -0500
--* From: bmt@spadserv.watson.ibm.com
--* X-External-Networks: yes
--* Message-Id: <9304012013.AA18375@spadserv.watson.ibm.com>
--* To: axc-bug@radical.watson.ibm.com, smwatt@watson.vnet.ibm.com
--* Subject: default parameter type not recognized when in where clause [junk2.as][27.4 (current)]

--@ Fixed  by: RSS Wed Oct 13 14:27:06 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 == T where

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

  T ==> add

      import Dpol