help links subscribe changes refresh edit

	ZWiki
	↑	→ WikiWikiWeb

SandboxExportType

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:

fricas

(1) -> <spad>

fricas

)abbrev package TEST Test
Test(x: Ring): with
    baseRing: () -> Ring
  == add
    baseRing() == x</spad>

fricas

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 SEC.

(time taken in buildFunctor:  0)

;;;     ***       |Test| REDEFINED

;;;     ***       |Test| REDEFINED
Time: 0 SEC.

   Cumulative Statistics for Constructor Test
      Time: 0 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 17 DEC 2024 06:44:44 AM):

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