Exposing the SubDomain constructor:

)abbrev domain SUB SubDom
SubDom(X:Type,C:Type):Type with
   if C has IntegralDomain then IntegralDomain
 == SubDomain(X,true)

   Compiling FriCAS source code from file 
      /var/zope2/var/LatexWiki/2342792302317730065-25px001.spad using 
      old system compiler.
   SUB abbreviates domain SubDom 
------------------------------------------------------------------------
   initializing NRLIB SUB for SubDom 
   compiling into NRLIB SUB 
****** Domain: C already in scope
augmenting C: (IntegralDomain)
(time taken in buildFunctor:  20)

;;;     ***       |SubDom| REDEFINED

;;;     ***       |SubDom| REDEFINED
Time: 0.10 SEC.

   Cumulative Statistics for Constructor SubDom
      Time: 0.10 seconds

   finalizing NRLIB SUB 
   Processing SubDom for Browser database:
--->-->SubDom(): Missing Description
; compiling file "/var/zope2/var/LatexWiki/SUB.NRLIB/SUB.lsp" (written 23 AUG 2010 09:59:22 PM):
; compiling (/VERSIONCHECK 2)
; compiling (SETQ |$CategoryFrame| ...)
; compiling (DEFUN |SubDom| ...)
; compiling (DEFUN |SubDom;| ...)
; compiling (MAKEPROP (QUOTE |SubDom|) ...)

; /var/zope2/var/LatexWiki/SUB.NRLIB/SUB.fasl written
; compilation finished in 0:00:00.065
------------------------------------------------------------------------
   SubDom is now explicitly exposed in frame initial 
   SubDom will be automatically loaded when needed from 
      /var/zope2/var/LatexWiki/SUB.NRLIB/SUB

xINT := SubDom(Integer,IntegralDomain)

(1)

Type: Domain

)sh xINT

 SubDom(Integer,IntegralDomain) is a domain constructor.
 Abbreviation for SubDom is SUB
 This constructor is exposed in this frame.
------------------------------- Operations --------------------------------

 ?*? : (Integer,%) -> %                ?*? : (PositiveInteger,%) -> %
 ?*? : (%,%) -> %                      ?+? : (%,%) -> %
 ?-? : (%,%) -> %                      -? : % -> %
 ?=? : (%,%) -> Boolean                1 : () -> %
 0 : () -> %                           ?^? : (%,PositiveInteger) -> %
 associates? : (%,%) -> Boolean        coerce : % -> OutputForm
 coerce : Integer -> %                 coerce : % -> %
 hash : % -> SingleInteger             latex : % -> String
 one? : % -> Boolean                   recip : % -> Union(%,"failed")
 sample : () -> %                      unit? : % -> Boolean
 unitCanonical : % -> %                zero? : % -> Boolean
 ?~=? : (%,%) -> Boolean
 ?*? : (NonNegativeInteger,%) -> %
 ?^? : (%,NonNegativeInteger) -> %
 characteristic : () -> NonNegativeInteger
 exquo : (%,%) -> Union(%,"failed")
 subtractIfCan : (%,%) -> Union(%,"failed")
 unitNormal : % -> Record(unit: %,canonical: %,associate: %)

x:=1$xINT

   Internal Error
   The function One with signature () -> % is missing from domain
      SubDom(Integer)(IntegralDomain)