An ellipsoid is defined as
Ellipsoids are compact and convex sets. More information in Section 2.2.1.3 in the CORA manual.