Domains is a Pharo port of https://github.com/len/Mathematics a computer system algebra running on Cuis.