zonotope_is_leq function not implemented

[shankarapailoor]

Hi Gagandeep!

I noticed that zonotope_is_leq is not implemented. I wanted to know if this is something you can add quickly or plan to add? My current work around has been converting zonotopes to boxes and doing the calculation but that is too imprecise.

Regards,
Shankara

[GgnDpSngh]

Hi there,

Thanks for using ELINA. We are working on adding the support for comparing zonotopes and will let you know when it is available.

Cheers,
Gagan