MathAction SandBoxMaxSingleInteger

Topics

FrontPage
- SandBoxMaxSingleInteger <-- You are here.

The maximum of SingleInteger? is not really maximal.

spad

)abbrev package MYSINT MySingleInteger
MySingleInteger: Public == Private
  where
    Public == with
      mymax: () -> SingleInteger
      mymax2: () -> SingleInteger
    Private  == add
      mymax(): SingleInteger == max()$SingleInteger + 1
      mymax2(): SingleInteger == mymax() + 1

spad

   Compiling FriCAS source code from file 
      /var/zope2/var/LatexWiki/8495752304085420655-25px001.spad using 
      old system compiler.
   MYSINT abbreviates package MySingleInteger 
------------------------------------------------------------------------
   initializing NRLIB MYSINT for MySingleInteger 
   compiling into NRLIB MYSINT 
   compiling exported mymax : () -> SingleInteger
      MYSINT;mymax;Si;1 is replaced by QSPLUSMOST-POSITIVE-FIXNUM1 
Time: 0.01 SEC.

   compiling exported mymax2 : () -> SingleInteger
Time: 0.04 SEC.

(time taken in buildFunctor:  0)

;;;     ***       |MySingleInteger| REDEFINED

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

   Cumulative Statistics for Constructor MySingleInteger
      Time: 0.05 seconds

   finalizing NRLIB MYSINT 
   Processing MySingleInteger for Browser database:
--->-->MySingleInteger((mymax ((SingleInteger)))): Not documented!!!!
--->-->MySingleInteger((mymax2 ((SingleInteger)))): Not documented!!!!
--->-->MySingleInteger(constructor): Not documented!!!!
--->-->MySingleInteger(): Missing Description
------------------------------------------------------------------------
   MySingleInteger is now explicitly exposed in frame initial 
   MySingleInteger will be automatically loaded when needed from 
      /var/zope2/var/LatexWiki/MYSINT.NRLIB/code

axiom