Skip to content

Instantly share code, notes, and snippets.

@sguzman

sguzman/iteration-axioms.wls

Last active September 15, 2021 19:52
Show Gist options
  • Save sguzman/55213723d4d57c2697bfab9c4c985248 to your computer and use it in GitHub Desktop.
Save sguzman/55213723d4d57c2697bfab9c4c985248 to your computer and use it in GitHub Desktop.
Download ZIP
A set of rules for the algebra of iterated function tower
Raw
iteration-axioms.wls
{(Subscript[\[ConstantC], i]^b)[a]<->Subscript[\[ConstantC], 1+i][a,b],Subscript[\[ConstantC], i][Subscript[\[ConstantC], -1+i][a,b],c]<->Subscript[\[ConstantC], 1+i][Subscript[\[ConstantC], i][a,c],Subscript[\[ConstantC], i][b,c]],Subscript[\[ConstantC], i][a,b]<->Subscript[\[ConstantC], i][b,a],Subscript[\[ConstantC], i][a,a]<->Subscript[\[ConstantC], 1+i][a]^2}
@sguzman
Copy link
Author

sguzman commented Sep 15, 2021

A rendered version is available here.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment