System for computational discrete algebra. Core functionality
