In Praise of Sequence (Co-)Algebra and its implementation in Haskell
Abstract
What is Sequence Algebra? This is a question that any teacher or student of mathematics or computer science can engage with. Sequences are in Calculus, Combinatorics, Statistics and Computation. They are foundational, a step up from number arithmetic. Sequence operations are easy to implement from scratch (in Haskell) and afford a wide variety of testing and experimentation. When bits and pieces of sequence algebra are pulled together from the literature, there emerges a claim for status as a substantial pre-analysis topic. Here we set the stage by bringing together a variety of sequence algebra concepts for the first time in one paper. This provides a novel economical overview, intended to invite a broad mathematical audience to cast an eye over the subject. A complete, yet succinct, basic implementation of sequence operations is presented, ready to play with. The implementation also serves as a benchmark for introducing Haskell by mathematical example.
- Publication:
-
arXiv e-prints
- Pub Date:
- December 2018
- DOI:
- 10.48550/arXiv.1812.05878
- arXiv:
- arXiv:1812.05878
- Bibcode:
- 2018arXiv181205878C
- Keywords:
-
- Mathematics - Combinatorics;
- Computer Science - Discrete Mathematics;
- Computer Science - Programming Languages;
- Computer Science - Symbolic Computation;
- Mathematics - History and Overview;
- 0502;
- 4001;
- 4002;
- 9702;
- 9704;
- 6802;
- 6804;
- 68R05
- E-Print:
- 43 pages. Work commenced when the author was a visitor at the University of York