axiom 20170501-12 source package in Ubuntu
Changelog
axiom (20170501-12) unstable; urgency=medium * fix database building (directory behavior) and some pathname errors -- Camm Maguire <email address hidden> Sun, 12 Feb 2023 18:08:56 -0500
Upload details
- Uploaded by:
- Camm Maguire
- Uploaded to:
- Sid
- Original maintainer:
- Camm Maguire
- Architectures:
- any all
- Section:
- math
- Urgency:
- Medium Urgency
See full publishing history Publishing
Series | Published | Component | Section | |
---|---|---|---|---|
Mantic | release | universe | math | |
Lunar | release | universe | math |
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
axiom_20170501-12.dsc | 2.3 KiB | e221e46fe95b10d3b92f782dd9cbc0af8c327b311a159bafac84db8efe32d525 |
axiom_20170501.orig.tar.gz | 216.0 MiB | b0ad8dcdcc4e497c67502db394a0171474a6a723973a2565be7bd95a49bcae0b |
axiom_20170501-12.debian.tar.xz | 728.6 KiB | ac75f28ff9d9b76320b89164a15e5a005d04bc8728c2cdbe96d2fb97a3af4d49 |
Available diffs
- diff from 20170501-11 to 20170501-12 (1.8 KiB)
No changes file available.
Binary packages built by this source
- axiom: 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.
- axiom-databases: 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.
- axiom-dbgsym: debug symbols for axiom
- axiom-doc: 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.
- axiom-graphics: 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.
- axiom-graphics-data: 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.
- axiom-graphics-dbgsym: debug symbols for axiom-graphics
- axiom-hypertex: 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.
- axiom-hypertex-data: 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.
- axiom-hypertex-dbgsym: debug symbols for axiom-hypertex
- axiom-source: 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.
- axiom-test: 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.
- axiom-tex: 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.