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

Edit detail for SandBoxCommutativeCategory revision 1 of 11

1 2 3 4 5 6 7 8 9 10 11
Editor: Bill Page
Time: 2008/07/25 13:36:26 GMT-7
Note: test

changed:
-
Can the attribute commutative("*") be replaced with a category
definition like
\begin{spad}
)abbrev category COM Commutative
Commutative(n:Symbol):Category == with nil
\end{spad}

\begin{spad}
)abbrev domain COMD CommutativeDomain
CommutativeDomain(): Commutative(_*) with
    coerce:%->OutputForm
  == add
    coerce(x)== x pretend OutputForm
\end{spad}

\begin{axiom}
CommutativeDomain has Commutative("*")
CommutativeDomain has Commutative("+")
\end{axiom}

Can the attribute commutative("*") be replaced with a category definition like

spad
)abbrev category COM Commutative Commutative(n:Symbol):Category == with nil
spad
   Compiling FriCAS source code from file 
      /var/zope2/var/LatexWiki/8368204408019739389-25px001.spad using 
      old system compiler.
   COM abbreviates category Commutative 
------------------------------------------------------------------------
   initializing NRLIB COM for Commutative 
   compiling into NRLIB COM 
;;; *** |Commutative| REDEFINED Time: 0 SEC.
finalizing NRLIB COM Processing Commutative for Browser database: --->-->Commutative(constructor): Not documented!!!! --->-->Commutative(): Missing Description ------------------------------------------------------------------------ Commutative is now explicitly exposed in frame initial Commutative will be automatically loaded when needed from /var/zope2/var/LatexWiki/COM.NRLIB/code

spad
)abbrev domain COMD CommutativeDomain CommutativeDomain(): Commutative(_*) with coerce:%->OutputForm == add coerce(x)== x pretend OutputForm
spad
   Compiling FriCAS source code from file 
      /var/zope2/var/LatexWiki/1059174451294536257-25px002.spad using 
      old system compiler.
   COMD abbreviates domain CommutativeDomain 
------------------------------------------------------------------------
   initializing NRLIB COMD for CommutativeDomain 
   compiling into NRLIB COMD 
   compiling exported coerce : $ -> OutputForm
      COMD;coerce;$Of;1 is replaced by x 
Time: 0 SEC.
(time taken in buildFunctor: 1)
;;; *** |CommutativeDomain| REDEFINED
;;; *** |CommutativeDomain| REDEFINED Time: 0.01 SEC.
Warnings: [1] * has no value
Cumulative Statistics for Constructor CommutativeDomain Time: 0.01 seconds
finalizing NRLIB COMD Processing CommutativeDomain for Browser database: --->-->CommutativeDomain((coerce ((OutputForm) %))): Not documented!!!! --->-->CommutativeDomain(constructor): Not documented!!!! --->-->CommutativeDomain(): Missing Description ------------------------------------------------------------------------ CommutativeDomain is now explicitly exposed in frame initial CommutativeDomain will be automatically loaded when needed from /var/zope2/var/LatexWiki/COMD.NRLIB/code

axiom
CommutativeDomain has Commutative("*")
LatexWiki Image(1)
Type: Boolean
axiom
CommutativeDomain has Commutative("+")
LatexWiki Image(2)
Type: Boolean