Math.NumberTheory.Canon.SpecialFunctions

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

Documentation

moserFunc :: Canon -> Canon -> Canon -> Canon

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

moserTriangle :: Canon -> Canon

Moser Triangle (see Wikipedia link)

moserSquare :: Canon -> Canon

Moser Square (see Wikipedia link)

moserPentagon :: Canon

Moser Pentagon (see Wikipedia link)

mega :: Canon

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

megiston :: Canon

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

moser :: Canon

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

knuth :: Canon -> Canon -> Canon -> Canon

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

conwayChain :: [Canon] -> Canon

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)

conwayGuy :: Canon -> Canon

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

genGrahamFunc :: Canon -> Integer -> Canon

Generalized Graham Function

grahamFunc :: Integer -> Canon

Calls the generalized Graham function with value 3

grahamsNumber :: Canon

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

ackermann :: Canon -> Canon -> Canon

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

ackermann3 :: Canon -> Canon -> Canon -> Canon

The original 3 parameter Ackermann function