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
|
#include "parser.h"
#include "printer.h"
#include "lp.h"
#include "gfanapplication.h"
#include "polyhedralcone.h"
#include "polyhedralfan.h"
#include "polymakefile.h"
class CommonRefinementApplication : public GFanApplication
{
StringOption input1Option;
StringOption input2Option;
public:
const char *helpText()
{
return "This program takes two polyhedral fans and computes their common refinement.\n";
}
CommonRefinementApplication():
input1Option("-i1","Specify the name of the first input file.","polymake.out"),
input2Option("-i2","Specify the name of the second input file.","polymake.out")
{
registerOptions();
}
const char *name()
{
return "_fancommonrefinement";
}
int main()
{
PolyhedralFan f1=PolyhedralFan::readFan(input1Option.getValue());
PolyhedralFan f2=PolyhedralFan::readFan(input2Option.getValue());
PolyhedralFan f=refinement(f1,f2);
AsciiPrinter P(Stdout);
f.printWithIndices(&P,FPF_default/*|FPF_multiplicities|FPF_values*/);
return 0;
}
};
static CommonRefinementApplication theApplication;
|
