Enter a polynomial, for example "3*x^2 + 2*x + x^4 + x + 10".

(It's better to start off with something simple, like "x^2 + x".)

(It's better to start off with something simple, like "x^2 + x".)

The theory behind **CayMon** is described in the paper Equational theories and monads from polynomial Cayley representations by Maciej Piróg, Piotr Polesiuk, and Filip Sieczkowski

Note that the web version of **CayMon** is compiled from (an older
version) of its Haskell source using the ghcjs compiler. This
version is somewhat limited, as the current Haskell
version can additionally produce Haddock documentation and
QuickCheck tests to check some of the properties of the
generated data structures.

The initial version of **CayMon** has been developed as a part of Algebraic Effects and Continuations, a project under National Science Centre, Poland, POLONEZ 3 grant number 2016/23/P/ST6/02217.

This project has received funding from the European Union’s Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie grant agreement No 665778.