A Sage Library for Analysis of Nonlinear Binary Mappings May 25, 2014 substitution Sage criteria English: PDF CECC’14