Source: axiom Section: math Priority: optional Maintainer: Camm Maguire Build-Depends: debhelper ( >= 5 ), gcl ( >= 2.6.12-59 ), libgmp3-dev, libreadline-dev, libx11-dev, libxt-dev, x11proto-core-dev, libxpm-dev, x11-common, texlive-latex-base, gawk, sharutils, ghostscript, gsfonts, libxmu-dev, libxaw7-dev, zlib1g-dev, texlive-pstricks, tex-common, texlive-fonts-extra Standards-Version: 3.9.8 Package: axiom Architecture: any Depends: ${shlibs:Depends}, axiom-databases (= ${source:Version}), ${misc:Depends} Recommends: axiom-source, axiom-doc, axiom-graphics, axiom-hypertex Suggests: texmacs, axiom-tex, axiom-test, nowebm Description: General purpose computer algebra system: main binary and modules Axiom is useful for research and development of mathematical algorithms. It defines a strongly typed, mathematically correct type hierarchy. It has a programming language and a built-in compiler. . Axiom has been in development since 1973 and was sold as a commercial product. It has been released as free software. . Efforts are underway to extend this software to (a) develop a better user interface (b) make it useful as a teaching tool (c) develop an algebra server protocol (d) integrate additional mathematics (e) rebuild the algebra in a literate programming style (f) integrate logic programming (g) develop an Axiom Journal with refereed submissions. . This package contains the main program binary and all precompiled algebra and autoloadable modules. Package: axiom-source Architecture: all Depends: ${misc:Depends} Description: General purpose computer algebra system: source files Axiom is useful for research and development of mathematical algorithms. It defines a strongly typed, mathematically correct type hierarchy. It has a programming language and a built-in compiler. . Axiom has been in development since 1973 and was sold as a commercial product. It has been released as free software. . Efforts are underway to extend this software to (a) develop a better user interface (b) make it useful as a teaching tool (c) develop an algebra server protocol (d) integrate additional mathematics (e) rebuild the algebra in a literate programming style (f) integrate logic programming (g) develop an Axiom Journal with refereed submissions. . This package contains source files in Axiom's native spad language for the compiled algebra modules supplied in the axiom package. . Package: axiom-test Architecture: all Depends: axiom (>= ${source:Version}), ${misc:Depends} Description: General purpose computer algebra system: regression test inputs Axiom is useful for research and development of mathematical algorithms. It defines a strongly typed, mathematically correct type hierarchy. It has a programming language and a built-in compiler. . Axiom has been in development since 1973 and was sold as a commercial product. It has been released as free software. . Efforts are underway to extend this software to (a) develop a better user interface (b) make it useful as a teaching tool (c) develop an algebra server protocol (d) integrate additional mathematics (e) rebuild the algebra in a literate programming style (f) integrate logic programming (g) develop an Axiom Journal with refereed submissions. . This package contains input files for Axiom's regression test suite. Package: axiom-doc Architecture: all Section: doc Depends: ${misc:Depends} Description: General purpose computer algebra system: documentation Axiom is useful for research and development of mathematical algorithms. It defines a strongly typed, mathematically correct type hierarchy. It has a programming language and a built-in compiler. . Axiom has been in development since 1973 and was sold as a commercial product. It has been released as free software. . Efforts are underway to extend this software to (a) develop a better user interface (b) make it useful as a teaching tool (c) develop an algebra server protocol (d) integrate additional mathematics (e) rebuild the algebra in a literate programming style (f) integrate logic programming (g) develop an Axiom Journal with refereed submissions. . This package contains all documentation, including the Axiom book in dvi format with all postscript images. Package: axiom-databases Architecture: all Depends: ${misc:Depends} Description: General purpose computer algebra system: generated text databases Axiom is useful for research and development of mathematical algorithms. It defines a strongly typed, mathematically correct type hierarchy. It has a programming language and a built-in compiler. . Axiom has been in development since 1973 and was sold as a commercial product. It has been released as free software. . Efforts are underway to extend this software to (a) develop a better user interface (b) make it useful as a teaching tool (c) develop an algebra server protocol (d) integrate additional mathematics (e) rebuild the algebra in a literate programming style (f) integrate logic programming (g) develop an Axiom Journal with refereed submissions. . This package contains the text databases generated during the build process used in computing the hierarchical domain structure, among other uses. Package: axiom-tex Architecture: all Depends: texlive-latex-recommended, ${misc:Depends} Description: General purpose computer algebra system: style file for TeX Axiom is useful for research and development of mathematical algorithms. It defines a strongly typed, mathematically correct type hierarchy. It has a programming language and a built-in compiler. . Axiom has been in development since 1973 and was sold as a commercial product. It has been released as free software. . Efforts are underway to extend this software to (a) develop a better user interface (b) make it useful as a teaching tool (c) develop an algebra server protocol (d) integrate additional mathematics (e) rebuild the algebra in a literate programming style (f) integrate logic programming (g) develop an Axiom Journal with refereed submissions. . This package contains a TeX style file useful in publishing results obtained with Axiom. Package: axiom-graphics Architecture: any Depends: ${shlibs:Depends}, axiom (= ${binary:Version}), axiom-graphics-data (= ${source:Version}), ${misc:Depends} Description: General purpose computer algebra system: graphics subsystem Axiom is useful for research and development of mathematical algorithms. It defines a strongly typed, mathematically correct type hierarchy. It has a programming language and a built-in compiler. . Axiom has been in development since 1973 and was sold as a commercial product. It has been released as free software. . Efforts are underway to extend this software to (a) develop a better user interface (b) make it useful as a teaching tool (c) develop an algebra server protocol (d) integrate additional mathematics (e) rebuild the algebra in a literate programming style (f) integrate logic programming (g) develop an Axiom Journal with refereed submissions. . This package contains the binaries for the graphics subsystem. The programs in this package allow axiom to draw plots to separate windows in X as well as to output files in postscript format. Package: axiom-graphics-data Architecture: all Depends: ${misc:Depends} Description: General purpose computer algebra system: graphics subsystem Axiom is useful for research and development of mathematical algorithms. It defines a strongly typed, mathematically correct type hierarchy. It has a programming language and a built-in compiler. . Axiom has been in development since 1973 and was sold as a commercial product. It has been released as free software. . Efforts are underway to extend this software to (a) develop a better user interface (b) make it useful as a teaching tool (c) develop an algebra server protocol (d) integrate additional mathematics (e) rebuild the algebra in a literate programming style (f) integrate logic programming (g) develop an Axiom Journal with refereed submissions. . This package contains required data files for the axiom graphics subsystem. Package: axiom-hypertex Architecture: any Depends: ${shlibs:Depends}, axiom (= ${binary:Version}), axiom-hypertex-data (= ${source:Version}), ${misc:Depends} Description: General purpose computer algebra system: hypertex subsystem Axiom is useful for research and development of mathematical algorithms. It defines a strongly typed, mathematically correct type hierarchy. It has a programming language and a built-in compiler. . Axiom has been in development since 1973 and was sold as a commercial product. It has been released as free software. . Efforts are underway to extend this software to (a) develop a better user interface (b) make it useful as a teaching tool (c) develop an algebra server protocol (d) integrate additional mathematics (e) rebuild the algebra in a literate programming style (f) integrate logic programming (g) develop an Axiom Journal with refereed submissions. . This package contains the binaries for the hypertex subsystem. The programs in this package provide an interactive online help system describing the many axiom commands. Package: axiom-hypertex-data Architecture: all Depends: ${misc:Depends} Description: General purpose computer algebra system: hypertex subsystem Axiom is useful for research and development of mathematical algorithms. It defines a strongly typed, mathematically correct type hierarchy. It has a programming language and a built-in compiler. . Axiom has been in development since 1973 and was sold as a commercial product. It has been released as free software. . Efforts are underway to extend this software to (a) develop a better user interface (b) make it useful as a teaching tool (c) develop an algebra server protocol (d) integrate additional mathematics (e) rebuild the algebra in a literate programming style (f) integrate logic programming (g) develop an Axiom Journal with refereed submissions. . This package contains required data files for the axiom hypertex subsystem.