search

eth-sri / ELINA

ELINA: ETH LIbrary for Numerical Analysis
http://elina.ethz.ch/
Other
129 stars 54 forks source link

zonotope_is_leq function not implemented #42

Open shankarapailoor opened 5 years ago

shankarapailoor commented 5 years ago

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 commented 5 years ago

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