axiom-test

Source: axiom
Package: axiom-test
Versions: axiom-test (20120301-1), axiom-test (20120301-2), axiom-test (20120301-3), axiom-test (20120501-1), axiom-test (20120501-10), axiom-test (20120501-11), axiom-test (20120501-12), axiom-test (20120501-13), axiom-test (20120501-14), axiom-test (20120501-16), axiom-test (20120501-17), axiom-test (20120501-18), axiom-test (20120501-2), axiom-test (20120501-8), axiom-test (20120501-9), axiom-test (20140801-1), axiom-test (20140801-10), axiom-test (20140801-11), axiom-test (20140801-12), axiom-test (20140801-2), axiom-test (20140801-3), axiom-test (20140801-4), axiom-test (20140801-5), axiom-test (20140801-6), axiom-test (20140801-7), axiom-test (20140801-8), axiom-test (20140801-9), axiom-test (20170401-1), axiom-test (20170401-2), axiom-test (20170401-3), axiom-test (20170501-1), axiom-test (20170501-10), axiom-test (20170501-11), axiom-test (20170501-12), axiom-test (20170501-13), axiom-test (20170501-14), axiom-test (20170501-15), axiom-test (20170501-2), axiom-test (20170501-3), axiom-test (20170501-4), axiom-test (20170501-5), axiom-test (20170501-6), axiom-test (20170501-9), axiom-test (20210105dp1-1), axiom-test (20210105dp1-3), axiom-test (20210105dp1-4), axiom-test (20210105dp1-5), axiom-test (20210105dp1-6)
Prioritize: 48
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.

Description-ja: 汎用計算機代数システム: 回帰テスト用入力
 axiom は数学アルゴリズムの研究や開発に便利です。強く型付され、数学的に
 正確な型階層を定義します。プログラミング言語と内蔵コンパイラを備えてい
 ます。
 .
 axiom は 1973 年から開発が続けられ、商用製品として販売されていました。
 そしてフリーソフトウェアとしてリリースされました。
 .
 以下の事項を目指すべく、本ソフトウエアを拡張するための努力が行なわれて
 います:
  (a) より優れたインターフェイスの開発
  (b) 教育用ツールとして便利なものにする
  (c) 代数サーバプロトコルの開発
  (d) 追加された数学分野の統合
  (e) 読み書き可能なプログラミングスタイルでの代数の再構築
  (f) 論理プログラミングの統合
  (g) 校閲者の提案による Axiom Journal の開発
 .
 本パッケージには、Axiom の回帰テストスイート用の入力ファイルが含まれます。

e7cfe85d2c2382c553499a62737ded19 translated
ae759af394185fc5ba45db555d3a6d91 translated
54c233d6eeec17ce000df628a710d2e2 translated
3583fccc6cd9f3bcbe7baeb15f90b822 translated
db3079826ad3d33c2cf42fa190bdd2e6 translated