PolyOp-v1.5

release 1.5 (2024-09-18, build 210)

Features

• New operation: integer hull [JLR15]

Minor modifications

• Syntax diff c1 , c2 allowed, in addition to diff c1 c2