General plans regarding the computer algebra system Axiom (and SAT)
More...
Go to the source code of this file.
Detailed Description
General plans regarding the computer algebra system Axiom (and SAT)
 Todo:
 Naming conventions

How to postfix Axiomfiles?

How to postfix Aldorfiles?
 Todo:
 Aldor integration

Literature on Aldor?

How to integrate Axiom with Aldor?

We should only write Aldorcode, using the Axiomlibrary  how to do this?
 Todo:
 Test system

We need a test system similar to the C++ and the Maxima system.

Likely Aldor and/or Axiom has a test system?
 Todo:
 Documenting the code

Can we instrument Doxygen to handle Aldor/Axiom code?

Are there special methods for creating documentation?
 Todo:
 Input checking

Axiom/Aldor has a strong type system, so automatically inputs experience stronger checks than at the Maxima/Lisp level.

The axioms include semantic checks: Does this mean that inputs are automatically fully validated? (Always?)

Perhaps here, at this planning/prototyping level, it would be appropriate to have always all validation applied.
Definition in file Axiom.hpp.