[Axiom-developer] 20090310.01.tpd.patch (bookvol10.4 add summary, credits to API)

[daly]

The system commmands summary() and credits() were added to the 
ApplicationProgramInterface (API) package.

I am restructuring the system so that top level internal functions can
be accessed directly by the algebra. These functions will appear in the
API package. These two functions are test cases the general mechanism.

Additionally, a related, outstanding bug 7179 was fixed.

========================================================================
diff --git a/books/bookvol10.4.pamphlet b/books/bookvol10.4.pamphlet
index 33d51d4..68dc386 100644
--- a/books/bookvol10.4.pamphlet
+++ b/books/bookvol10.4.pamphlet
@@ -3648,7 +3648,7 @@ AnyFunctions1(S:Type): with
 )set message test on
 )set message auto off
 )clear all
---S 1 of 3
+--S 1 of 5
 getDomains 'Collection
 --R
 --R   (1)
@@ -3663,7 +3663,7 @@ getDomains 'Collection
 --R                                                             Type: Set 
Symbol
 --E 1
 
---S 2 of 3
+--S 2 of 5
 difference(getDomains 'IndexedAggregate,getDomains 'Collection)
 --R
 --R   (2)
@@ -3673,17 +3673,115 @@ difference(getDomains 'IndexedAggregate,getDomains 
'Collection)
 --R                                                             Type: Set 
Symbol
 --E 2
 
---S 3 of 3
-)show ApplicationProgramInterface
+--S 3 of 5
+credits()
+--RAn alphabetical listing of contributors to AXIOM:
+--RCyril Alberga          Roy Adler              Christian Aistleitner
+--RRichard Anderson       George Andrews         S.J. Atkins
+--RHenry Baker            Stephen Balzac         Yurij Baransky
+--RDavid R. Barton        Gerald Baumgartner     Gilbert Baumslag
+--RJay Belanger           David Bindel           Fred Blair
+--RVladimir Bondarenko    Mark Botch
+--RAlexandre Bouyer       Peter A. Broadbery     Martin Brock
+--RManuel Bronstein       Stephen Buchwald       Florian Bundschuh
+--RLuanne Burns           William Burge
+--RQuentin Carpent        Robert Caviness        Bruce Char
+--ROndrej Certik          Cheekai Chin           David V. Chudnovsky
+--RGregory V. Chudnovsky  Josh Cohen             Christophe Conil
+--RDon Coppersmith        George Corliss         Robert Corless
+--RGary Cornell           Meino Cramer           Claire Di Crescenzo
+--RDavid Cyganski
+--RTimothy Daly Sr.       Timothy Daly Jr.       James H. Davenport
+--RDidier Deshommes       Michael Dewar
+--RJean Della Dora        Gabriel Dos Reis       Claire DiCrescendo
+--RSam Dooley             Lionel Ducos           Martin Dunstan
+--RBrian Dupee            Dominique Duval
+--RRobert Edwards         Heow Eide-Goodman      Lars Erickson
+--RRichard Fateman        Bertfried Fauser       Stuart Feldman
+--RBrian Ford             Albrecht Fortenbacher  George Frances
+--RConstantine Frangos    Timothy Freeman        Korrinn Fu
+--RMarc Gaetano           Rudiger Gebauer        Kathy Gerber
+--RPatricia Gianni        Samantha Goldrich      Holger Gollan
+--RTeresa Gomez-Diaz      Laureano Gonzalez-Vega Stephen Gortler
+--RJohannes Grabmeier     Matt Grayson           Klaus Ebbe Grue
+--RJames Griesmer         Vladimir Grinberg      Oswald Gschnitzer
+--RJocelyn Guidry
+--RSteve Hague            Satoshi Hamaguchi      Mike Hansen
+--RRichard Harke          Vilya Harvey           Martin Hassner
+--RArthur S. Hathaway     Dan Hatton             Waldek Hebisch
+--RKarl Hegbloom          Ralf Hemmecke          Henderson
+--RAntoine Hersen         Gernot Hueber
+--RPietro Iglio
+--RAlejandro Jakubi       Richard Jenks
+--RKai Kaminski           Grant Keady            Tony Kennedy
+--RPaul Kosinski          Klaus Kusche           Bernhard Kutzler
+--RTim Lahey              Larry Lambe            Franz Lehner
+--RFrederic Lehobey       Michel Levaud          Howard Levy
+--RLiu Xiaojun            Rudiger Loos           Michael Lucks
+--RRichard Luczak
+--RCamm Maguire           Francois Maltey        Alasdair McAndrew
+--RBob McElrath           Michael McGettrick     Ian Meikle
+--RDavid Mentre           Victor S. Miller       Gerard Milmeister
+--RMohammed Mobarak       H. Michael Moeller     Michael Monagan
+--RMarc Moreno-Maza       Scott Morrison         Joel Moses
+--RMark Murray
+--RWilliam Naylor         C. Andrew Neff         John Nelder
+--RGodfrey Nolan          Arthur Norman          Jinzhong Niu
+--RMichael O'Connor       Summat Oemrawsingh     Kostas Oikonomou
+--RHumberto Ortiz-Zuazaga
+--RJulian A. Padget       Bill Page              Susan Pelzel
+--RMichel Petitot         Didier Pinchon         Ayal Pinkus
+--RJose Alfredo Portes
+--RClaude Quitte
+--RArthur C. Ralfs        Norman Ramsey          Anatoly Raportirenko
+--RMichael Richardson     Renaud Rioboo          Jean Rivlin
+--RNicolas Robidoux       Simon Robinson         Raymond Rogers
+--RMichael Rothstein      Martin Rubey
+--RPhilip Santas          Alfred Scheerhorn      William Schelter
+--RGerhard Schneider      Martin Schoenert       Marshall Schor
+--RFrithjof Schulze       Fritz Schwarz          Nick Simicich
+--RWilliam Sit            Elena Smirnova         Jonathan Steinbach
+--RFabio Stumbo           Christine Sundaresan   Robert Sutor
+--RMoss E. Sweedler       Eugene Surowitz
+--RMax Tegmark            James Thatcher         Balbir Thomas
+--RMike Thomas            Dylan Thurston         Barry Trager
+--RThemos T. Tsikas
+--RGregory Vanuxem
+--RBernhard Wall          Stephen Watt           Jaap Weel
+--RJuergen Weiss          M. Weller              Mark Wegman
+--RJames Wen              Thorsten Werther       Michael Wester
+--RJohn M. Wiley          Berhard Will           Clifton J. Williamson
+--RStephen Wilson         Shmuel Winograd        Robert Wisbauer
+--RSandra Wityak          Waldemar Wiwianka      Knut Wolf
+--RClifford Yapp          David Yun
+--RVadim Zhytnikov        Richard Zippel         Evelyn Zoernack
+--RBruno Zuercher         Dan Zwillinger
+--R                                                                   Type: 
Void
+--E 3
+
+@
+The summary command simply types out the contents of the file
+\$AXIOM/lib/summary so no output is captured in the spool file.
+<<ApplicationProgramInterface.input>>=
+--S 4 of 5
+summary()
+--R 
+--R                                                                   Type: 
Void
+--E 4
+
+--S 5 of 5
+)show API
 --R ApplicationProgramInterface  is a package constructor
 --R Abbreviation for ApplicationProgramInterface is API 
 --R This constructor is exposed in this frame.
 --R Issue )edit bookvol10.4.spad.pamphlet to see algebra source code for API 
 --R
 --R------------------------------- Operations --------------------------------
