--* From postmaster%watson.vnet.ibm.com@yktvmv.watson.ibm.com  Wed May 12 08:26:17 1993
--* Received: from yktvmv2.watson.ibm.com by radical.watson.ibm.com (AIX 3.2/UCB 5.64/900524)
--*           id AA11539; Wed, 12 May 1993 08:26:17 -0400
--* X-External-Networks: yes
--* Received: from watson.vnet.ibm.com by yktvmv.watson.ibm.com (IBM VM SMTP V2R3)
--*    with BSMTP id 1719; Wed, 12 May 93 08:26:42 EDT
--* Received: from YKTVMV by watson.vnet.ibm.com with "VAGENT.V1.0"
--*           id <A.LAMBE.NOTE.YKTVMV.4141.May.12.08:26:41.-0400>
--*           for asbugs@watson; Wed, 12 May 93 08:26:42 -0400
--* Received: from kth.se by watson.ibm.com (IBM VM SMTP V2R3) with TCP;
--*    Wed, 12 May 93 08:26:40 EDT
--* Received: from candida.matematik.su.se by kth.se (5.65+bind 1.7+ida 1.4.2/6.0)
--* 	id AA21495; Wed, 12 May 93 14:26:35 +0200
--* Received: from insanus (insanus.matematik.su.se) by candida.matematik.su.se (4.1/6.0)
--* 	id AA10498; Wed, 12 May 93 14:30:33 +0200
--* From: Larry Lambe  <lambe@matematik.su.se>
--* Received: by insanus (4.1/6.0)
--* 	id AA07331; Wed, 12 May 93 14:31:19 +0200
--* Date: Wed, 12 May 93 14:31:19 +0200
--* Message-Id: <9305121231.AA07331@insanus>
--* To: asbugs@watson.ibm.com
--* Subject: compiler generates a symbol with a number in front [3x3tst.as][sun cc]

--@ Fixed  by: JMS Tue Oct 12 18:20:53 1993
--@ Tested by: 1test.as
--@ Summary:   allow file names which don't begin with alpha-character

--> testrun -lasdem

#include "aslib.as"

#library Dlib "asdem"

import Dlib
import SingleInteger

R ==> Integer
import R

hdp ==> HomogeneousDirectProduct(18)
import hdp

poly ==> Polynomial(R,hdp)
import poly

a:poly := var unitVector 1
b:poly := var unitVector 2
c:poly := var unitVector 3
d:poly := var unitVector 4
e:poly := var unitVector 5
f:poly := var unitVector 6
g:poly := var unitVector 7
h:poly := var unitVector 8
i:poly := var unitVector 9
A:poly := var unitVector 10
B:poly := var unitVector 11
C:poly := var unitVector 12
D:poly := var unitVector 13
E:poly := var unitVector 14
F:poly := var unitVector 15
G:poly := var unitVector 16
H:poly := var unitVector 17
I:poly := var unitVector 18

p1 := d * B + g * C - b * D - c * G
p2 := b*A-a*B+e*B+h*C-b*E-c*H
p3 := c*A+f*B-a*C+i*C-b*F-c*I
p4 := -d*A+a*D-e*D+d*E+g*F-f*G
p5 := -d*B+b*D+h*F-f*H
p6 := -d*C+c*D+f*E-e*F+i*F-f*I
p7 := -g*A-h*D+a*G-i*G+d*H+g*I
p8 := -g*B-h*E+b*G+e*H-i*H+h*I
p9 := -g*C-h*F+c*G+f*H

l : List poly := [p1,p2,p3,p4,p5,p6,p7,p8,p9]
print(l)()

import GroebnerPackage(R,hdp,poly)
import String

base := groebner(l,"info")
print(base)()