--* From postmaster%watson.vnet.ibm.com@yktvmv.watson.ibm.com  Wed Nov 16 12:23:18 1994
--* Received: from yktvmv-ob.watson.ibm.com by asharp.watson.ibm.com (AIX 3.2/UCB 5.64/930311)
--*           id AA17623; Wed, 16 Nov 1994 12:23:18 -0500
--* Received: from watson.vnet.ibm.com by yktvmv.watson.ibm.com (IBM VM SMTP V2R3)
--*    with BSMTP id 0131; Wed, 16 Nov 94 12:23:24 EST
--* Received: from YKTVMV by watson.vnet.ibm.com with "VAGENT.V1.0"
--*           id <A.PETERBPE.NOTE.YKTVMV.4285.Nov.16.12:23:22.-0500>
--*           for asbugs@watson; Wed, 16 Nov 94 12:23:24 -0500
--* Received: from sun2.nsfnet-relay.ac.uk by watson.ibm.com (IBM VM SMTP V2R3)
--*    with TCP; Wed, 16 Nov 94 12:23:21 EST
--* Via: uk.co.iec; Wed, 16 Nov 1994 16:03:33 +0000
--* Received: from nldi16.nag.co.uk by nags2.nag.co.uk (4.1/UK-2.1) id AA27894;
--*           Wed, 16 Nov 94 16:04:29 GMT
--* From: Peter Broadbery <peterb@num-alg-grp.co.uk>
--* Date: Wed, 16 Nov 94 16:02:16 GMT
--* Message-Id: <2275.9411161602@nldi16.nag.co.uk>
--* Received: by nldi16.nag.co.uk (920330.SGI/NAg-1.0) id AA02275;
--*           Wed, 16 Nov 94 16:02:16 GMT
--* To: asbugs@watson.ibm.com
--* Subject: optimiser creates"Loc"stmt and interpreter barfs on it

--@ Fixed  by:  SSD   Tue Mar 21 12:36:39 EST 1995 
--@ Tested by:  none 
--@ Summary:    Fixes between r1-0-6 and r1-1-0 have fixed this bug. 

-- Command line: axiomxl -O -ginterp gbtest1.as (nb: this is not quite test/gbtest1.as)
-- Version: 1.00.3
-- Original bug file name: gbtest1.as

--> testint
--> testrun -O -l axdem
--> testcomp -OQinline-limit=1000

--> PPS: Could you get a user called axlbugs@watson.ibm.com
--> and alias it to asbugs?

#pile
#include "axlib.as"

#include       "axdem"

R ==> Integer
import from R
hdp ==> HomogeneousDirectProduct(retract 2)
import from hdp
poly ==> Polynomial(R, hdp)
import from poly
x:=var unitVector retract 1
y:= var unitVector retract 2
p1:=x+y
p2:=x-y
q1:=p1*p2
q2:=p1*p1
l1:List poly := [q1,q2]
print<<l1<<newline
import from GroebnerPackage(R, hdp, poly)
import from String
base := groebner(l1,"info")
print<<base<<newline
f1:=x^4-3*x^2*y^2 + y^4
f2:=x*y^3-x^3*y
l2:List poly := [f1,f2]
print<<l2<<newline
base := groebner(l2)
print<<base<<newline