Many hyperlinks are disabled.
Use anonymous login to enable hyperlinks.

Purpose

This package exists mostly as a namespace for the other mathematics packages. However, common mathematics functions, as well as constants, are to be defined here.

Constants

All constants should be of the type Universal_Real (do not specify a type), and have at least 30 fractional decimal digits of precision, as well as at least one whole decimal digit.

Common Functions

Any function that does not explicitly belong in another package shall be placed here. Obvious inclusions are Greatest Common Divisor and Least Common Multiple, although these are not the only possibilities.