|
|
|
last edited 8 years ago by test1 |
Edit detail for SandBoxMaxSingleInteger revision 3 of 5
| 1 2 3 4 5 | ||
|
Editor: test1
Time: 2013/03/22 21:49:26 GMT+0 |
||
| Note: | ||
changed: -)abbrev package MYSINT MySingleInteger -MySingleInteger: Public == Private )abbrev package MYSINT AxiomIssues AxiomIssues : Public == Private changed: - Public == with - mymax: () -> AxiomIssues - mymax2: () -> AxiomIssues - Private == add - mymax(): AxiomIssues == max()$AxiomIssues + 1 - mymax2(): AxiomIssues == mymax() + 1 Public == IntegerNumberSystem with max : () -> % mymax : () -> % mymax2 : () -> % Private == SingleInteger add mymax() == max() + 1 mymax2() == mymax() + 1
The maximum of AxiomIssues? is not really maximal.
)abbrev package MYSINT AxiomIssues
AxiomIssues : Public == Private
where
Public == IntegerNumberSystem with
max : () -> %
mymax : () -> %
mymax2 : () -> %
Private == SingleInteger add
mymax() == max() + 1
mymax2() == mymax() + 1
Compiling FriCAS source code from file
/var/lib/zope2.10/instance/axiom-wiki/var/LatexWiki/3288899422624074701-25px001.spad
using old system compiler.
MYSINT abbreviates package AxiomIssues
------------------------------------------------------------------------
initializing NRLIB MYSINT for AxiomIssues
compiling into NRLIB MYSINT
compiling exported mymax : () -> $
Time: 0.01 SEC.
compiling exported mymax2 : () -> $
Time: 0.01 SEC.
(time taken in buildFunctor: 0)
;;; *** |AxiomIssues| REDEFINED
;;; *** |AxiomIssues| REDEFINED
Time: 0 SEC.
Cumulative Statistics for Constructor AxiomIssues
Time: 0.02 seconds
--------------non extending category----------------------
.. AxiomIssues of cat
(|Join| (|IntegerNumberSystem|)
(CATEGORY |domain| (SIGNATURE |max| ($)) (SIGNATURE |mymax| ($))
(SIGNATURE |mymax2| ($)))) has no
(|Logic|) finalizing NRLIB MYSINT
Processing AxiomIssues for Browser database:
--->-->AxiomIssues(constructor): Not documented!!!!
--->-->AxiomIssues((max (%))): Not documented!!!!
--->-->AxiomIssues((mymax (%))): Not documented!!!!
--->-->AxiomIssues((mymax2 (%))): Not documented!!!!
--->-->AxiomIssues(): Missing Description
; compiling file "/var/aw/var/LatexWiki/MYSINT.NRLIB/MYSINT.lsp" (written 22 MAR 2013 09:49:25 PM):
; /var/aw/var/LatexWiki/MYSINT.NRLIB/MYSINT.fasl written
; compilation finished in 0:00:00.015
------------------------------------------------------------------------
AxiomIssues is now explicitly exposed in frame initial
AxiomIssues will be automatically loaded when needed from
/var/aw/var/LatexWiki/MYSINT.NRLIB/MYSINTa: AxiomIssues := max()$AxiomIssues
 | (1) |
m: AxiomIssues := mymax()
>> System error: The value 4611686018427387904 is not of type FIXNUM.
On my 32 bit system I get
? := mymax()
(1) - 2147483648 Type: AxiomIssues? (2) -> m2: AxiomIssues? := mymax2()
(2) - 2147483647 Type: AxiomIssues? (3) -> (2^31, 2^32, 2^63, 2^64)
(3) [2147483648,4294967296,9223372036854775808,18446744073709551616]? Type: Tuple PositiveInteger? (4) -> b: AxiomIssues? := 2^63-1
(4) - 1 Type: AxiomIssues? (5) -> c: AxiomIssues? := b+1
(5) 0 Type: AxiomIssues? " title=" (1) -> )co aaa.spad
(1) -> m: AxiomIssues? := mymax()
(1) - 2147483648 Type: AxiomIssues? (2) -> m2: AxiomIssues? := mymax2()
(2) - 2147483647 Type: AxiomIssues? (3) -> (2^31, 2^32, 2^63, 2^64)
(3) [2147483648,4294967296,9223372036854775808,18446744073709551616]? Type: Tuple PositiveInteger? (4) -> b: AxiomIssues? := 2^63-1
(4) - 1 Type: AxiomIssues? (5) -> c: AxiomIssues? := b+1
(5) 0 Type: AxiomIssues? " class="equation" src="images/4793645067067265374-16.0px.png" align="bottom" Style="vertical-align:text-bottom" width="560" height="420"/>