factory-0.2.1.1: Rational arithmetic in an irrational world.

Safe HaskellSafe-Inferred
LanguageHaskell98

Factory.Math.Hyperoperation

Contents

Description

AUTHOR
Dr. Alistair Ward
DESCRIPTION
Provides various hyperoperations; http://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; http://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.