OKlibrary  0.2.1.6
Axiom.hpp File Reference

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 Axiom-files?
  • How to postfix Aldor-files?
Todo:
Aldor integration
  • Literature on Aldor?
  • How to integrate Axiom with Aldor?
  • We should only write Aldor-code, using the Axiom-library --- 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.