Simplified handling of supplied monomials
TODO file added
Syntax of PICOS target changed