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. +<>= +--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" [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
bookvol5 add clear root
20090308.03.tpd.patch bookvol5 add summary, copyright, help roots
+20090310.01.tpd.patch +bookvol10.4 add credits, summary to API package
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