Pair Sequence System → Buchholz's ordinal notation Implementation

How to use

A matrix can be written in the following formats: A term in Buchholz's ordinal notation can be written as follows: Write i, j, k, m, n for integers; a=a0;⋯;al for a sequence of integers; M for a matrix; Q=Q0;⋯;Qk for a sequence of matrices; t for a term in Buchholz's ordinal notation; s, c, b for strings.
Each line in the input is written as operation var1;var2;⋯, operation case insensitive. Following operations are implemented:
Definition of map Trans and others by p進大好きbot, Retrieved 2022/07/26
The program (implementation.js) and the site (implementation.html) under https://naruyoko.github.io/googology/pss-vs-buchholz is licensed by Creative Commons Attribution-ShareAlike 3.0 Unported License.
Last updated: 2023/10/21