help links subscribe changes refresh edit

	FrontPage
SandBoxF3lix ←	↑	→ SandBoxRalf

SandBoxListLength

Edit detail for SandBoxListLength revision 1 of 1

	1
Editor: hemmecke Time: 2017/04/26 16:03:02 GMT+0
Note:

changed:
-
\begin{spad}
)abbrev category MYLIST MyListPackage
MyListPackage(T: Type): with
    length2: List T -> Integer
  == add
    len(count: Integer, l: List T): Integer ==
        empty? l => count
        len(count + 1, rest l)

    length2(l: List T): Integer == len(0, l)
\end{spad}

\begin{axiom}
length2 [1,2,3]
length2 ["a", "b", "c", "d"]
\end{axiom}

fricas

(1) -> <spad>

fricas

)abbrev category MYLIST MyListPackage
MyListPackage(T: Type): with
    length2: List T -> Integer
  == add
    len(count: Integer, l: List T): Integer ==
        empty? l => count
        len(count + 1, rest l)

    length2(l: List T): Integer == len(0, l)</spad>

fricas

Compiling FriCAS source code from file 
      /var/lib/zope2.10/instance/axiom-wiki/var/LatexWiki/1528705202582471425-25px001.spad
      using old system compiler.
   MYLIST abbreviates category MyListPackage 
------------------------------------------------------------------------
   initializing NRLIB MYLIST for MyListPackage 
   compiling into NRLIB MYLIST 
   compiling local len : (Integer,List T$) -> Integer
Time: 0 SEC.

   compiling exported length2 : List T$ -> Integer
Time: 0 SEC.

(time taken in buildFunctor:  0)

;;;     ***       |MyListPackage| REDEFINED

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

   Cumulative Statistics for Constructor MyListPackage
      Time: 0 seconds

   finalizing NRLIB MYLIST 
   Processing MyListPackage for Browser database:
--->-->MyListPackage(constructor): Not documented!!!!
--->-->MyListPackage((length2 ((Integer) (List T$)))): Not documented!!!!
--->-->MyListPackage(): Missing Description
; compiling file "/var/aw/var/LatexWiki/MYLIST.NRLIB/MYLIST.lsp" (written 28 NOV 2024 10:16:48 PM):

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

fricas

length2 [1,2,3]

$\label{eq1}3$

(1)

Type: PositiveInteger?

fricas

length2 ["a", "b", "c", "d"]

$\label{eq2}4$

(2)

Type: PositiveInteger?