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.