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

Edit detail for SandboxExportType revision 4 of 4

1 2 3 4
Editor: test1
Time: 2013/03/18 00:16:11 GMT+0
Note:

changed:
---)tr bottomUp
---)tr evaluateType
---)tr evaluateFormAsType
---)tr isDomainValuedVariable
---)tr objMode


added:


spad
)abbrev package TEST Test
Test(x: Ring): with
    baseRing: () -> Ring
  == add
    baseRing() == x
spad
   Compiling FriCAS source code from file 
      /var/lib/zope2.10/instance/axiom-wiki/var/LatexWiki/5734208900702123411-25px001.spad
      using old system compiler.
   TEST abbreviates package Test 
------------------------------------------------------------------------
   initializing NRLIB TEST for Test 
   compiling into NRLIB TEST 
   compiling exported baseRing : () -> Ring
Time: 0.01 SEC.
(time taken in buildFunctor: 0)
;;; *** |Test| REDEFINED
;;; *** |Test| REDEFINED Time: 0 SEC.
Cumulative Statistics for Constructor Test Time: 0.01 seconds
finalizing NRLIB TEST Processing Test for Browser database: --->-->Test(constructor): Not documented!!!! --->-->Test((baseRing ((Ring)))): Not documented!!!! --->-->Test(): Missing Description ; compiling file "/var/aw/var/LatexWiki/TEST.NRLIB/TEST.lsp" (written 31 JUL 2013 02:39:19 PM):
; /var/aw/var/LatexWiki/TEST.NRLIB/TEST.fasl written ; compilation finished in 0:00:00.011 ------------------------------------------------------------------------ Test is now explicitly exposed in frame initial Test will be automatically loaded when needed from /var/aw/var/LatexWiki/TEST.NRLIB/TEST

fricas
I := baseRing()$TEST(INT)

\label{eq1}\hbox{\axiomType{Integer}\ }(1)
Type: Ring
fricas
1$I

\label{eq2}1(2)
Type: Integer