login  home  contents  what's new  discussion  bug reports     help  links  subscribe  changes  refresh  edit

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)

\label{eq1}\hbox{\axiomType{SubDom}\ } (\hbox{\axiomType{Integer}\ } , \hbox{\axiomType{IntegralDomain}\ })(1)
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)




  Subject:   Be Bold !!
  ( 13 subscribers )  
Please rate this page: