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

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)
spad
   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 26 APR 2017 05:03:32 PM):
; /var/aw/var/LatexWiki/MYLIST.NRLIB/MYLIST.fasl written ; compilation finished in 0:00:00.011 ------------------------------------------------------------------------ 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)
fricas
length2 ["a", "b", "c", "d"]

\label{eq2}4(2)




  Subject:   Be Bold !!
  ( 12 subscribers )  
Please rate this page: