factory-0.3.0.0: Rational arithmetic in an irrational world.

Safe HaskellSafe
LanguageHaskell2010

Factory.Math.Hyperoperation

Contents

Description

AUTHOR
Dr. Alistair Ward
DESCRIPTION
Provides various hyperoperations; https://en.wikipedia.org/wiki/Hyperoperation.

Synopsis

Types

Type-synonyms

type Base = Integer Source #

  • Merely to enhance self-documentation.
  • CAVEAT: whilst it may appear that Base could be non-Integral, the recursive definition for hyper-exponents above tetration, prevents this.

type HyperExponent = Base Source #

Constants

Functions

hyperoperation :: (Integral rank, Show rank) => rank -> Base -> HyperExponent -> Base Source #

The hyperoperation-sequence; https://en.wikipedia.org/wiki/Hyperoperation.

powerTower :: (Integral base, Integral hyperExponent, Show base) => base -> hyperExponent -> base Source #

Predicates

areCoincidental :: (Integral rank, Show rank) => Base -> HyperExponent -> [rank] -> Bool Source #

True if hyperoperation base hyperExponent has the same value for each specified rank.