--* 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]

--@ Fixed  by: <Who> <Date>
--@ Tested by: <Name of new or existing file in test directory>
--@ Summary:   <Description of real problem and the fix>


#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)