Many hyperlinks are disabled.
Use anonymous login to enable hyperlinks.
|Page Name:||Mathematics (Package)|
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.
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.
Any function that does not explicitly belong in another package, such as Mathematics.Trigonometry, etc. shall be placed here. Obvious inclusions are Greatest Common Divisor and Least Common Multiple, although these are not the only possibilities.