cddlib icon indicating copy to clipboard operation
cddlib copied to clipboard

Remove divisions in cdd

Open MathieuDutSik opened this issue 5 years ago • 0 comments

LRS can process polytope and find the dual description without using any divisions. If one takes the LRS code and replace the mpz_class by mpq_class then we get a factor 3 in speed. Thus I think there is a big potential in speed increase for CDD by using arithmetic more cleverly. The routine where there are such divisions is dd_GaussianColumnPivot and this should be avoidable (other instances are easier to resolve).

Note: Templated versions of CDD and LRS are available on https://github.com/MathieuDutSik/polyhedral_common/tree/master/src_poly

MathieuDutSik avatar Oct 05 '20 12:10 MathieuDutSik