/usr/share/doc-base/cddlibman is in libcdd-doc 094h-1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 | Document: cddlibman
Title: cddlib Reference Manual
Abstract: This is a reference manual for cddlib-094. The manual describes the library
functions and data types implemented in the cddlib C-library which is to perform
fundamental polyhedral computations such as representation conversions and linear
programming in both floating-point and GMP rational exact arithmetic. Please read
the accompanying README file and test programs to complement the manual.
.
The new functions added in this version include dd MatrixCanonicalize to find a non-
redundant proper H- or V-representation, dd FindRelativeInterior to find a relative
interior point of an H-polyhedron, and dd ExistsRestrictedFace (Farkas-type
alternative theorem verifier) to check the existence of a point satisfying a
specified system of linear inequalities possibly including multiple strict
inequalities.
.
The new functions are particularly important for the development of related software
packages MinkSum (by Ch. Weibel) and Gfan (by Anders Jensen).
Section: Science/Mathematics
Format: PDF
Index: /usr/share/doc/libcdd-doc/cddlibman.pdf.gz
Files: /usr/share/doc/libcdd-doc/cddlibman.pdf.gz
|