Version 0.3.2 beta Released
This release fixes a problem with the most aggressive notations
involving nested embedding. It was possible to define an
infinite descending sequence in the previous version.
This release also fixes other minor problems. It has improved
and expanded documentation.
- Interactive tool to help understand the recursive and
larger countable ordinals
- Ordinal arithmetic calculator (addition, multiplication and
exponentiation)
- A research tool to investigate and expand the ordinal
hierarchy
- Supports the Veblen hierarchy and a form of ordinal collapsing
for large recursive ordinals
- The Microsoft Windows version is available as a standard
installation or a stand alone executable you can use without
installation. It runs on Windows versions staring with XP and on
the Wine emulator.
- The source code should build on most Linux and many Unix
systems as well as Windows XP and later with Visual C++.
- LaTeX math mode output option
- Source code licensed for use and distribution under the
GNU General
Public License version 2 and later
- The GNU LGPL
license version 3 also applies to the executables.
Download ordCalc_0.3.2 beta
This should build on most Linux and many Unix development systems
and on Microsoft Windows Visual C++. The Linux build requires the
MPIR and readline packages.
If these are not installed on your Linux system you may be able to
install them with the superuser command:
yum install mpir-devel readline-devel
The Microsoft Visual C++ build only requires the MPIR libraries, but you probably have to
build the libraries. The automated testing on Windows (but not the
build) requires that Cygwin be
installed.
This package includes full documentation in PDF format and the
LaTeX source.
Install program and documentation on Windows
(ordInstall.exe 1.9M)
This installs on Windows XP and later and the Wine emulator. It
includes all documentation.
This runs on Windows XP and later and the Wine emulator. It
includes all documentation.
Download documentation
All documentation is included in all of the above downloads. Use
the following links for documentation only.
User's manual -- "Using the ordinal calculator: For ordCalc
0.3.2"
(ordCalc.pdf 256K)
This is mostly a LaTeX formatted version of the online
documentation for the ordinal calculator.
Program description and underlying mathematics -- "A
Computational Approach to the Ordinal Numbers: Documents ordCalc_ 0.3.2"
(ordinal.pdf 1.8M)
This document describes and references the mathematics on which the
program is based. It also documents the program structure. It
includes the user's manual as an appendix and contains a unified
index and table of contents for both documents.
Please send comments and problem reports to ord@mtnmath.com.