1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
|
# Copyright (c) 1997-2018
# Ewgenij Gawrilow, Michael Joswig (Technische Universitaet Berlin, Germany)
# http://www.polymake.org
#
# This program is free software; you can redistribute it and/or modify it
# under the terms of the GNU General Public License as published by the
# Free Software Foundation; either version 2, or (at your option) any
# later version: http://www.gnu.org/licenses/gpl.txt.
#
# This program is distributed in the hope that it will be useful,
# but WITHOUT ANY WARRANTY; without even the implied warranty of
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
# GNU General Public License for more details.
#-------------------------------------------------------------------------------
# @Category Combinatorics
object Polytope {
#rule PSEUDOVERTEX_LABELS : PSEUDOVERTEX_COVECTORS {
# $this->PSEUDOVERTEX_LABELS(temporary)=[ map { join("", @$_) } @{$this->PSEUDOVERTEX_COVECTORS} ];
#}
rule PROJECTIVE_AMBIENT_DIM : POINTS {
$this->PROJECTIVE_AMBIENT_DIM=$this->POINTS->cols-1;
}
weight 0.1;
rule PROJECTIVE_AMBIENT_DIM : PSEUDOVERTICES {
$this->PROJECTIVE_AMBIENT_DIM=$this->PSEUDOVERTICES->cols-2;
}
weight 0.1;
rule VERTICES, VERTICES_IN_POINTS : POINTS {
discard_non_vertices($this);
}
weight 1.20;
rule ENVELOPE.INEQUALITIES, ENVELOPE.EQUATIONS : POINTS {
$this->ENVELOPE = envelope($this->POINTS);
}
rule DOME.INEQUALITIES, DOME.FEASIBLE, DOME.BOUNDED : POINTS {
$this->DOME = dome_hyperplane_arrangement($this->POINTS);
}
rule PSEUDOVERTICES, FAR_PSEUDOVERTICES, MAXIMAL_COVECTOR_CELLS : DOME {
extract_pseudovertices($this);
}
rule TORUS_COVECTOR_DECOMPOSITION, MAXIMAL_COVECTORS : POINTS, PSEUDOVERTICES, PSEUDOVERTEX_COVECTORS, MAXIMAL_COVECTOR_CELLS, POLYTOPE_COVECTOR_DECOMPOSITION {
compute_covector_decomposition($this, compute_only_tropical_span=>0);
}
weight 6.10;
rule POLYTOPE_COVECTOR_DECOMPOSITION, POLYTOPE_MAXIMAL_COVECTOR_CELLS, POLYTOPE_MAXIMAL_COVECTORS : POINTS, PSEUDOVERTICES, PSEUDOVERTEX_COVECTORS, MAXIMAL_COVECTOR_CELLS {
compute_covector_decomposition($this, compute_only_tropical_span=>1);
}
weight 6.10;
rule MAXIMAL_COVECTORS : MAXIMAL_COVECTOR_CELLS, PSEUDOVERTICES, POINTS {
compute_maximal_covectors($this);
}
weight 2.10;
rule PSEUDOVERTEX_COVECTORS : PSEUDOVERTICES, POINTS {
$this->PSEUDOVERTEX_COVECTORS=covectors_of_scalar_vertices($this->PSEUDOVERTICES, $this->POINTS);
}
weight 1.10;
rule PSEUDOVERTEX_COARSE_COVECTORS : PSEUDOVERTICES, POINTS {
$this->PSEUDOVERTEX_COARSE_COVECTORS=coarse_covectors_of_scalar_vertices($this->PSEUDOVERTICES, $this->POINTS);
}
weight 1.10;
}
# Local Variables:
# mode: perl
# c-basic-offset:3
# End:
|
