MathAction SandboxNullaryVsConstant

Topics

FrontPage
- SandBox
  - SandboxNullaryVsConstant <-- You are here.

fricas

(1) -> <spad>

fricas

)abbrev domain FOO Foo
Foo(): Exports == Implementation where
  Exports ==> with
    myrandom: Integer
--    myrandom: () -> Integer
  Implementation ==> add
    myrandom == 42
--    myrandom == () +-> 17</spad>

fricas

Compiling FriCAS source code from file 
      /var/lib/zope2.10/instance/axiom-wiki/var/LatexWiki/6646244281283455535-25px001.spad
      using old system compiler.
   FOO abbreviates domain Foo 
------------------------------------------------------------------------
   initializing NRLIB FOO for Foo 
   compiling into NRLIB FOO 
   compiling exported myrandom : () -> Integer
      FOO;myrandom;I;1 is replaced by 42 
Time: 0 SEC.

(time taken in buildFunctor:  0)

;;;     ***       |Foo| REDEFINED

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

   Cumulative Statistics for Constructor Foo
      Time: 0 seconds

   finalizing NRLIB FOO 
   Processing Foo for Browser database:
--->-->Foo(constructor): Not documented!!!!
--->-->Foo((myrandom ((Integer)) constant)): Not documented!!!!
--->-->Foo(): Missing Description
; compiling file "/var/aw/var/LatexWiki/FOO.NRLIB/FOO.lsp" (written 25 FEB 2025 09:28:39 AM):

; wrote /var/aw/var/LatexWiki/FOO.NRLIB/FOO.fasl
; compilation finished in 0:00:00.004
------------------------------------------------------------------------
   Foo is now explicitly exposed in frame initial 
   Foo will be automatically loaded when needed from 
      /var/aw/var/LatexWiki/FOO.NRLIB/FOO

fricas

myrandom

$\label{eq1}myrandom$

(1)

Type: Variable(myrandom)

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.

Subject: Be Bold !!

	( 15 subscribers )