Documentation

Create a Canon from an integer. This may involve expensive factorization.

Shorthand for makeCanon

Functions to Convert Canon to Generalized Canon Rep

Functions to Convert Canon to Generalized Canon Rep

Multiply Function: Generally speaking this will be much cheaper.

Div function : Multiply by the reciprocal.

Addition and subtraction is generally much more expensive because it requires refactorization. There is logic to look for algebraic forms which can greatly reduce simplify factorization.

Addition and subtraction is generally much more expensive because it requires refactorization. There is logic to look for algebraic forms which can greatly reduce simplify factorization.

Exponentiation: This does allow for negative exponentiation if the Bool flag is True.

Compute reciprocal (by negating exponents).

GCD and LCM functions for Canon

GCD and LCM functions for Canon

Mod function

Check if a Canon is an odd integer. Note: If the Canon is not integral, return False

Totient functions

Totient functions

Compute log as a Rational number.

Compute log as a Double.

Functions to check if a canon is negative/positive

Functions to check if a canon is negative/positive

Functions to check if a Canon is integral, (ir)rational, "simplified" or a prime tower

Functions to check if a Canon is integral, (ir)rational, "simplified" or a prime tower

Functions to check if a Canon is integral, (ir)rational, "simplified" or a prime tower

Force the expression to be simplified. This could potentially be very expensive.

Functions to check if a Canon is integral, (ir)rational, "simplified" or a prime tower

Determines the depth/height of maximum prime tower in the Canon.

Split a Canon into the numerator and denominator.

cNumerator and cDenominator are for processing "rational" canon reps.

cNumerator and cDenominator are for processing "rational" canon reps.

Is the Canon a more complex expression?

Checks if the Canon just a Bare Integer.

Returns the status for Bare numbers.

Return the CanonValueType (Integral, etc).

Functions to check if a Canon is integral, (ir)rational, "simplified" or a prime tower

This is used for tetration, etc. It defaults to zero for non-integral reps.

Tetration function

Pentation Function

Hexation Function

Generalized Hyperoperation Function

Root operator

Exponentiation operator

Mod operator

Hyperoperations (including tetration and beyond): https://en.wikipedia.org/wiki/Hyperoperation | The thinking around the operators is that they should look progressively scarier :)

Hyperoperations (including tetration and beyond): https://en.wikipedia.org/wiki/Hyperoperation | The thinking around the operators is that they should look progressively scarier :)

Hyperoperations (including tetration and beyond): https://en.wikipedia.org/wiki/Hyperoperation | The thinking around the operators is that they should look progressively scarier :)