Package: semidef-oct