Exposing the SubDomain constructor:
spad
)abbrev domain SUB SubDom
SubDom(X:Type,C:Type):Type with
if C has IntegralDomain then IntegralDomain
== SubDomain(X,true)
spad
Compiling FriCAS source code from file
/var/lib/zope2.10/instance/axiom-wiki/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: 0)
;;; *** |SubDom| REDEFINED
;;; *** |SubDom| REDEFINED
Time: 0.01 SEC.
Cumulative Statistics for Constructor SubDom
Time: 0.01 seconds
finalizing NRLIB SUB
Processing SubDom for Browser database:
--->-->SubDom(): Missing Description
; compiling file "/var/aw/var/LatexWiki/SUB.NRLIB/SUB.lsp" (written 31 JUL 2013 03:50:00 PM):
; /var/aw/var/LatexWiki/SUB.NRLIB/SUB.fasl written
; compilation finished in 0:00:00.014
------------------------------------------------------------------------
SubDom is now explicitly exposed in frame initial
SubDom will be automatically loaded when needed from
/var/aw/var/LatexWiki/SUB.NRLIB/SUB
fricas
xINT := SubDom(Integer,IntegralDomain)
Type: Type
fricas
)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) -> %
annihilate? : (%,%) -> Boolean associates? : (%,%) -> Boolean
coerce : % -> OutputForm coerce : Integer -> %
coerce : % -> % hash : % -> SingleInteger
latex : % -> String one? : % -> Boolean
opposite? : (%,%) -> Boolean recip : % -> Union(%,"failed")
sample : () -> % unit? : % -> Boolean
unitCanonical : % -> % zero? : % -> Boolean
?~=? : (%,%) -> Boolean
?*? : (NonNegativeInteger,%) -> %
?^? : (%,NonNegativeInteger) -> %
characteristic : () -> NonNegativeInteger
exquo : (%,%) -> Union(%,"failed")
hashUpdate! : (HashState,%) -> HashState
subtractIfCan : (%,%) -> Union(%,"failed")
unitNormal : % -> Record(unit: %,canonical: %,associate: %)
fricas
x:=1$xINT
Internal Error
The function One with signature () -> % is missing from domain
SubDom(Integer)(IntegralDomain)