| Copyright | (c) 2018-2019 Frederick Schneider |
|---|---|
| License | MIT |
| Maintainer | Frederick Schneider <fws.nyc@gmail.com> |
| Stability | Provisional |
| Safe Haskell | None |
| Language | Haskell2010 |
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
- moserFunc :: Canon -> Canon -> Canon -> Canon
- moserTriangle :: Canon -> Canon
- moserSquare :: Canon -> Canon
- moserPentagon :: Canon
- mega :: Canon
- megiston :: Canon
- moser :: Canon
- knuth :: Canon -> Canon -> Canon -> Canon
- conwayChain :: [Canon] -> Canon
- conwayGuy :: Canon -> Canon
- genGrahamFunc :: Canon -> Integer -> Canon
- grahamFunc :: Integer -> Canon
- grahamsNumber :: Canon
- ackermann :: Canon -> Canon -> Canon
- ackermann3 :: Canon -> Canon -> Canon -> Canon
Documentation
moserFunc :: Canon -> Canon -> Canon -> Canon Source #
Generalized Moser function: https://en.wikipedia.org/wiki/Steinhaus%E2%80%93Moser_notation
moserTriangle :: Canon -> Canon Source #
Moser Triangle (see Wikipedia link above)
moserSquare :: Canon -> Canon Source #
Moser Square (see Wikipedia link above)
moserPentagon :: Canon Source #
Moser Pentagon (see Wikipedia link above)
knuth :: Canon -> Canon -> Canon -> Canon Source #
Knuth's Up Arrow Notation, analagous to hyperoperations
conwayChain :: [Canon] -> Canon Source #
Conway Chained-Arrow Notation: This function will try to reduce generalized conway chain notation down to humble hyperoperations (or better).
grahamFunc :: Integer -> Canon Source #
Calls the generalized Graham function with value 3