help links subscribe changes refresh edit

	Axiom Algebra
SandBox NNI ←	↑	→ SandBoxCartesianTensor

SandBox SubDomain

Edit detail for SandBox SubDomain revision 1 of 1

	1
Editor: Time: 2007/11/18 18:38:31 GMT-8
Note:

changed:
-
Exposing the SubDomain constructor:
\begin{spad}
)abbrev domain SUB SubDom
SubDom(X:Type,C:Type):Type with
   if C has IntegralDomain then IntegralDomain
 == SubDomain(X,true)
\end{spad}

\begin{axiom}
xINT := SubDom(Integer,IntegralDomain)
\end{axiom}

\begin{axiom}
)sh xINT
\end{axiom}

\begin{axiom}
x:=1$xINT
\end{axiom}

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:  1066)

;;;     ***       |SubDom| REDEFINED

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

   Cumulative Statistics for Constructor SubDom
      Time: 0.02 seconds

   finalizing NRLIB SUB 
   Processing SubDom for Browser database:
--->-->SubDom(): Missing Description
; compiling file "/var/aw/var/LatexWiki/SUB.NRLIB/SUB.lsp" (written 12 OCT 2024 11:18:06 PM):

; wrote /var/aw/var/LatexWiki/SUB.NRLIB/SUB.fasl
; compilation finished in 0:00:00.012
------------------------------------------------------------------------
   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)