Software package that allows efficient manipulation and comparison of Grothendieck motives in lambda-rings.