Smithsonian package for algebra and symbolic mathematics