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

Edit detail for SandboxNullaryVsConstant revision 3 of 4

1 2 3 4
Editor: Bill Page
Time: 2008/07/07 17:21:54 GMT-7
Note: Constants compile in Open-Axiom


        

spad
)abbrev domain FOO Foo
Foo(): Exports == Implementation where
  Exports ==> with
    myrandom: Integer
--    myrandom: () -> Integer
  Implementation ==> add
    myrandom == 42
--    myrandom == () +-> 17
spad
   Compiling OpenAxiom source code from file 
      /var/lib/zope2.10/instance/axiom-wiki/var/LatexWiki/6646244281283455535-25px001.spad
      using Spad compiler.
   FOO abbreviates domain Foo 
   processing macro definition Exports ==> -- the constructor category 
   processing macro definition Implementation ==> -- the constructor capsule 
------------------------------------------------------------------------
   initializing NRLIB FOO for Foo 
   compiling into NRLIB FOO 
   Adding $ modemaps
   Adding Integer modemaps
   compiling exported myrandom : () -> Integer
      FOO;myrandom;I;1 is replaced by 42 
Time: 0.01 SEC.
(time taken in buildFunctor: 0)
;;; *** |Foo| REDEFINED
;;; *** |Foo| REDEFINED Time: 0 SEC.
Cumulative Statistics for Constructor Foo Time: 0.01 seconds
finalizing NRLIB FOO Processing Foo for Browser database: --->-->Foo((myrandom ((Integer)) constant)): Not documented!!!! --->-->Foo(constructor): Not documented!!!! --->-->Foo: Missing Description
; compiling file "/var/aw/var/LatexWiki/FOO.NRLIB/code.lsp" (written 31 JUL 2013 03:37:28 PM): ; compiling (/VERSIONCHECK 2) ; compiling (PUT (QUOTE |FOO;myrandom;I;1|) ...) ; compiling (DEFUN |FOO;myrandom;I;1| ...) ; compiling (DEFUN |Foo| ...) ; compiling (DEFUN |Foo;| ...) ; compiling (MAKEPROP (QUOTE |Foo|) ...) ; compiling (MAKEPROP (QUOTE |Foo|) ...)
; /var/aw/var/LatexWiki/FOO.NRLIB/code.fasl written ; compilation finished in 0:00:00.013 ------------------------------------------------------------------------ Foo is now explicitly exposed in frame initial Foo will be automatically loaded when needed from /var/aw/var/LatexWiki/FOO.NRLIB/code.fasl

fricas
myrandom

\label{eq1}42(1)
Type: Integer
fricas
myrandom()

\label{eq2}42(2)
Type: PositiveInteger?

Constants compile in Open-Axiom --Bill Page, Mon, 07 Jul 2008 17:21:54 -0700 reply
Try setting the version of Axiom to a recent version of OpenAxiom?. Click edit and set Axiom: Open-Axiom ... But in the interpreter they still must be referenced like nullary operators.