Computation of maximal output admissible sets for linear systems with polynomial constraints. Issue 1 (25th January 2023)