canon-0.1.1.0: Massive Number Arithmetic

Math.NumberTheory.Canon.SpecialFunctions

Description

This module defines numerous functions associated with massive numbers. This is an excellent resource: http://googology.wikia.com/wiki/Googology_Wiki

Synopsis

# Documentation

Generalized Moser function: https://en.wikipedia.org/wiki/Steinhaus%E2%80%93Moser_notation to do: non-recursive definition?

Mega: "2 in a circle" (see Wikipedia link)

Megiston: "10 in a circle" (see Wikipedia link)

Moser number; "2 in a mega-gon" (see Wikipedia link)

knuth :: Canon -> Canon -> Canon -> Canon Source #

Knuth's Up Arrow Notation, analagous to hyperoperations (https:/en.wikipedia.orgwiki/Knuth%27s_up-arrow_notation)

conwayChain :: [Canon] -> Canon Source #

Conway Chained-Arrow Notation (https:/en.wikipedia.orgwiki/Conway_chained_arrow_notation) This function will try to reduce generalized conway chain notation down to humble hyperoperations (or better)

Conway-Guy function is a conwayChain of n copies of n.

Generalized Graham Function

Calls the generalized Graham function with value 3

Graham's Number (https:/en.wikipedia.orgwiki/Graham%27s_number)

Ackermann function (https:/en.wikipedia.orgwiki/Ackermann_function)

The original 3 parameter Ackermann function