Palp - Recent changes [en]

PALP online documentation

2012-05-16T20:01:57Z

← Older revision		Revision as of 20:01, 16 May 2012
(One intermediate revision not shown)
Line 4:		Line 4:

	* [[General aspects of using PALP]]: probably of interest for anyone using PALP,		* [[General aspects of using PALP]]: probably of interest for anyone using PALP,
-	* [[Documentation on class.x]], [[Documentation on cws.x]]: ~~routines~~ related to the classification of reflexive polytopes,	+	* [[Documentation on class.x]], [[Documentation on cws.x]]: related to the classification of reflexive polytopes,
-	* [[Documentation on mori.x]]: ~~PALP's application for dealing with~~ Mori cones and intersection theory,	+	* [[Documentation on mori.x]]: Mori cones and intersection theory,
	* [[Documentation on nef.x]]: nef partitions, reflexive Gorenstein cones and their stringy Hodge numbers,		* [[Documentation on nef.x]]: nef partitions, reflexive Gorenstein cones and their stringy Hodge numbers,
	* [[Documentation on poly.x]]: many other applications such as general purpose routines for analyzing polytopes, as well as several specialized features in toric geometry,		* [[Documentation on poly.x]]: many other applications such as general purpose routines for analyzing polytopes, as well as several specialized features in toric geometry,
	* [[Documentation for programmers]]: information for people who are willing to edit the program files, as well as a platform for discussing bugs,		* [[Documentation for programmers]]: information for people who are willing to edit the program files, as well as a platform for discussing bugs,
	* [[PALP_online_documentation-2.0 \| PALP online documentation for version 2.0 ]]: an outdated version of the present pages.		* [[PALP_online_documentation-2.0 \| PALP online documentation for version 2.0 ]]: an outdated version of the present pages.

Documentation on poly.x

2012-05-16T18:58:15Z

Help Screen:

← Older revision		Revision as of 18:58, 16 May 2012
Line 69:		Line 69:
	Here is a rough guide in terms of specific topics:		Here is a rough guide in terms of specific topics:

-	* General polytope analysis without reference to toric geometry or	+	* General polytope analysis without reference to toric geometry or string theory: -g, -p, -v, -e, -m, -d, -a, -i, -s, -I, -T, -N, -t, -A, -B, -F, -G, -U, -U1, -E;
-	string theory:	+
-	-g, -p, -v, -e, -m, -d, -a, -i, -s, -I, -T, -N, -t, -A, -B, -F, -G, -U, -U1, -E;	+
	* Conifold singularities: -C1, -C2;		* Conifold singularities: -C1, -C2;
	* Fano varieties: -U1, -U5, -C2;		* Fano varieties: -U1, -U5, -C2;
Line 81:		Line 79:
	* Sublattices and quotient actions: -S, -Z, -G;		* Sublattices and quotient actions: -S, -Z, -G;
	* Symmetries of a polytope: -S, -t.		* Symmetries of a polytope: -S, -t.
-

	==Options of poly.x==		==Options of poly.x==

Documentation for programmers

2012-05-16T18:56:51Z

Advanced option tuning for mori.x:

