[SCM] Debian packaging for the lrslib vertex enumeration package branch, master, updated. 08143926a8c76346ae9308746e390c53d21da63a
David Bremner
bremner at unb.ca
Sun Sep 13 16:13:18 UTC 2009
The following commit has been merged in the master branch:
commit 94ca542f676d49a2e5fadbed6577d562f3b0d4fc
Author: David Bremner <bremner at unb.ca>
Date: Sun Aug 9 20:03:16 2009 -0300
initial, far from complete, manpage
diff --git a/debian/lrslib.1.xml b/debian/lrslib.1.xml
new file mode 100644
index 0000000..feed58f
--- /dev/null
+++ b/debian/lrslib.1.xml
@@ -0,0 +1,176 @@
+<?xml version="1.0" encoding="ISO-8859-1"?>
+<!DOCTYPE refentry PUBLIC "-//OASIS//DTD DocBook XML V4.1.2//EN"
+ "http://www.oasis-open.org/docbook/xml/4.1.2/docbookx.dtd">
+<refentry id='lrslib'>
+<refmeta>
+<refentrytitle>LRSLIB</refentrytitle>
+<manvolnum>1</manvolnum>
+<refmiscinfo class='source'>July 2009</refmiscinfo>
+<refmiscinfo class='manual'>lrslib 0.42b</refmiscinfo>
+</refmeta>
+<refnamediv id='name'>
+<refname>lrslib</refname>
+<refpurpose>Convert between represetations of convex polyhedra.</refpurpose>
+</refnamediv>
+<!-- body begins here -->
+<refsynopsisdiv id='synopsis'>
+<cmdsynopsis>
+ <command>lrs input.ine</command>
+</cmdsynopsis>
+<cmdsynopsis>
+ <command>redund input.ine</command>
+</cmdsynopsis>
+
+</refsynopsisdiv>
+
+
+<refsect1 id='description'><title>DESCRIPTION</title>
+<para>
+ A polyhedron can be described by a list of inequalities
+ (<emphasis>H-representation)</emphasis> or as by a list of its
+ vertices and extreme rays
+ (<emphasis>V-representation).lrs</emphasis>is a C program that
+ converts a H-representation of a polyhedron to its
+ V-representation, and vice versa. These problems are known
+ respectively at the <emphasis>vertex enumeration</emphasis> and
+ <emphasis>convex hull problems</emphasis>.
+ <literallayout></literallayout>Fukuda's
+ <ulink url="http://www.ifor.math.ethz.ch/staff/fukuda/polyfaq/polyfaq.html">FAQ page</ulink>
+ contains a more detailed introduction to the problem, along
+ with many useful tips for the new user.
+</para>
+
+</refsect1>
+
+<refsect1 id='files'><title>File Formats</title>
+<para>
+ File formats were developed jointly with Komei Fukuda and are
+ compatible with <ulink url="http://www.cs.mcgill.ca/%7Efukuda/soft/cdd_home/cdd.html">cdd</ulink>.
+</para>
+<para>
+ The input for <emphasis>lrs</emphasis> is a H- or V- representation
+ of a polytope.
+</para>
+
+<refsect2>
+ <title>H-representation</title>
+<programlisting>
+name
+H-representation
+{options}
+{<ulink url="#Linearities">linearities</ulink>}
+begin
+ m n rational
+{list of inequalities }
+end
+{options}
+</programlisting>
+
+ <para>
+ <emphasis>name</emphasis> is a user supplied name for the
+ polytope. If the line H-representation is omitted,
+ H-representation is assumed. The input coefficients are read
+ in free format, and are not checked for type. Coefficients are
+ separated by white space. Normally this file would be saved with
+ filename suffix. <emphasis>ine</emphasis> but this not
+ required. Comments may appear before the begin or after the
+ end, and to avoid interpretation as an option, should begin with a
+ special character such as "*" or "#".
+ The integer m is the number of
+ inequalities, and the integer n is the dimension of the input
+ +1. A list of inequalities contains
+ the coefficients of inequalities of the form
+ </para>
+ <para>
+ a<subscript>0</subscript> +
+ a<subscript>1</subscript>x<subscript>1</subscript>+ ... +
+ a<subscript>n-1</subscript> x<subscript>n-1</subscript> >=
+ 0.
+ </para>
+ <para>
+ This inequality is input as the line
+ </para>
+ <para>
+ a<subscript>0</subscript> a<subscript>1</subscript>...
+ a<subscript>n-1</subscript>
+ </para>
+ <para>
+ The coefficients can be entered as integers or rationals in the
+ format x/y.
+ </para>
+ </refsect2>
+ <refsect2>
+ <title>V-representation</title>
+
+<programlisting>
+name
+V-representation
+{options}
+{<ulink url="#Linearities">linearities</ulink>}
+begin
+ m n rational
+{list of vertices and extreme rays }
+end
+{options}
+</programlisting>
+<para>
+ <emphasis>name</emphasis>is a user supplied name for the polytope. The line V-representation is
+ required. The input coefficients are read in free format, and
+ are not checked for type. Coefficients are separated by white
+ space. Comments may appear before the begin or after the end, and
+ to avoid interpretation as an option, should begin with a special
+ character such as "*" or "#". Normally this file
+ would be stored with filename suffix <emphasis>ext</emphasis>, but
+ this is not required.
+</para>
+ <para>
+ The integer m is the number of vertices and rays, and
+ the integer n is the dimension of the input +1.
+ Each vertex is given in the form
+ </para>
+ <para>
+ 1 v<subscript>0 </subscript> v
+ <subscript>1</subscript>... v<subscript>n-1</subscript>
+
+ </para>
+ <para>
+ Each ray is given in the form
+ </para>
+ <para>
+ 0 r<subscript>0 </subscript> r
+ <subscript>1</subscript>... r<subscript>n-1</subscript>
+ </para>
+ <para>
+ where r<subscript>0 </subscript> r
+ <subscript>1</subscript>...
+ r<subscript>n-1</subscript>is a point on the ray.
+ </para>
+ <para>
+ There must be at least one vertex in each file. For bounded
+ polyhedra there will be no rays entered.
+ The coefficients can be entered as
+ integers or rationals in the format x/y.
+ </para>
+ <para>
+ <emphasis role="strong">Note for cdd users</emphasis>:
+ <emphasis>lrs</emphasis> uses essentially the same file format as
+ <emphasis>cdd</emphasis>. Files prepared for
+ <emphasis>cdd</emphasis> should work with little or no
+ modification. Note that the V-representation corresponds to
+ the "hull" option in <emphasis>cdd</emphasis>. Options
+ specific to <emphasis>cdd</emphasis> can be left in the input files
+ and will be ignored by <emphasis>lrs</emphasis>. Note the
+ input files for <emphasis>lrs</emphasis> are read in free format,
+ after the line
+ <emphasis role="strong">m n rational</emphasis><emphasis>lrs</emphasis>
+ will look for exactly m*n rationals or integers separated by white
+ space (blank, carriage return, tab etc.).
+ <emphasis>lrs</emphasis> will not "drop" extra columns of
+ input if n is less than the number of columns supplied.
+ </para>
+ </refsect2>
+</refsect1>
+
+
+</refentry>
+
--
Debian packaging for the lrslib vertex enumeration package
More information about the debian-science-commits
mailing list