resbinomial.lib
LIB "resbinomial.lib"; ring r = 0,(x(1),y(2),x(3),y(4),x(5..7),y(8)),dp; identifyvar(); ==> [1]: ==> 0 ==> [2]: ==> 1 ==> [3]: ==> 0 ==> [4]: ==> 1 ==> [5]: ==> 0 ==> [6]: ==> 0 ==> [7]: ==> 0 ==> [8]: ==> 1