← Older revision		Revision as of 18:56, 16 May 2012
Line 27:		Line 27:
	The C file 'SingularInput.c' is the interface to [http://www.singular.uni-kl.de/ SINGULAR].		The C file 'SingularInput.c' is the interface to [http://www.singular.uni-kl.de/ SINGULAR].
	The input for SINGULAR can be displayed in the standard output of 'mori.x'		The input for SINGULAR can be displayed in the standard output of 'mori.x'
-	by turning on the pre-compiler definition '~~TEST_PRINT_SINGULAR\_IO~~' in	+	by turning on the pre-compiler definition 'TEST_PRINT_SINGULAR_IO' in
	'SingularInput.c'.		'SingularInput.c'.
	Furthermore, the output format of options '-i' and '-t' can be partially modified		Furthermore, the output format of options '-i' and '-t' can be partially modified

General aspects of using PALP

2012-05-16T18:55:29Z

The parameter POLY_Dmax:

← Older revision		Revision as of 18:55, 16 May 2012
(One intermediate revision not shown)
Line 321:		Line 321:
	=== The parameter POLY_Dmax ===		=== The parameter POLY_Dmax ===

-	~~POLY\_Dmax~~ (line 22 of Global.h) is the most important parameter to set	+	POLY_Dmax (line 22 of Global.h) is the most important parameter to set
	before compilation;		before compilation;
	for most applications it is probably the only parameter one has to care about.		for most applications it is probably the only parameter one has to care about.
Line 327:		Line 327:
	dimension of any polytope that one wants to analyze, there are the following		dimension of any polytope that one wants to analyze, there are the following
	important exceptions:		important exceptions:
-	* nef.x normally requires POLY_Dmax <math>\ge\mathrm{dim}(N) + \mathrm{codim} - 1</math>, which is the dimension of the support polytope of the corresponding Gorenstein cone which \nef\ analyzes;	+	* nef.x normally requires POLY_Dmax <math>\ge\mathrm{dim}(N) + \mathrm{codim} - 1</math>, which is the dimension of the support polytope of the corresponding Gorenstein cone which ''nef.x'' analyzes;
	* nef.x -G requires POLY_Dmax <math>\ge</math> dim(input-polytope) +1 because the input-polytope is interpreted as the support of the cone and the full dimension of the cone is required for technical reasons;		* nef.x -G requires POLY_Dmax <math>\ge</math> dim(input-polytope) +1 because the input-polytope is interpreted as the support of the cone and the full dimension of the cone is required for technical reasons;
	* mori.x -MD requires POLY_Dmax <math>\ge n_p -\mathrm{dim}(N) - 1</math>, the dimension of the Mori cone; <math>n_p</math> is the total number of input points including the lattice origin, hence the subtraction of 1.		* mori.x -MD requires POLY_Dmax <math>\ge n_p -\mathrm{dim}(N) - 1</math>, the dimension of the Mori cone; <math>n_p</math> is the total number of input points including the lattice origin, hence the subtraction of 1.

PALP online documentation

2012-05-16T18:48:07Z

← Older revision		Revision as of 18:48, 16 May 2012
(One intermediate revision not shown)
Line 3:		Line 3:
	Everyone is invited to share her or his knowledge here.		Everyone is invited to share her or his knowledge here.

-	~~The~~ [[General aspects of using PALP ~~\| general aspects page~~]] is probably of interest for anyone using PALP.	+	* [[General aspects of using PALP]]: probably of interest for anyone using PALP,
-	~~The pages on~~ [[Documentation ~~for class.x \|~~ class.x]] ~~and~~ [[Documentation ~~for cws.x \|~~ cws.x]] ~~are concerned with the~~ routines related to the classification of reflexive polytopes.	+	* [[Documentation on class.x]], [[Documentation on cws.x]]: routines related to the classification of reflexive polytopes,
-	PALP's application for dealing with Mori cones and intersection theory is [[Documentation ~~for mori.x \| mori~~.x]], ~~whereas~~ [[Documentation ~~for nef.x \| nef~~.x]] ~~is the program for computing nef~~	+	* [[Documentation on mori.x]]: PALP's application for dealing with Mori cones and intersection theory,
-	~~partitions and for working with reflexive Gorenstein cones.~~	+	* [[Documentation on nef.x]]: nef partitions, reflexive Gorenstein cones and their stringy Hodge numbers,
-	~~Many~~ other applications such as general purpose routines for ~~analysing~~ polytopes as well as	+	* [[Documentation on poly.x]]: many other applications such as general purpose routines for analyzing polytopes, as well as several specialized features in toric geometry,
-	several specialized ~~options belong to [[Documentation for poly.x \| poly.x]].~~	+	* [[Documentation for programmers]]: information for people who are willing to edit the program files, as well as a platform for discussing bugs,
-	~~While the above mentioned pages are directed at users~~, ~~there is also~~	+	* [[PALP_online_documentation-2.0 \| PALP online documentation for version 2.0 ]]: an outdated version of the present pages.
-	[[Documentation for programmers]] ~~which contains~~ information for people who are willing to edit the program files, ~~and may also serve~~ as a platform for discussing bugs.	+
-		+
-		+
-	~~==Documentation pages==~~	+
-		+
-	* [[General aspects of using PALP]]	+
-	* [[Documentation on class.x]]	+
-	* [[Documentation on cws.x]]	+
-	* [[Documentation on mori.x]]	+
-	* [[Documentation on nef.x]]	+
-	* [[Documentation on poly.x]]	+
-	* [[Documentation for programmers]]	+
-	* [[PALP_online_documentation-2.0 \| PALP online documentation for version 2.0 ]](outdated)	+

Documentation for programmers

2012-05-16T18:37:07Z

Advanced option tuning for mori.x:

PALP online documentation

2012-05-16T18:34:24Z

Documentation pages:

← Older revision		Revision as of 18:34, 16 May 2012
Line 16:		Line 16:

	* [[General aspects of using PALP]]		* [[General aspects of using PALP]]
-	* [[Documentation ~~for~~ class.x]]	+	* [[Documentation on class.x]]
-	* [[Documentation ~~for~~ cws.x]]	+	* [[Documentation on cws.x]]
-	* [[Documentation ~~for~~ mori.x]]	+	* [[Documentation on mori.x]]
-	* [[Documentation ~~for~~ nef.x]]	+	* [[Documentation on nef.x]]
-	* [[Documentation ~~for~~ poly.x]]	+	* [[Documentation on poly.x]]
	* [[Documentation for programmers]]		* [[Documentation for programmers]]
	* [[PALP_online_documentation-2.0 \| PALP online documentation for version 2.0 ]](outdated)		* [[PALP_online_documentation-2.0 \| PALP online documentation for version 2.0 ]](outdated)

Documentation for poly.x

2012-05-16T18:33:48Z

moved [[Documentation for poly.x]] to [[Documentation on poly.x]] grammar

New page

Documentation for nef.x

2012-05-16T18:33:31Z

moved [[Documentation for nef.x]] to [[Documentation on nef.x]] grammar

New page

Documentation for mori.x

2012-05-16T18:33:14Z

moved [[Documentation for mori.x]] to [[Documentation on mori.x]] grammar

New page

Documentation for cws.x

2012-05-16T18:32:55Z

moved [[Documentation for cws.x]] to [[Documentation on cws.x]] grammar

New page

Documentation for class.x

2012-05-16T18:32:26Z

moved [[Documentation for class.x]] to [[Documentation on class.x]] Grammar

New page

Maximilian Kreuzer Memorial Volume

2012-05-16T08:06:43Z

List of Confirmed Contributors:

← Older revision		Revision as of 08:06, 16 May 2012
Line 47:		Line 47:
	* Philipp Candelas		* Philipp Candelas
	* Ron Donagi.		* Ron Donagi.
-	* Norbert Dragon.	+	* Norbert Dragon with F. Brandt. http://arxiv.org/abs/1205.3293
	* Michael Douglas. http://arxiv.org/abs/1204.6626		* Michael Douglas. http://arxiv.org/abs/1204.6626
	* Jürgen Fuchs with C. Schweigert & C. Stigner. http://arxiv.org/abs/arXiv:1201.4267		* Jürgen Fuchs with C. Schweigert & C. Stigner. http://arxiv.org/abs/arXiv:1201.4267

Documentation for poly.x

2012-05-15T20:51:55Z

-B:

← Older revision		Revision as of 20:51, 15 May 2012
Line 509:		Line 509:
	level <math>n</math> are computed and displayed together with information on the type		level <math>n</math> are computed and displayed together with information on the type
	of face of the cone they represent (w.r.t. codimension, i.e. the origin has maximal codimension and points interior to the cone have ''cd=0'').		of face of the cone they represent (w.r.t. codimension, i.e. the origin has maximal codimension and points interior to the cone have ''cd=0'').
-		+	As example, we consider the Gorenstein cone with support
		+	polytope given by the dual of the Newton polytope of the quintic hypersurface in <math>\mathbb{CP}^4</math>
	<pre>		<pre>
-	palp~~<math>~~ poly.x -B2	+	palp$ poly.x -B2
	Degrees and weights `d1 w11 w12 ... d2 w21 w22 ...'		Degrees and weights `d1 w11 w12 ... d2 w21 w22 ...'
	or `#lines #columns' (= `PolyDim #Points' or `#Points PolyDim'):		or `#lines #columns' (= `PolyDim #Points' or `#Points PolyDim'):
-	~~3 2~~	+	5 6
-	Type the 6 coordinates as ~~#pts~~=3 lines with ~~dim~~=2 columns:	+	Type the 30 coordinates as dim=5 lines with #pts=6 columns:
-	0 0	+	1 1 1 1 1 0
-	0 1	+	1 0 0 0 -1 0
-	1 0	+	0 1 0 0 -1 0
-	vol=1, baricent=(1,1)/3	+	0 0 1 0 -1 0
		+	0 0 0 1 -1 0
		+	vol=5, baricent=(5,0,0,0,0)/6
	IPs:		IPs:
-	0 0 cd=2	+	2 -2 -2 -2 -2 cd=4
-	0 1 cd=1	+	2 -1 -1 -1 0 cd=3
-	0 2 cd=1	+	2 0 0 0 2 cd=4
-	1 0 cd=1	+	2 -1 0 -1 -1 cd=3
-	1 1 cd=0	+	2 0 1 0 1 cd=3
-	2 0 cd=1	+	2 0 2 0 0 cd=4
		+	2 -1 -1 0 -1 cd=3
		+	2 0 0 1 1 cd=3
		+	2 0 1 1 0 cd=3
		+	2 0 0 2 0 cd=4
		+	2 -1 -1 -1 -1 cd=0
		+	2 0 0 0 1 cd=0
		+	2 0 1 0 0 cd=0
		+	2 0 0 1 0 cd=0
		+	2 0 0 0 0 cd=0
		+	2 0 -1 -1 -1 cd=3
		+	2 1 0 0 1 cd=3
		+	2 1 1 0 0 cd=3
		+	2 1 0 1 0 cd=3
		+	2 1 0 0 0 cd=0
		+	2 2 0 0 0 cd=4
		+	1 -1 -1 -1 -1 cd=4
		+	1 0 0 0 1 cd=4
		+	1 0 1 0 0 cd=4
		+	1 0 0 1 0 cd=4
		+	1 0 0 0 0 cd=0
		+	1 1 0 0 0 cd=4
		+	0 0 0 0 0 cd=5
	</pre>		</pre>

Documentation for cws.x

2012-05-15T20:48:48Z

-N:

← Older revision		Revision as of 20:48, 15 May 2012
Line 119:		Line 119:
	It would be greatly appreciated if any insights gained in this way were		It would be greatly appreciated if any insights gained in this way were
	communicated at this place.		communicated at this place.
		+
		+	===-N===
		+
		+	Given a polytope as matrix input, this option reconstructs the CWS of a polytope isomorphic to the given one. The option only accepts matrix input, otherwise it returns the message 'Only PPL-input in Npoly2cws!'. It is useful to verify whether a polytope is
		+	actually defined on a sublattice of finite index. As a simple example
		+	consider the polytope consisting of only the vertices of the Newton
		+	polytope of the quintic hypersurface in <math>\mathbb{CP}^4</math>
		+	<pre>
		+	palp$ cws.x -N
		+	Degrees and weights `d1 w11 w12 ... d2 w21 w22 ...'
		+	or `#lines #columns' (= `PolyDim #Points' or `#Points PolyDim'):
		+	4 5
		+	Type the 20 coordinates as dim=4 lines with #pts=5 columns:
		+	-1 -1 -1 -1 4
		+	-1 -1 -1 4 -1
		+	-1 -1 4 -1 -1
		+	-1 4 -1 -1 -1
		+	5 1 1 1 1 1 /Z5: 4 1 0 0 0 /Z5: 4 0 1 0 0 /Z5: 4 0 0 1 0
		+	</pre>
		+	This option is in some sense inverse to 'poly.x' without any options, see [[Documentation for poly.x]], and hence should viewed as part of 'poly.x' which
		+	for historical reasons ended up in 'cws.x'.

General aspects of using PALP

2012-05-15T20:42:48Z

Polytope Input:

← Older revision		Revision as of 20:42, 15 May 2012
Line 114:		Line 114:
	1 -1 1 -1		1 -1 1 -1
	</pre>		</pre>
		+	For a reconstruction of the CWS given a polytope as matrix input see the option [[Documentation_for_cws.x#-N \| cws.x -N]].
		+
	If PALP is used interactively, it can be terminated by entering an		If PALP is used interactively, it can be terminated by entering an
	empty line instead of the data of a polytope. In the case of file input the		empty line instead of the data of a polytope. In the case of file input the

Documentation for mori.x

2012-05-15T20:40:05Z

← Older revision		Revision as of 20:40, 15 May 2012
Line 1:		Line 1:
-
	The main purpose of ''mori.x'' is		The main purpose of ''mori.x'' is
	the computation of the Mori cone of toric varieties given by star		the computation of the Mori cone of toric varieties given by star
Line 211:		Line 210:
	e.g.~our [[Documentation_for_mori.x#Options_of_mori.x \| standard example]] can be entered as		e.g.~our [[Documentation_for_mori.x#Options_of_mori.x \| standard example]] can be entered as
	<pre>		<pre>
-	palp$ echo -e '8 4 1 1 1 1 0 6 3 1 0 1 0 1' \| mori.x -fP	+	palp$ echo '8 4 1 1 1 1 0 6 3 1 0 1 0 1' \| mori.x -fP
	4 8 points of P* and IP-simplices		4 8 points of P* and IP-simplices
	...		...
Line 228:		Line 227:

	<pre>		<pre>
-	palp$ echo -e '8 4 1 1 1 1 0 6 3 1 0 1 0 1' \| mori.x -fg	+	palp$ echo '8 4 1 1 1 1 0 6 3 1 0 1 0 1' \| mori.x -fg
	8 Triangulation		8 Triangulation
	110101 111100 101011 101110 100111 111001 001111 011101		110101 111100 101011 101110 100111 111001 001111 011101
Line 258:		Line 257:
	displayed. Interior points of the facets are neglected.		displayed. Interior points of the facets are neglected.
	<pre>		<pre>
-	palp$ echo -e '8 4 1 1 1 1 0 6 3 1 0 1 0 1' \| mori.x -fI	+	palp$ echo '8 4 1 1 1 1 0 6 3 1 0 1 0 1' \| mori.x -fI
	Incidence: 110101 111100 011111 101011 101110 100111 111001		Incidence: 110101 111100 011111 101011 101110 100111 111001
	</pre>		</pre>
Line 282:		Line 281:
	For the standard example this takes the following form.		For the standard example this takes the following form.
	<pre>		<pre>
-	palp$ echo -e '8 4 1 1 1 1 0 6 3 1 0 1 0 1' \| mori.x -fm	+	palp$ echo '8 4 1 1 1 1 0 6 3 1 0 1 0 1' \| mori.x -fm
	2 MORI GENERATORS / dim(cone)=2		2 MORI GENERATORS / dim(cone)=2
	3 0 1 1 0 1 I:10		3 0 1 1 0 1 I:10
Line 382:		Line 381:
	[[Documentation_for_mori.x#-M_2 \| -M]], the combination '-MK' is not allowed.		[[Documentation_for_mori.x#-M_2 \| -M]], the combination '-MK' is not allowed.
	<pre>		<pre>
-	palp$ echo -e '8 4 1 1 1 1 0 6 3 1 0 1 0 1' \| mori.x -fK	+	palp$ echo '8 4 1 1 1 1 0 6 3 1 0 1 0 1' \| mori.x -fK
	KreuzerPoly=t_4/(t_1t_3)+t_3+t_4+t_2+t_1+t_1^3t_3^3/(t_2t_4^4);		KreuzerPoly=t_4/(t_1t_3)+t_3+t_4+t_2+t_1+t_1^3t_3^3/(t_2t_4^4);
	intpts=1; Pic=2		intpts=1; Pic=2
Line 453:		Line 452:

	<pre>		<pre>
-	palp$ echo -e '8 4 1 1 1 1 0 6 3 1 0 1 0 1' \| mori.x -fi	+	palp$ echo '8 4 1 1 1 1 0 6 3 1 0 1 0 1' \| mori.x -fi
	SINGULAR -> divisor classes (integral basis J1 ... J2):		SINGULAR -> divisor classes (integral basis J1 ... J2):
	d1=J1+3*J2, d2=J1, d3=-J1+J2, d4=J2, d5=J1, d6=J2		d1=J1+3*J2, d2=J1, d3=-J1+J2, d4=J2, d5=J1, d6=J2

Documentation for nef.x

2012-05-15T20:37:59Z

-G:

← Older revision		Revision as of 20:37, 15 May 2012
Line 1,826:		Line 1,826:
	resulting from a partition <math>d=d_1+d_2</math> of the degree of a weight system.		resulting from a partition <math>d=d_1+d_2</math> of the degree of a weight system.
	More precisely, the input data is a single weight		More precisely, the input data is a single weight
-	system w and two positive integers <math>d_1, d_2</math> such that <math>\sum_iw_i=d_1+d_2</math>. The input format is ''# d= # #'', where the first is the usual	+	system w and two positive integers <math>d_1, d_2</math> such that <math>\sum_iw_i=d_1+d_2</math>. The input format is ''# d= # #'', where the first # is the usual CWS, while the # after d= refer to d1 and d2 , respectively.
-	CWS, while the after d= refer to d1 and d2 , respectively.	+


Line 2,248:		Line 2,247:
	The index r of the cone is 2 by default and can be set to different		The index r of the cone is 2 by default and can be set to different
	values with the [[Documentation_for_nef.x#-c.2A \| -c*]].		values with the [[Documentation_for_nef.x#-c.2A \| -c*]].
-	The standard output contains information on the support polytopes of the	+	The standard output contains information on the support polytopes of the cone and the dual cone and the string-theoretic Hodge numbers <math>h_{ij}</math>, <math>0\le i, j\le dim C- 2r</math>, see [http://arxiv.org/abs/alg-geom/9509009 alg-geom/9509009].
-	cone and the dual cone and the Hodge	+	If the input does not correspond to a reflexive Gorenstein cone of index r, no Hodge numbers and no N-lattice data can be computed;
-	numbers <math>h_{ij}</math>, <math>0\le i, j\le dim C- 2r</math>.	+
-	If the	+
-	input does not correspond to a reflexive Gorenstein cone of index r,	+
-	no Hodge numbers and no N-lattice data can be computed;	+
	as usual, the number of facets is displayed instead.		as usual, the number of facets is displayed instead.
	If the input corresponds to a reflexive Gorenstein cone of an index different from r, this is treated like a non-reflexive case but with a warning message.		If the input corresponds to a reflexive Gorenstein cone of an index different from r, this is treated like a non-reflexive case but with a warning message.

Documentation for programmers

2012-05-15T19:55:59Z

← Older revision		Revision as of 19:55, 15 May 2012
Line 18:		Line 18:
	In the present case I solved the problem by introducing a function 'SL2Z_Aux_Make_Poly_NF' (which, of course, calls 'SL2Z_Make_Poly_NF') and using it in the place of 'Aux_Make_Poly_NF'.		In the present case I solved the problem by introducing a function 'SL2Z_Aux_Make_Poly_NF' (which, of course, calls 'SL2Z_Make_Poly_NF') and using it in the place of 'Aux_Make_Poly_NF'.
	If similar troubles occur again, a good strategy would be to first turn on 'TEST_GLZ_VS_SL'.		If similar troubles occur again, a good strategy would be to first turn on 'TEST_GLZ_VS_SL'.
		+
		+	==Advanced option tuning for mori.x==
		+	The pre-compiler command 'TRACE\_TRIANGULATION' in
		+	the C file 'MoriCone.c' enables diagnostic information about the triangulation.
		+	This data might be of use for the motivated programmer who wants to extend
		+	the subdivision algorithm.
		+
		+	The C file 'SingularInput.c' is the interface to [http://www.singular.uni-kl.de/ SINGULAR].
		+	The input for SINGULAR can be displayed in the standard output of 'mori.x'
		+	by turning on the pre-compiler definition 'TEST\_PRINT\_SINGULAR\_IO' in
		+	'SingularInput.c'.
		+	Furthermore, the output format of options '-i' and '-t' can be partially modified
		+	according to the user's needs.
		+	The letters denoting the toric divisor classes (set to `d' by default in option '-t')
		+	as well as that denoting the basis of divisor classes (set to `J' by default in option '-i')
		+	can be substituted by changing the pre-compiler commands 'T\_DIV' and 'DIVclassBase'.
		+	The pre-compiler command 'DijkEQ' controls the symbol `->' in option '-t'.

PALP online documentation

2012-05-15T15:41:25Z

← Older revision		Revision as of 15:41, 15 May 2012
(9 intermediate revisions not shown)
Line 1:		Line 1:
-	Among the reactions to the creation of the ~~present~~ Wiki there was the wish for a better documentation of the existing PALP package.	+	Among the reactions to the creation of the PALP/PALP++ Wiki there was the wish for a better documentation of the existing PALP package.
-		+	This is the aim of the present pages.
-	In the ~~following an outline~~ of ~~existing documentation and a discussion of what may be aimed for is provided. Finally links to~~ pages ~~corresponding to the various applications are listed~~. Everyone is invited to share her or his knowledge ~~there~~.	+	Everyone is invited to share her or his knowledge here.
-		+
-		+
-	PALP's executables are ''class.x'', ''cws.x'', ''mori.x'', ''nef.x'' and ''poly.x''. Each of them can be called with '-h' to display help pages listing further options. In these help screens every application has a description of just a few words. It would be good to have at least several sentences for every option. For the options listed via 'poly.x -h' such descriptions are given in the [http://arxiv.org/abs/math/0204356 original paper] (pp. 5-7), and for 'class.x -h' they can be obtained within the help function by typing the corresponding letter. It is among the aims of the pages listed below to provide similar descriptions in other cases.	+
-		+

		+	The [[General aspects of using PALP \| general aspects page]] is probably of interest for anyone using PALP.
		+	The pages on [[Documentation for class.x \| class.x]] and [[Documentation for cws.x \| cws.x]] are concerned with the routines related to the classification of reflexive polytopes.
		+	PALP's application for dealing with Mori cones and intersection theory is [[Documentation for mori.x \| mori.x]], whereas [[Documentation for nef.x \| nef.x]] is the program for computing nef
		+	partitions and for working with reflexive Gorenstein cones.
		+	Many other applications such as general purpose routines for analysing polytopes as well as
		+	several specialized options belong to [[Documentation for poly.x \| poly.x]].
		+	While the above mentioned pages are directed at users, there is also
		+	[[Documentation for programmers]] which contains information for people who are willing to edit the program files, and may also serve as a platform for discussing bugs.


Line 14:		Line 18:
	* [[Documentation for class.x]]		* [[Documentation for class.x]]
	* [[Documentation for cws.x]]		* [[Documentation for cws.x]]
		+	* [[Documentation for mori.x]]
	* [[Documentation for nef.x]]		* [[Documentation for nef.x]]
	* [[Documentation for poly.x]]		* [[Documentation for poly.x]]
	* [[Documentation for programmers]]		* [[Documentation for programmers]]
	* [[PALP_online_documentation-2.0 \| PALP online documentation for version 2.0 ]](outdated)		* [[PALP_online_documentation-2.0 \| PALP online documentation for version 2.0 ]](outdated)

Documentation for class.x

2012-05-15T15:00:11Z

← Older revision		Revision as of 15:00, 15 May 2012
Line 19:		Line 19:

	It is very important to use ''class.x'' with the appropriate parameter-setting		It is very important to use ''class.x'' with the appropriate parameter-setting
-	of ''~~POLY\_Dmax~~ = 4''.	+	of ''POLY_Dmax = 4''.
	To get a good feeling for how ''class.x'' functions, we recommend to use it		To get a good feeling for how ''class.x'' functions, we recommend to use it
	for rederiving the classification of reflexive 3-polytopes following		for rederiving the classification of reflexive 3-polytopes following

Documentation for programmers

2012-05-15T14:51:37Z

← Older revision		Revision as of 14:51, 15 May 2012
(One intermediate revision not shown)
Line 1:		Line 1:
-	~~Currently the~~ only reasonably well documented file in the package is the global header file ''Global.h'' which lists global type definitions and routines, including all the routines called by the original version of ''poly.x''. The ideal of documenting everything (including the code) seems utterly unattainable and even the more modest goal of supplying good descriptions of all the structures and routines occurring in all header files is probably beyond what can be achieved. ~~Perhaps it will be possible to provide clear documentation at least for the routines called by the new (~~'-x'~~) options of~~ ''~~poly~~.x'' ~~and for~~ the ~~essential routines~~ of the ~~'nef'-part~~ of the ~~package as listed~~ in ''~~Nef~~.h''~~. As the most important header files correspond to applications~~ (''~~Subpoly.h~~'' to ''~~class~~.x'', ''~~Nef.h~~'' to ''~~nef.x~~'' and ''~~Global.h'' to~~ ''poly.x'') ~~we will include their discussion in the respective documentation pages. Two minor files~~ ''LG.h'' and ''~~Rat~~.~~h''~~ are ~~described briefly at~~ the ~~end~~ of the ~~last section~~ of ~~[http://arxiv~~.~~org/abs/math/0204356 the paper]~~.	+	The only reasonably well documented file in the package is the global header file ''Global.h'' which lists global type definitions and routines, including all the routines called by the original version of ''poly.x''. The ideal of documenting everything (including the code) seems utterly unattainable and even the more modest goal of supplying good descriptions of all the structures and routines occurring in all header files is probably beyond what can be achieved. Two minor files ''LG.h'' and ''Rat.h'' are described briefly at the end of the last section of [http://arxiv.org/abs/math/0204356 the paper].
		+
		+	==Bugs/Problems==
		+	One of the core routines in ''Polynf.c'' is 'Aux_Make_Poly_NF', which (apparently) converts a matrix into upper triangular form; 'Aux_Make_Poly_NF' is the routine called by 'Make_Poly_UTriang' which is listed in ''Global.h''.
		+	It seems that Max wrote two distinct routines
		+	<pre>
		+	int GLZ_Make_Trian_NF(Long X[][VERT_Nmax], int n, int nv,
		+	GL_Long G[POLY_Dmax][POLY_Dmax]); /* current=best */
		+
		+	int SL2Z_Make_Poly_NF(Long X[][VERT_Nmax], int n, int nv,
		+	SL_Long S[POLY_Dmax][POLY_Dmax]); /* previous=bad */
		+	</pre>
		+	with that functionality; 'Aux_Make_Poly_NF' in the present version just calls 'GLZ_Make_Trian_NF' and compares it to the older 'SL2Z_Make_Poly_NF' if a corresponding precompiler option 'TEST_GLZ_VS_SL' is set (which it is not, by default).
		+	While trying to separate computation and output for the '-T' option of ''poly.x'', I (HS) encountered serious problems that I could eventually trace to 'Aux_Make_Poly_NF' by turning on the comparison.
		+	In this case it appears that the older 'SL2Z_Make_Poly_NF' gives the correct result and the newer 'GLZ_Make_Trian_NF' is wrong.
		+	The problems occurred for cases where the matrix was square rather than rectangular with more columns than lines;
		+	it is to be hoped that otherwise computations are correct.
		+	In the present case I solved the problem by introducing a function 'SL2Z_Aux_Make_Poly_NF' (which, of course, calls 'SL2Z_Make_Poly_NF') and using it in the place of 'Aux_Make_Poly_NF'.
		+	If similar troubles occur again, a good strategy would be to first turn on 'TEST_GLZ_VS_SL'.

PALP online documentation

2012-05-15T14:45:36Z

← Older revision		Revision as of 14:45, 15 May 2012
Line 1:		Line 1:
		+	Among the reactions to the creation of the present Wiki there was the wish for a better documentation of the existing PALP package.
		+
	In the following an outline of existing documentation and a discussion of what may be aimed for is provided. Finally links to pages corresponding to the various applications are listed. Everyone is invited to share her or his knowledge there.		In the following an outline of existing documentation and a discussion of what may be aimed for is provided. Finally links to pages corresponding to the various applications are listed. Everyone is invited to share her or his knowledge there.

Documentation for programmers

2012-05-15T14:32:40Z

← Older revision		Revision as of 14:32, 15 May 2012
Line 1:		Line 1:
-	Currently the only reasonably well documented file in the package is the global header file Global.h which lists global type definitions and routines, including all the routines called by the original version of poly.x. The ideal of documenting everything (including the code) seems utterly unattainable and even the more modest goal of supplying good descriptions of all the structures and routines occurring in all header files is probably beyond what can be achieved. Perhaps it will be possible to provide clear documentation at least for the routines called by the new ('-x') options of poly.x and for the essential routines of the 'nef'-part of the package as listed in Nef.h. As the most important header files correspond to applications (Subpoly.h to class.x, Nef.h to nef.x and Global.h to poly.x) we will include their discussion in the respective documentation pages. Two minor files LG.h and Rat.h are described briefly at the end of the last section of the paper.	+	Currently the only reasonably well documented file in the package is the global header file ''Global.h'' which lists global type definitions and routines, including all the routines called by the original version of ''poly.x''. The ideal of documenting everything (including the code) seems utterly unattainable and even the more modest goal of supplying good descriptions of all the structures and routines occurring in all header files is probably beyond what can be achieved. Perhaps it will be possible to provide clear documentation at least for the routines called by the new ('-x') options of ''poly.x'' and for the essential routines of the 'nef'-part of the package as listed in ''Nef.h''. As the most important header files correspond to applications (''Subpoly.h'' to ''class.x'', ''Nef.h'' to ''nef.x'' and ''Global.h'' to ''poly.x'') we will include their discussion in the respective documentation pages. Two minor files ''LG.h'' and ''Rat.h'' are described briefly at the end of the last section of [http://arxiv.org/abs/math/0204356 the paper].

PALP online documentation

2012-05-15T14:32:32Z

← Older revision		Revision as of 14:32, 15 May 2012
Line 5:		Line 5:


-	Currently the only reasonably well documented file in the package is the global header file ''Global.h'' which lists global type definitions and routines, including all the routines called by the original version of ''poly.x''. The ideal of documenting everything (including the code) seems utterly unattainable and even the more modest goal of supplying good descriptions of all the structures and routines occurring in all header files is probably beyond what can be achieved. Perhaps it will be possible to provide clear documentation at least for the routines called by the new ('-x') options of ''poly.x'' and for the essential routines of the 'nef'-part of the package as listed in ''Nef.h''. As the most important header files correspond to applications (''Subpoly.h'' to ''class.x'', ''Nef.h'' to ''nef.x'' and ''Global.h'' to ''poly.x'') we will include their discussion in the respective documentation pages. Two minor files ''LG.h'' and ''Rat.h'' are described briefly at the end of the last section of [http://arxiv.org/abs/math/0204356 the paper].	+

	==Documentation pages==		==Documentation pages==

Documentation for programmers

2012-05-15T14:31:48Z

Created page with "Currently the only reasonably well documented file in the package is the global header file Global.h which lists global type definitions and routines, including all the routines …"

New page

Currently the only reasonably well documented file in the package is the global header file Global.h which lists global type definitions and routines, including all the routines called by the original version of poly.x. The ideal of documenting everything (including the code) seems utterly unattainable and even the more modest goal of supplying good descriptions of all the structures and routines occurring in all header files is probably beyond what can be achieved. Perhaps it will be possible to provide clear documentation at least for the routines called by the new ('-x') options of poly.x and for the essential routines of the 'nef'-part of the package as listed in Nef.h. As the most important header files correspond to applications (Subpoly.h to class.x, Nef.h to nef.x and Global.h to poly.x) we will include their discussion in the respective documentation pages. Two minor files LG.h and Rat.h are described briefly at the end of the last section of the paper.

PALP online documentation

2012-05-15T14:30:58Z

← Older revision		Revision as of 14:30, 15 May 2012
(3 intermediate revisions not shown)
Line 1:		Line 1:
	In the following an outline of existing documentation and a discussion of what may be aimed for is provided. Finally links to pages corresponding to the various applications are listed. Everyone is invited to share her or his knowledge there.		In the following an outline of existing documentation and a discussion of what may be aimed for is provided. Finally links to pages corresponding to the various applications are listed. Everyone is invited to share her or his knowledge there.

-	~~==Documentation for users==~~

-	PALP's executables are ''class.x'', ''cws.x'', ''mori.x'', ''nef.x'' and ''poly.x''. Each of them can be called with '-h' to display help pages listing further options. While '-h' calls the standard help screen, with '-x' (for 'eXperimental', 'eXtended' or perhaps 'eXtreme lack of documentation') one gets lists of further options for ''class.x'', ''cws.x'', ''nef.x'' and ''poly.x''. In these help screens every application has a description of just a few words. It would be good to have at least several sentences for every option. For the options listed via 'poly.x -h' such descriptions are given in the [http://arxiv.org/abs/math/0204356 original paper] (pp. 5-7), and for 'class.x -h' they can be obtained within the help function by typing the corresponding letter. It is among the aims of the pages listed below to provide similar descriptions in other cases.	+	PALP's executables are ''class.x'', ''cws.x'', ''mori.x'', ''nef.x'' and ''poly.x''. Each of them can be called with '-h' to display help pages listing further options. In these help screens every application has a description of just a few words. It would be good to have at least several sentences for every option. For the options listed via 'poly.x -h' such descriptions are given in the [http://arxiv.org/abs/math/0204356 original paper] (pp. 5-7), and for 'class.x -h' they can be obtained within the help function by typing the corresponding letter. It is among the aims of the pages listed below to provide similar descriptions in other cases.

-	~~==Documentation for programmers==~~

	Currently the only reasonably well documented file in the package is the global header file ''Global.h'' which lists global type definitions and routines, including all the routines called by the original version of ''poly.x''. The ideal of documenting everything (including the code) seems utterly unattainable and even the more modest goal of supplying good descriptions of all the structures and routines occurring in all header files is probably beyond what can be achieved. Perhaps it will be possible to provide clear documentation at least for the routines called by the new ('-x') options of ''poly.x'' and for the essential routines of the 'nef'-part of the package as listed in ''Nef.h''. As the most important header files correspond to applications (''Subpoly.h'' to ''class.x'', ''Nef.h'' to ''nef.x'' and ''Global.h'' to ''poly.x'') we will include their discussion in the respective documentation pages. Two minor files ''LG.h'' and ''Rat.h'' are described briefly at the end of the last section of [http://arxiv.org/abs/math/0204356 the paper].		Currently the only reasonably well documented file in the package is the global header file ''Global.h'' which lists global type definitions and routines, including all the routines called by the original version of ''poly.x''. The ideal of documenting everything (including the code) seems utterly unattainable and even the more modest goal of supplying good descriptions of all the structures and routines occurring in all header files is probably beyond what can be achieved. Perhaps it will be possible to provide clear documentation at least for the routines called by the new ('-x') options of ''poly.x'' and for the essential routines of the 'nef'-part of the package as listed in ''Nef.h''. As the most important header files correspond to applications (''Subpoly.h'' to ''class.x'', ''Nef.h'' to ''nef.x'' and ''Global.h'' to ''poly.x'') we will include their discussion in the respective documentation pages. Two minor files ''LG.h'' and ''Rat.h'' are described briefly at the end of the last section of [http://arxiv.org/abs/math/0204356 the paper].
Line 16:		Line 14:
	* [[Documentation for nef.x]]		* [[Documentation for nef.x]]
	* [[Documentation for poly.x]]		* [[Documentation for poly.x]]
-		+	* [[Documentation for programmers]]
-	~~==Version~~ 2.0==	+	* [[PALP_online_documentation-2.0 \| PALP online documentation for version 2.0 ]](outdated)
-		+
-	~~Oudated~~ documentation for version 2.0 ~~may be found [[PALP_online_documentation-2.0 \| here~~]]	+

Documentation for poly.x-NEU

2012-05-15T14:18:13Z

Blanked the page

Show changes

Documentation for cws.x-NEU

2012-05-15T14:17:39Z

Blanked the page

← Older revision		Revision as of 14:17, 15 May 2012
Line 1:		Line 1:
-	~~''cws.x'' is concerned mainly with the first steps of the algorithm~~
-	~~of [http://arxiv.org/abs/hep-th/9512204 hep-th/9512204], [http://arxiv.org/abs/alg-geom/9603007 alg-geom/9603007]~~
-	~~and [http://arxiv.org/abs/math/0001106 math/0001106] for the classification of~~
-	~~reflexive polytopes in a given dimension.~~
-	~~In particular it contains an implementation of the algorithm~~
-	~~[http://arxiv.org/abs/alg-geom/9603007 alg-geom/9603007] for the classification of weight systems, and routines for~~
-	~~combining these weight systems into CWS.~~

-	~~==Help Screen==~~
-	~~As always, rough information can be obtained with the help screen.~~
-	~~<pre>~~
-	~~palp$ cws.x -h~~
-	~~This is `cws.x': create weight systems and combined weight systems.~~
-	~~Usage: cws.x -<options>; the first option must be `w', `c', `i', `d' or `h'.~~
-	~~Options:~~
-	~~-h print this information~~
-	~~-f use as filter; otherwise parameters denote I/O files~~
-	~~-w# [L H] make IP weight systems for #-dimensional polytopes.~~
-	~~For #>4 the lowest and highest degrees L<=H are required.~~
-	~~-r/-t make reflexive/transversal weight systems (optional).~~
-	~~-c# make combined weight systems for #-dimensional polytopes.~~
-	~~For #<=4 all relevant combinations are made by default,~~
-	~~otherwise the following option is required:~~
-	~~-n[#] followed by the names wf_1 ... wf_# of weight files~~
-	~~currently #=2,3 are implemented.~~
-	~~[-t] followed by # numbers n_i specifies the CWS-type, i.e.~~
-	~~the numbers n_i of weights to be selected from wf_i.~~
-	~~Currently all cases with n_i<=2 are implemented.~~
-	~~-i compute the polytope data M:p v [F:f] N:p [v] for all IP~~
-	~~CWS, where p and v denote the numbers of lattice points~~
-	~~and vertices of a dual pair of IP polytopes; an entry~~
-	~~F:f and no v for N indicates a non-reflexive `dual pair'.~~
-	~~-d# compute basic IP weight systems for #-dimensional reflexive~~
-	~~Gorenstein cones;~~
-	~~-r# specifies the index as #/2.~~
-	~~-2 adjoin a weight of 1/2 to the input of the weight system.~~
-	~~</pre>~~
-	~~There is also a second help screen that can be called with the option `-x'~~
-	~~(see below).~~
-
-	~~==Options of ''cws.x''==~~
-	~~===-w[number]===~~
-	~~The behaviour of 'cws.x -w#' depends crucially on #.~~
-
-	~~If <math>\#\le 4</math> all weight systems corresponding to \#-dimensional IP-simplices~~
-	~~are determined by executing the algorithm of [http://arxiv.org/abs/alg-geom/9603007 alg-geom/9603007]:~~
-
-	~~<pre>~~
-	~~palp$ cws.x -w2~~
-	~~3 1 1 1 rt~~
-	~~4 1 1 2 rt~~
-	~~6 1 2 3 rt #=3 #cand=3~~
-	~~</pre>~~
-	~~The algorithm determines candidates for weight systems~~
-	~~and prints them if they lead to polytopes with the IP property (see section [[General_aspects_of_using_PALP#IP_property_and_IP_simplices \| IP Property and IP simplices]]);~~
-	~~this holds for all 3 candidates, as "#=3 cand=3" indicates.~~
-	~~If such a weight system gives rise to a reflexive polytope~~
-	~~(which is always the case in dimension <math>\le 4</math> [http://arxiv.org/abs/alg-geom/9603007 alg-geom/9603007])~~
-	~~this is indicated by an "r";~~
-	~~if the (possibly singular) weighted projective space corresponding to the~~
-	~~weight system obeys the `transversality condition' that the Calabi--Yau~~
-	~~hypersurface equation introduces no additional singularities, this is~~
-	~~indicated by a "t".~~
-
-	~~If <math>\# > 4</math>, one has to enter a lower and an upper bound for the degrees of~~
-	~~the weight systems. "cws.x -w#" then examines all possible such systems~~
-	~~and displays the ones that define polytopes with the IP property.~~
-
-	~~If an extra option of `-r' or `-t' is specified, the output contains only~~
-	~~the reflexive or transverse weight systems, respectively.~~
-	~~Just try "cws.x -w5 5 8", "cws.x -w5 5 8 -r" and~~
-	~~"cws.x -w5 5 8 -t" to see how this works.~~
-
-	~~===-c[number]===~~
-	~~Now the output contains combined weight systems (CWS).~~
-	~~Again all of them are created if the number after `-c' is <math>\le 4</math>~~
-	~~(try "cws.x -c3").~~
-	~~Otherwise weight systems that are read from files are combined.~~
-	~~We apologize for not being able to give information beyond the one given in~~
-	~~the help screen.~~
-
-	~~===-i===~~
-	~~In this case polytope input is required.~~
-	~~The output is like that of [[Documentation_for_poly.x#-g \| poly.x -g]], but suppressed for polytopes~~
-	~~without the IP property. This can be useful to filter a list of~~
-	~~CWS for the IP property.~~
-
-	~~===-d[number] [-r[number]]===~~
-	~~The so-called basic weight systems for reflexive Gorenstein cones of a given~~
-	~~dimension (the number after `-d') and a given index are computed;~~
-	~~if `-r' is used, the index is \emph{half} the number after `-r', otherwise~~
-	~~the index is 1 by default.~~
-	~~See [http://arxiv.org/abs/1204.1181 arXiv:1204.1181] and [http://hep.itp.tuwien.ac.at/~kreuzer/CY/ http://hep.itp.tuwien.ac.at/~kreuzer/CY/] for more details.~~
-
-	~~===-2===~~
-	~~"cws.x -2 < infile > outfile" writes the list of weight systems~~
-	~~in "infile" to "outfile",~~
-	~~but with a weight of <math>1/2</math> adjoined to each input weight system; this is useful~~
-	~~because the `-d'--option produces only weight systems without weights of <math>1/2</math>.~~
-
-
-	~~===-x===~~
-	~~A further help screen with additional options is displayed:~~
-
-	~~<pre>~~
-	~~palp$ cws.x -x~~
-	~~This is `cws.x': -x gives undocumented extensions:~~
-	~~-ip printf PolyPointList~~
-	~~-id printf dual PolyPointList~~
-	~~-N make CWS for PPL in N lattice~~
-	~~-p# [infile1] [infile2] makes cartesian product~~
-	~~of Vertices. # dimensions are identified.~~
-	~~-S count simplex points for weight system~~
-	~~-L count using LattE (-> count redcheck cdd)~~
-	~~</pre>~~
-	~~As `-x' refers to `experimental' and none of the authors is familiar with~~
-	~~them, we leave it to the reader to play with them and perhaps find useful~~
-	~~applications.~~
-	~~It would be greatly appreciated if any insights gained in this way were~~
-	~~communicated at this place.~~

← Older revision		Revision as of 18:37, 16 May 2012
(One intermediate revision not shown)
Line 20:		Line 20:

	==Advanced option tuning for mori.x==		==Advanced option tuning for mori.x==
-	The pre-compiler command '~~TRACE\_TRIANGULATION~~' in	+	The pre-compiler command 'TRACE_TRIANGULATION' in
	the C file 'MoriCone.c' enables diagnostic information about the triangulation.		the C file 'MoriCone.c' enables diagnostic information about the triangulation.
	This data might be of use for the motivated programmer who wants to extend		This data might be of use for the motivated programmer who wants to extend
Line 27:		Line 27:
	The C file 'SingularInput.c' is the interface to [http://www.singular.uni-kl.de/ SINGULAR].		The C file 'SingularInput.c' is the interface to [http://www.singular.uni-kl.de/ SINGULAR].
	The input for SINGULAR can be displayed in the standard output of 'mori.x'		The input for SINGULAR can be displayed in the standard output of 'mori.x'
-	by turning on the pre-compiler definition '~~TEST\_PRINT\_SINGULAR~~\_IO' in	+	by turning on the pre-compiler definition 'TEST_PRINT_SINGULAR\_IO' in
	'SingularInput.c'.		'SingularInput.c'.
	Furthermore, the output format of options '-i' and '-t' can be partially modified		Furthermore, the output format of options '-i' and '-t' can be partially modified
Line 33:		Line 33:
	The letters denoting the toric divisor classes (set to `d' by default in option '-t')		The letters denoting the toric divisor classes (set to `d' by default in option '-t')
	as well as that denoting the basis of divisor classes (set to `J' by default in option '-i')		as well as that denoting the basis of divisor classes (set to `J' by default in option '-i')
-	can be substituted by changing the pre-compiler commands '~~T\_DIV~~' and 'DIVclassBase'.	+	can be substituted by changing the pre-compiler commands 'T_DIV' and 'DIVclassBase'.
	The pre-compiler command 'DijkEQ' controls the symbol `->' in option '-t'.		The pre-compiler command 'DijkEQ' controls the symbol `->' in option '-t'.