Abelian sandpile model: Difference between revisions

Content added Content deleted

Inline

@@ Line 65: / Line 65: @@
 : inc-stack     2cells stack +! ;
-: dec-stack     -2cells stack +! ;
 : stack-empty?  stack @ bottom u< ;
 : stack-full?   stack-empty? invert ;
+: dec-stack     assert( stack-full? ) -2cells stack +! ;
 : peek          assert( stack-full? ) stack @ 2@ ;
 : pop           peek dec-stack ;