From: Peter Broadbery <peterb>
Date: Mon, 17 Jun 96 15:50:20 BST
Received: from co.uk (nags8) by nags2.nag.co.uk (4.1/UK-2.1)
	id AA02875; Mon, 17 Jun 96 15:50:20 BST
To: ax-bugs

Subject: fixbug
By: PAB
Fixed: bug620.as
--* From BMT%WATSON.vnet.ibm.com@yktvmh.watson.ibm.com  Mon May  2 17:23:44 1994
--* Received: from yktvmh.watson.ibm.com by watson.ibm.com (AIX 3.2/UCB 5.64/930311)
--*           id AA14178; Mon, 2 May 1994 17:23:44 -0400
--* Received: from watson.vnet.ibm.com by yktvmh.watson.ibm.com (IBM VM SMTP V2R3)
--*    with BSMTP id 9435; Mon, 02 May 94 17:23:38 EDT
--* Received: from YKTVMH by watson.vnet.ibm.com with "VAGENT.V1.0"
--*           id <A.BMT.NOTE.VAGENT2.7079.May.02.17:23:37.-0400>
--*           for asbugs@watson; Mon, 02 May 94 17:23:38 -0400
--* Received: from YKTVMH by watson.vnet.ibm.com with "VAGENT.V1.0"
--*           id 7076; Mon, 2 May 1994 17:23:37 EDT
--* Received: from watson.ibm.com by yktvmh.watson.ibm.com
--*    (IBM VM SMTP V2R3) with TCP; Mon, 02 May 94 17:23:35 EDT
--* Received: by watson.ibm.com (AIX 3.2/UCB 5.64/900524)
--*           id AA19311; Mon, 2 May 1994 17:25:38 -0400
--* Date: Mon, 2 May 1994 17:25:38 -0400
--* From: bmt@watson.ibm.com
--* X-External-Networks: yes
--* Message-Id: <9405022125.AA19311@watson.ibm.com>
--* To: asbugs@watson.ibm.com
--* Subject: [3] code never tries to look up default ops hash or latex [myset.as][35.0]

--@ Bug Number:  bug620.as 
--@ Fixed  by:  PAB   
--@ Tested by:  none 
--@ Summary:    Axiom interop problem, fixed now. 


#include "axiom.as"

MySet : SetCategory with (coerce: Integer -> %)  == add
  Rep  ==> Integer
  import from Rep
  (x:%) = (y:%):Boolean == rep x = rep y
  sample:% == per 0
  coerce(i:Integer):% == per i
  coerce(x:%):OutputForm == coerce(rep x)