System for computational discrete algebra. Core functionality.
