Axiom was released on March 25, 2008. You can view the release notes for each release. This TODO list represents abbreviated notes to categorize the work directions and note progress (completed items have a - prefix). Items are expanded as the work thread moves into that subject. There is no priority and no schedule. The ratio is (# of completed task per section)/(total completed tasks) and is a measure of the ratio of effort between areas. Completed tasks are marked with a - in column 1 (+ indicates changes since last update) There are approximately 285 tasks listed. These tasks are broken into the following groups: Pristine sources is the main thread of developing Axiom Splits are pieces of work to give away Joins are pieces of work to incorporate or cooperate with New Development is a list of ideas for new directions or needed work Research is a list of ideas that need investigation Community is a list of supporting tasks for the algebra community ************************************************************************** PRISTINE SOURCES Motivation: create a new source tree and slowly migrate original NAG/IBM sources into the tree. This will ensure that only things that are properly required, used and tested get shipped. Further ensure that everything exists under make/cvs control. All of the tasks have been completed except recover numerics port to Windows ************************************************************************** SPLITS Motivation: several pieces of the system have nothing to do with algebra and either have old technology that needs to be rewritten or common technology that ought to be contributed to other efforts. FIREFOX BROWSER Motivation: We need a portable, useful front end to Axiom that combines the separate pieces of the Axiom command line, hyperdoc, and graphics into a unified way of working with pamphlet files. * Rewrite Hyperdoc Pages This task is to extract the information from the current hyperdoc system and make it available in the browser. rewrite all pages using AJAX add additional pages rearrange the order for clarity dynamically create category/domain/packages pages dynamically create operations pages allow ASQ style lookups * Integrate Graphics This task is to extract the functionality from the graphics and make it work within the browser. + collect the graphics into a book volume document the graphics refactor graphics to extract X11 API make API compatible version of graphics for CANVAS element enable dynamic drawing into CANVAS enable popup page with CANVAS and control menu elements * Write Notebook Front End This task is to make a new, browser-based front end to Axiom. create new API domain to expose history make new context sensitive menus make card/div/Record objects enable create/destroy/rearrange/import/export of card decks unify card decks and pamphlets AXIOM TEST SUITE->COMMON TEST SUITE Motivation: Algebra needs a hand-verified test suite which ought to be shared with other computer algebra systems. Needs a common syntax, could be a driver for previous item. rewrite regression test files with results from MMA, Maple, Maxima reformat files to use a common theory/practice format organize files into a useful taxonomy ************************************************************************** JOINS Motivation: there are several CA systems with very interesting features and/or algebra. Axiom needs to import these ideas or find ways to cooperate with these projects. GAP->AXIOM Motivation: GAP has much stronger facilities for manipulating groups. Axiom can do group manipulation but GAP needs to be studied. OCTAVE->AXIOM Motivation: Octave has the capability to be a replacement for the NAG numeric libraries. Either an interface has to be retargetted or the code has to be ported to Aldor or Lisp. - Test rewriting Fortran code into Aldor + BLAS converted to pamphlet form BLAS integrated into Axiom MAGNUS->AXIOM Motivation: Magnus is strong in infinite group theory. Like GAP it needs to be studied and imported. - Discussion and proposal for work in this area with CCNY + Magnus is being rebuilt as a literate program and will eventually be + merged with Axiom Rebuild Magnus as a literate program Extract and categorize the magnus algorithms Provide Axiom implementations of the algorithms ASTRONOMER->AXIOM Motivation: Internal representation of polynomials that can be scaled to ~250k terms needs to be imported. This task is dead. COMBINAT->AXIOM Motivation: External basis representation of large polynomials needs to be imported. This task is dead. MATHEMATICA->AXIOM Motivation: Workbooks need to be imported. This task has changed. Rather than focus on the mathematica workbooks we plan to create and use the new Axiom firefox browser as a notebook front end similar to Sage. ************************************************************************** NEW DEVELOPMENT EXTERNALS DOCUMENTATION Motivation: in order to allow users to use the system we need to collect and organize the documentation and help facilities. - The Axiom book was rewritten and is now available as part of the normal - distribution. - The Axiom tutorial book was published at Lulu.com - The firefox browser was created + Additional pages from hyperdoc need firefox rewrites The .dvi files need to be accessible in the firefox hyperdoc + )help files are needed for more domains + )display operation needs examples for operations INTERNALS DOCUMENTATION Motivation: in order to allow multiple developers to work on the system the structure of the system needs to be explained. - Directory structure - document shell script - Makefile structure - document how the makefile tree works - Lisp structure - src structure - algebra - boot - clef - doc - etc - graph - htex - hyper - include - input - interp - install - lib - lsp - noweb - paste - sman Motivation: restructure Axiom into literate book volumes - Volume 0: Jenks book - Volume 1: Tutorial Volume 2: User's Guide Volume 3: Programmer's Guide + Volume 4: Developer's Guide + Volume 5: Interpreter Volume 6: Axiom Command + Volume 7: Hyperdoc + Volume 8: Graphics Volume 9: Compiler Volume 10: Algebra Volume 11: Firefox Hyperdoc ALGEGRA DOCUMENTATION LITERATE PROGRAMMING Motivation: algebra code should be able to include research papers and documentation of design choices, space, time and complexity. Researchers should be encouraged to write literate programs. Literate programs should be easily turned into book sections or chapters. - seek appropriate tools - tangle, weave - cweb - noweb - seek feedback - create preliminary setup - create example pamphlet (DHMATRIX) - define doc structure - prototype - modify/rewrite noweb - make undefined chunks transparent - example generation test case generation - create booklet example (MATRIX) + define booklet structure + prototype - integrate into make - integrate into obj/mnt + integrate example (DHMATRIX2) into make + integrate book example into make write pamphlets for type hierarchy write SetCategory pamphlet integrate into make integrate into test write pamphlets for data structure hierarchy write aggregate pamphlet integrate into make integrate into test create example pamphlet from scratch (PRIMES is in P algorithm) recreate paper in tex write algorithm merge into build + create example pamphlet from planarity paper recreate paper in tex write algorithm merge into build create complex pamphlet (Barry Trager's Integration thesis) - recreate thesis in tex factor thesis into booklets factor booklets into pamphlets SINGLE-STEPPING Motivation: Users of algebra should be able to step thru algorithms at some "appropriate" level of detail. Hard to do as most algebra algorithms differ from hand methods. LIBRARY CLEANUP Motivation: FullyExplicitRingOver needs a better theory basis, etc. GCL BUILD Motivation: run on a popular common lisp - Download GCL - Build image in /spad/lsp/gcl - Build Axiom on image CMUCL BUILD Motivation: run on a popular common lisp Download CMUCL sources Build image in /spad/lsp/cmucl Build Axiom on image CCL BUILD Motivation: run on a popular common lisp - Get final CCL sources from Arthur - Build image in /spad/lsp/ccl - Build Axiom on image This effort is dead. ************************************************************************** RESEARCH AXIOM JOURNAL Motivation: Provide a motivation and place to publish Axiom algorithms in a literate programming style. Journal development will require refereed papers. - Discuss with Community Contact TOMS at ACM Create License for pamphlet submission - This is likely to be the creative commons license - Create Prototype online site (www.nongnu.org/axiom/Journal) Create Journal directory Structure pages similar to Journal Integrate into CVS Allow dynamic referee lists Research online/offline references to Axiom in literature Create citations bibliography Get permission to mirror/host published papers - Give presentation to Univ of Pisa re: literate journal - Worked with ACM to provide electronic ISSAC journal +CRYSTAL + Motivation: Soon it will be possible to have all prior published math + online and locally available. We need to design and build + a user interface model that supports researchers in math + by providing semantic searches, multi-faceted problem views, + real-time problem classification, and an "intensional stance" + assistant user interface. + Define model of interaction Prototype semantic markup Prototype semantic classification with KROPS Prototype facet viewer Prototype classifier Prototype intensional stance assisant COMPLEXITY Motivation: Axiom is fully layered. Research results in the lowest layers can be leveraged to generate results in higher layers. Use Axiom against itself to create towers of complexity. Insist on complexity results in documentation. TEXTBOOK OBJECT Motivation: Axiom interpreter objects don't have a standard name for their parts and do not have a manipulation language for rewriting parts. idea: have a "tree" primitive for each type idea: define a graph of tree to tree maps that label each edge with the transformation applied to the subtree TEXTBOOK CONTEXT Motivation: Equations are ambiguous when standing alone. Textbooks provide context in the surrounding text. This is not adequately captured by the type system. A new approach to this issue is required. OPEN PROBLEMS LIST Motivation: Magnus maintains a community agreed-upon list of "open problems" This is an excellent source of PhD work and a good focus mechanism. Create and maintain this. PROVISOS Motivation: Assume is a weak, global mechanism for capturing provisos. A new proviso object needs to exist that wraps existing objects, provides scope for provisos and provides an algebra of provisos based on type (arithmetic, boolean, typed, etc). - Review the literature to extract proviso forms. - Classify proviso forms. - Draft research paper Develop an arithmetic of proviso forms. INTERVAL ARITHMETIC Motivation: This is a fundamentally stronger way to represent uncertainty in results. It needs to be lifted from the numeric domain and defined symbolically. It needs to be integrated into the proviso algebra. Document interval.as algebra domain +INDEFINITES + Motivation: Research needs to be done on how to represent and compute + with indefinite objects from domains. An indefinite object + has a fixed type (such as Integer) but a non-specified value. + Thus it is possible to say that x+1 is of type Indefinite Integer + since 1 is an Integer and x is an Indefinite Integer. + Submit NSF grant proposal (awarded) + Conduct research on indefinites Construct domain examples +WEB ACCESS TO AXIOM + Motivation: There are several research efforts to make computer algebra + available on the web. Axiom needs to participate and lead. + Work with ORCCA rebuild OPENMATH support update to latest OPENMATH standards + Work with MathAction + integrate automatically running Axiom into web pages DOMAIN INTEGRATION Motivation: Axiom would be strongly useful in domains such as robotics. Areas such as backsolving of joint position can be fruitful areas of research. Deep integration in domains (DSP, Vision) needs to be pushed. + The Doyen effort is the current direction for this. Axiom will integrate + with the rest of the sciences thru this effort. SEMI-ANALYTIC SOLUTIONS Motivation: Axiom could provide parallel tasks that would continuously try to extract analytic solutions from incoming data. For example, in vision finding analytic edges to feed to a parallel recognizer algorithm. GAMES INTEGRATION Motivation: Axiom can be used to model games in novel ways. For example, flight games with pursuit curves that live in a non-uniform space (planet gravity, changing density across air/water). CONSTRAINED MODELS Motivation: Force motion that always remains analytic. Thus the final solution is known to be analytic. For example, constrain intersecting pipes to known boundary conditions. Computational geometry seems the most fruitful area. VALIDATION and VERIFICATION Motivation: Algebra systems need a high level of confidence in the results. Hand checking of the results is difficult and expensive. Automatically substituting results into the original equations could raise confidence. Auditing of boundaries of algebra algorithms. Precondition/Postcondition results for domains. Audited test suites used for regression testing. ALGEBRA MANIPULATION LANGUAGE Motivation: Algebra systems have interpreters that embody a lot of knowledge about the actions available to manipulate equations. This knowledge needs a language. The language needs to be crafted so that it can be added to domains and applied in symbolic form by a generalized simplification routine. Review the literature to extract manipulation sentences. Classify manipulation forms. Draft manipulation paper BOYER-MOORE THEOREM PROVER INTEGRATION Motivation: Computational logic is a branch of computer mathematics that is not currently available in Axiom. The Boyer-Moore theorem prover, written in common lisp, provides a good general purpose platform to study the interaction of the theorem proving systems with Axiom - Contact Boyer & Moore - Contact Chandy & Misra - Download ACL2 Build ACL2 Invoke ACL2 from Axiom Integrate ACL2 into Axiom Use Dijkstra's methods against SetCategory Draft research paper MetaPRL THEOREM PROVER Application Motivation: MetaPRL is a Higher-order Logic proof system that is well suited to proving Axiom-style languages. The proofs from this system would give higher confidence levels in the correctness of Axiom's algorithms. - Contact Artimov - Review nuprl - Review MetaPRL - Construct trial example - Collect all sorting routines in Axiom Model the required subset of Axiom's language Construct a proof of the sort algorithms ************************************************************************** COMMUNITY COLLECT AXIOM ALGEBRA DEVELOPERS Motivation: Work in Axiom has continued over the years but has not been integrated. Find this work and integrate it. COLLECT AXIOM KNOWN BUGS + Motivation: Axiom has known bugs. Create a known bug list. + Integrate fixes for catdef + Integrate fixes for pleqn TRAIN AXIOM INTERNAL DEVELOPERS Motivation: Many of the subtasks listed above can be split off, done in parallel and lead independently. Find people who are interested, especially external projects (eg work with Gnuplot to enhance it with Axiom's abilities). - Set up cvs on Tenkan - Set up accounts for developers - Import current Axiom tree into CVS - Try system builds on developers machines - Exchange code via CVS - Expand platforms - Cygwin - Mingw - FreeBSD SUPPORT FRENCH WORK Motivation: An organized community will help focus new Axiom development. - Lyon conference presentation - Set up OSCAS group - Announce OSCAS group - Moderate OSCAS group This is a dead branch of effort. SET UP GOLD REPOSITORIES Motivation: Community needs all the usual tools enabled like bug list, mailing list, cvs, etc. - savannah.nongnu.org (CVS) - sourceforge.net (CVS) - arch.axiom-developer.org (ARCH) + github (GIT) SET UP SILVER REPOSITORIES Motivation: Expose leading edge work - sourceforge.net (SVN) - git.axiom-developer.org (GIT) savannah.nongnu.org (GIT) ROSETTA Motivation: the community needs to see and use the many open source computer algebra systems so they can compare and contrast the various systems. This will help focus the issues of what is currently possible and how hard it is to develop a large, general purpose system. Also useful for teaching. - Build Rosetta CD - collect open source systems - build them on a common subtree - write Rosetta document - write them to CD such that they can be run with installation - distribute CD to conferences, teachers, etc + Update Rosetta CD + add Axiom + fix mistakes + add paragraph per table + update Rosetta document for Giac + update Rosetta document for DoCon + update Rosetta document for Macsyma + write Meta-Rosetta document to expound on differences + integrate systems with browser front-end + build broken systems + feed back diffs to original projects + add new systems + find new customers + The Rosetta effort is joining with the Quantian effort and the result + will be known as Doyen. This work is in process. Build Doyen Create live CD Create standalone MathAction Integrate Axiom into standalone MathAction Build coordination tools between daughter Doyen and mother Doyen site AXIOM WEBSITE Motivation: maintain a website so that progress on making Axiom open-source is made visible and the community has a place to discuss issues and ideas (not necessarily related to Axiom but to the community in general). - create website - build interest list - create and maintain update schedule EXPLORE FUNDING MODELS Motivation: Find creative ways to pay people who work on Axiom. Everybody wants free developers but paid work will motivate development. Academic degree (BA in open source? BA in computer algebra?) - Developed an open source lab at City College of NY. Lab is up and running - Lab is part of the capstone projects for CS undergrads Grant model by line of code - contact IBM - contact SUN + contact NSF contact INRIA contact DARPA + explore other contacts Award Model - Schelter Award - contact UTexas - contact FSF develop plan define award type and frequency find sponsor organization - Efraim Armendariz
- Brad Kuhn find volunteers to judge award Oscars/Emmy/Tony award model for CA at ISSAC? - Jenks Award Pay for support model + Pay for travel model + Contact Google + Contact IBM + Contact SUN + Contact Sage + Contact NSF
Completed, dead, or abandoned tasks
HYPERTEX->BROWSER/TEX Motivation: hypertex was pre-browser technology. It should be rewritten to fit into today's technology. At least HTML, possibly XML. - This work has forked into two paths. The first path is to recreate the - browser from the hypertex sources. The second path is to rebuild the - whole effort into a standard browser-based tool. Ultimately this will - probably get merged with the Doyen science platform effort - Recreate Hypertex - Create standard browser - create standalone browser version - merge into Doyen ASQ->JAVADOC/DOC++ Motivation: asq is pre-javadoc. It should be rewritten to fit into the browser/tex new world of docs - The ASQ tool needs to get redone so that standard html pages get built - during system build and made available. They should have a javadoc-like - look and feel. - Create ASQ-HTML page generator This task is complete. PLOT->GNUPLOT Motivation: plot has nothing to do with algebra but has some nice features such as data feedback from graph manipulation. These facilities should be moved to Gnuplot and the plot function retargetted. The graphics have been rebuilt and currently work. The graphics can only be run from a file at the moment because the connecting process, called sman, which manages all of the axiom processes is not yet working again. Rebuild sman Connect sman to graphics Connect graphics to gnuplot This task was abandoned. The 2D I/O direction has changed. The current plan is to use the firefox browser as a universal front-end to Axiom. READ-EVAL-PRINT->TeXmacs Motivation: the time has come for 2d input. TeXmacs provides this. There needs to be a much tighter integration of TeXmacs and Axiom. Connect to TeXmacs community - Build TeXmacs on Linux - Build TexMacs on Cygwin Build TexMacs on Windows pick up the notebook interface ideas from Sage AXIOM I/O->COMMON SYNTAX Motivation: Rosetta should not exist. Algebra syntax should standardize. Existing committee work needs feedback from Axiom. The Rosetta effort is complete.