A C++20 library for the symbolic manipulation of sparse polynomials and other closely-related mathematical objects