This is the end of the computation of the monus function monus(a,b)=a-b if a>=b, else 0, for a=3 and b=20.
It is the last part of the computation, as recorded at 8X speed from my screen.
If you want to see all of it then go to https://github.com/chorasimilarity/chemlambda-gui/tree/gh-pages/dynamic , clone it and then type: bash moving_alt.sh and choose monus.mol from the list of mol files.
It is used the deterministic algorithm, this time, which makes all possible moves every time.
What is interesting about this computation is the quantity of trash it produces.
Indeed, I took a lambda term for the monus, applied it to 3 and 20 (in Church encoding), then applied it to successor then applied it to 0.
In the video you see that after the result (the small molecule connected to the blue dot, it i sthe chemlambda version of 0 in the Church encoding), there is still a lot of activity of destroying the rest of the molecule. It looks nice though.
Something strange happened when I tried to publish the video (there are so many strange things related to the dissemination of chemlambda that they become a family joke, some of the readers of this blog are aware of some of those).
After I completed the description I got the warning shown in the following video: “Brackets aren’t allowed in your description”
For example this previous video has brackets in the description and in the title as well
and all worked well.
Anyway I eliminated the brackets but the warning remained, so eventually I got out from my google account and done something else.
Sometimes later I tried again, experience described in this video (which took a LOT of time to be processed)
At the beginning the fields for title and description were void and no error was announced.
After I filled them happened what you see in the video.
I understand that Google uses a distributed system (which probably needs lots of syncs, because you know, that is how intelligent people design programs today), but:
- the “brackets are not allowed” is bogus, because a previous video worked perfect with brackets in the description,
- the “unknown error” means simply that there was some trace left on my computer that there was an imaginary error in the previous try, so instead of checking if there is an error this time, I suppose that the browser was instructed to read from the ton of extremely useful cookies google puts in the user’s place.