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

Exposing the SubDomain constructor:

fricas
(1) -> <spad>
fricas
)abbrev domain SUB SubDom
SubDom(X:Type,C:Type):Type with
   if C has IntegralDomain then IntegralDomain
 == SubDomain(X,true)</spad>
fricas
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:  1223)
;;; *** |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 10 DEC 2024 01:18:49 AM):
; wrote /var/aw/var/LatexWiki/SUB.NRLIB/SUB.fasl ; compilation finished in 0:00:00.008 ------------------------------------------------------------------------ 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}\ } \left({\hbox{\axiomType{Integer}\ } , \: \hbox{\axiomType{IntegralDomain}\ }}\right)(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. 0 Names for 0 Operations in this Domain. ------------------------------- Operations --------------------------------

fricas
x:=1$xINT
Internal Error The function One with signature () -> % is missing from domain SubDom(Integer)(IntegralDomain)




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