---R getDomains : Symbol -> Set Symbol    
+--R credits : () -> Void                  getDomains : Symbol -> Set Symbol
+--R summary : () -> Void                 
 --R
---E 3
+--E 5
+
 )spool
 )lisp (bye)
 @
@@ -3720,6 +3818,11 @@ This can be used to form the set-difference of two 
categories:
     SplitHomogeneousDirectProduct}
                                                              Type: Set Symbol
 
+The credits function prints a list of the people who have contributed
+to the development of Axiom. This is equivalent to the )credits command.
+
+The summary function prints a short list of useful console commands.
+
 @
 \pagehead{ApplicationProgramInterface}{API}
 \pagepic{ps/v104applicationprograminterface.ps}{API}{1.00}
@@ -3738,15 +3841,27 @@ This can be used to form the set-difference of two 
categories:
 ApplicationProgramInterface(): Exports == Implementation where
   Exports ==> with
     getDomains : Symbol -> Set Symbol
-      ++ getDomains takes a category and returns the list of domains
+      ++ The getDomains(s) takes a category and returns the list of domains
       ++ that have that category
       ++
       ++X getDomains 'IndexedAggregate
+    credits : () -> Void
+      ++ credits() prints a list of people who contributed to Axiom
+      ++
+      ++X credits()
+    summary : () -> Void
+      ++ summary() prints a short list of useful console commands
+      ++
+      ++X summary()
   Implementation ==> add
     getDomains(cat:Symbol):Set(Symbol) == 
       set [symbol car first destruct a _
         for a in (destruct domainsOf(cat,NIL$Lisp)$Lisp)::List(SExpression)]
 
+    credits() == ( credits()$Lisp ; void() )
+
+    summary() == ( summary()$Lisp ; void() )
+
 @
 <<API.dotabb>>=
 "API" [color="#FF4488",href="bookvol10.4.pdf#nameddest=APPRULE"]
diff --git a/changelog b/changelog
index 244900f..d83478a 100644
--- a/changelog
+++ b/changelog
@@ -1,3 +1,6 @@
+20090310 tpd src/axiom-website/patches.html 20090310.01.tpd.patch
+20090310 tpd src/interp/daase.lisp fix bug 7179 spurious )abbrev failure
+20090310 tpd books/bookvol10.4 add credits, summary to API package
 20090308 tpd src/axiom-website/patches.html 20090308.03.tpd.patch
 20090308 tpd src/input/unittest1.input unit test commands
 20090308 tpd src/interp/i-syscmd.boot move commands to bookvol5
diff --git a/src/axiom-website/patches.html b/src/axiom-website/patches.html
index 80e328c..ff6e7a9 100644
--- a/src/axiom-website/patches.html
+++ b/src/axiom-website/patches.html
@@ -997,5 +997,7 @@ bookvol5 add include, abbreviation roots<br/>
 bookvol5 add clear root<br/>
 <a href="patches/20090308.03.tpd.patch">20090308.03.tpd.patch</a>
 bookvol5 add summary, copyright, help roots<br/>
+<a href="patches/20090310.01.tpd.patch">20090310.01.tpd.patch</a>
+bookvol10.4 add credits, summary to API package<br/>
  </body>
 </html>
diff --git a/src/interp/daase.lisp.pamphlet b/src/interp/daase.lisp.pamphlet
index c9498a3..ab1cfcb 100644
--- a/src/interp/daase.lisp.pamphlet
+++ b/src/interp/daase.lisp.pamphlet
@@ -1141,7 +1141,7 @@ database.
       (do ((ln (read-line f nil eof) (read-line f nil eof))
            (line 0 (incf line)))
           ((eq ln eof))
-     (when (search ")abb" ln)
+     (when (and (setq mark (search ")abb" ln)) (= mark 0))
        (setq mark (position #\space ln :from-end t))
        (setq name (intern (string-trim '(#\space) (subseq ln mark))))
        (cond