--* From PETEB%WATSON.vnet.ibm.com@yktvmv.watson.ibm.com  Fri Nov  5 16:56:00 1993
--* Received: from yktvmv.watson.ibm.com by radical.watson.ibm.com (AIX 3.2/UCB 5.64/900524)
--*           id AA11629; Fri, 5 Nov 1993 16:56:00 -0500
--* X-External-Networks: yes
--* Received: from watson.vnet.ibm.com by yktvmv.watson.ibm.com (IBM VM SMTP V2R3)
--*    with BSMTP id 8019; Fri, 05 Nov 93 17:03:15 EST
--* Received: from YKTVMV by watson.vnet.ibm.com with "VAGENT.V1.0"
--*           id <A.PETEB.NOTE.VAGENT2.3129.Nov.05.17:03:14.-0500>
--*           for asbugs@watson; Fri, 05 Nov 93 17:03:15 -0500
--* Received: from YKTVMV by watson.vnet.ibm.com with "VAGENT.V1.0"
--*           id 3125; Fri, 5 Nov 1993 17:03:14 EST
--* Received: from pi.watson.ibm.com by yktvmv.watson.ibm.com (IBM VM SMTP V2R3)
--*    with TCP; Fri, 05 Nov 93 17:03:13 EST
--* Received: by pi.watson.ibm.com (AIX 3.2/UCB 5.64/4.03)
--*           id AA05026; Fri, 5 Nov 1993 16:57:24 -0600
--* Date: Fri, 5 Nov 1993 16:57:24 -0600
--* From: pab@pi.watson.ibm.com
--* Message-Id: <9311052257.AA05026@pi.watson.ibm.com>
--* To: asbugs@watson.ibm.com
--* Subject: Simplified hiblbert1 (inline problem) [tpol.as][32.1]

--@ Fixed  by:  PAB   Thu Jan 27 15:05:05 EST 1994 
--@ Tested by:  hilbert1.as 
--@ Summary:    spelt hilbert right+fix 


--> testrun -OQinline-all
#include "aslib.as"

#library DemoLib       "asdem"

import DemoLib

import Array SingleInteger
import Polynomial(Integer, SingleInteger)
import Integer
import SingleInteger

m := monomial(4,3);

print (m*m+1)();

import HomogeneousDirectProduct(2);
import Polynomial(Integer, HomogeneousDirectProduct(2))
x:=var unitVector 1
y:=var unitVector 2

print ("def p1")();
p1 := x+y;
print ("def p2")();
p2 := 4*x*y+2*x+y

print "printing..."
print();
print (p1)();
print (p2)();

---
--- Fails on inlining of apply@(Outport, Term, Integer, SingleInteger)->Outport
--- [Belives it to be a local syme, as symeGenesis is null]
---