CoCalc Logo Icon
StoreFeaturesDocsShareSupportNewsAboutSign UpSign In

Real-time collaboration for Jupyter Notebooks, Linux Terminals, LaTeX, VS Code, R IDE, and more,
all in one place.

| Download

GAP 4.8.9 installation with standard packages -- copy to your CoCalc project to get it

Views: 418346
Tweet
Share
Share
1
% generated by GAPDoc2LaTeX from XML source (Frank Luebeck)

2
\documentclass[a4paper,11pt]{report}

3


4
\usepackage{a4wide}

5
\sloppy

6
\pagestyle{myheadings}

7
\usepackage{amssymb}

8
\usepackage[utf8]{inputenc}

9
\usepackage{makeidx}

10
\makeindex

11
\usepackage{color}

12
\definecolor{FireBrick}{rgb}{0.5812,0.0074,0.0083}

13
\definecolor{RoyalBlue}{rgb}{0.0236,0.0894,0.6179}

14
\definecolor{RoyalGreen}{rgb}{0.0236,0.6179,0.0894}

15
\definecolor{RoyalRed}{rgb}{0.6179,0.0236,0.0894}

16
\definecolor{LightBlue}{rgb}{0.8544,0.9511,1.0000}

17
\definecolor{Black}{rgb}{0.0,0.0,0.0}

18


19
\definecolor{linkColor}{rgb}{0.0,0.0,0.554}

20
\definecolor{citeColor}{rgb}{0.0,0.0,0.554}

21
\definecolor{fileColor}{rgb}{0.0,0.0,0.554}

22
\definecolor{urlColor}{rgb}{0.0,0.0,0.554}

23
\definecolor{promptColor}{rgb}{0.0,0.0,0.589}

24
\definecolor{brkpromptColor}{rgb}{0.589,0.0,0.0}

25
\definecolor{gapinputColor}{rgb}{0.589,0.0,0.0}

26
\definecolor{gapoutputColor}{rgb}{0.0,0.0,0.0}

27


28
%%  for a long time these were red and blue by default,

29
%%  now black, but keep variables to overwrite

30
\definecolor{FuncColor}{rgb}{0.0,0.0,0.0}

31
%% strange name because of pdflatex bug:

32
\definecolor{Chapter }{rgb}{0.0,0.0,0.0}

33
\definecolor{DarkOlive}{rgb}{0.1047,0.2412,0.0064}

34


35


36
\usepackage{fancyvrb}

37


38
\usepackage{mathptmx,helvet}

39
\usepackage[T1]{fontenc}

40
\usepackage{textcomp}

41


42


43
\usepackage[

44
            pdftex=true,

45
            bookmarks=true,        

46
            a4paper=true,

47
            pdftitle={Written with GAPDoc},

48
            pdfcreator={LaTeX with hyperref package / GAPDoc},

49
            colorlinks=true,

50
            backref=page,

51
            breaklinks=true,

52
            linkcolor=linkColor,

53
            citecolor=citeColor,

54
            filecolor=fileColor,

55
            urlcolor=urlColor,

56
            pdfpagemode={UseNone}, 

57
           ]{hyperref}

58


59
\newcommand{\maintitlesize}{\fontsize{50}{55}\selectfont}

60


61
% write page numbers to a .pnr log file for online help

62
\newwrite\pagenrlog

63
\immediate\openout\pagenrlog =\jobname.pnr

64
\immediate\write\pagenrlog{PAGENRS := [}

65
\newcommand{\logpage}[1]{\protect\write\pagenrlog{#1, \thepage,}}

66
%% were never documented, give conflicts with some additional packages

67


68
\newcommand{\GAP}{\textsf{GAP}}

69


70
%% nicer description environments, allows long labels

71
\usepackage{enumitem}

72
\setdescription{style=nextline}

73


74
%% depth of toc

75
\setcounter{tocdepth}{1}

76


77


78


79


80


81
%% command for ColorPrompt style examples

82
\newcommand{\gapprompt}[1]{\color{promptColor}{\bfseries #1}}

83
\newcommand{\gapbrkprompt}[1]{\color{brkpromptColor}{\bfseries #1}}

84
\newcommand{\gapinput}[1]{\color{gapinputColor}{#1}}

85


86


87
\begin{document}

88


89
\logpage{[ 0, 0, 0 ]}

90
\begin{titlepage}

91
\mbox{}\vfill

92


93
\begin{center}{\maintitlesize \textbf{ PolymakeInterface \mbox{}}}\\

94
\vfill

95


96
\hypersetup{pdftitle= PolymakeInterface }

97
\markright{\scriptsize \mbox{}\hfill  PolymakeInterface  \hfill\mbox{}}

98
{\Huge \textbf{ A package to provide algorithms for fans and cones of polymake to other

99
packages \mbox{}}}\\

100
\vfill

101


102
{\Huge  2015.01.26 \mbox{}}\\[1cm]

103
{ 26/01/2015 \mbox{}}\\[1cm]

104
\mbox{}\\[2cm]

105
{\Large \textbf{ Thomas Baechler\\

106
    \mbox{}}}\\

107
{\Large \textbf{ Sebastian Gutsche\\

108
    \mbox{}}}\\

109
\hypersetup{pdfauthor= Thomas Baechler\\

110
    ;  Sebastian Gutsche\\

111
    }

112
\end{center}\vfill

113


114
\mbox{}\\

115
{\mbox{}\\

116
\small \noindent \textbf{ Thomas Baechler\\

117
    }  Email: \href{mailto://thomas@momo.math.rwth-aachen.de} {\texttt{thomas@momo.math.rwth-aachen.de}}\\

118
  Homepage: \href{http://wwwb.math.rwth-aachen.de/~thomas/} {\texttt{http://wwwb.math.rwth-aachen.de/\texttt{\symbol{126}}thomas/}}\\

119
  Address: \begin{minipage}[t]{8cm}\noindent

120
 Thomas Baechler\\

121
 Lehrstuhl B fuer Mathematik\\

122
 RWTH Aachen\\

123
 Templergraben 64\\

124
 52062 Aachen\\

125
 Germany\\

126
 \end{minipage}

127
}\\

128
{\mbox{}\\

129
\small \noindent \textbf{ Sebastian Gutsche\\

130
    }  Email: \href{mailto://sebastian.gutsche@rwth-aachen.de} {\texttt{sebastian.gutsche@rwth-aachen.de}}\\

131
  Homepage: \href{http://wwwb.math.rwth-aachen.de/~gutsche/} {\texttt{http://wwwb.math.rwth-aachen.de/\texttt{\symbol{126}}gutsche/}}\\

132
  Address: \begin{minipage}[t]{8cm}\noindent

133
 Sebastian Gutsche\\

134
 Lehrstuhl B fuer Mathematik, RWTH Aachen\\

135
 Templergraben 64\\

136
 52062 Aachen\\

137
 Germany\\

138
 \end{minipage}

139
}\\

140
\end{titlepage}

141


142
\newpage\setcounter{page}{2}

143
\newpage

144


145
\def\contentsname{Contents\logpage{[ 0, 0, 1 ]}}

146


147
\tableofcontents

148
\newpage

149


150
 \index{\textsf{PolymakeInterface}}     

151
\chapter{\textcolor{Chapter }{Introduction}}\label{Chapter_Introduction}

152
\logpage{[ 1, 0, 0 ]}

153
\hyperdef{L}{X7DFB63A97E67C0A1}{}

154
{

155
  

156
\section{\textcolor{Chapter }{What is the idea of PolymakeInterface}}\label{Chapter_Introduction_Section_What_is_the_idea_of_PolymakeInterface}

157
\logpage{[ 1, 1, 0 ]}

158
\hyperdef{L}{X7B287B7A86173E0D}{}

159
{

160
  PolymakeInterface is an GAP-Package that provides a link to the callable

161
library of the CAS polymake. It is not supposed to do any work by itself, but

162
to provide the methods in polymake to GAP. All the functions in this package

163
are supposed to be capsuled by functions in the Convex package, which provides

164
needed structures and datatypes. Also the functions the have nicer names. This

165
fact also causes that there are no doumentations for functions in this

166
package. To get an overview about the supported functions, one might look at

167
the polymake{\textunderscore}main.cpp file or simply message the author.

168
Working with this package alone without Convex is not recommended. }

169


170
 }

171


172
   

173
\chapter{\textcolor{Chapter }{Installation}}\label{Chapter_Installation}

174
\logpage{[ 2, 0, 0 ]}

175
\hyperdef{L}{X8360C04082558A12}{}

176
{

177
  

178
\section{\textcolor{Chapter }{Install polymake}}\label{Chapter_Installation_Section_Install_polymake}

179
\logpage{[ 2, 1, 0 ]}

180
\hyperdef{L}{X800C29157C1742BE}{}

181
{

182
  To make GAP and polymake work together porperly, one has to make sure that the

183
two systems are using the same GMP library. You can choose the GMP which

184
polymake uses by the flag --with-gmp= in the polymake configure skript.

185
However, having BOTH systems using your systems GMP is HIGHLY recommended. }

186


187
 

188
\section{\textcolor{Chapter }{How to install this package}}\label{Chapter_Installation_Section_How_to_install_this_package}

189
\logpage{[ 2, 2, 0 ]}

190
\hyperdef{L}{X81A5946683F0AD7D}{}

191
{

192
  This package can only be compiled on a system that has the new perpetual beta

193
of polymake correctly installed, like it is said in the polymake wiki itself.

194
For more information about this please visit \href{http://www.polymake.org} {www.polymake.org}. For installing this package, first make sure you have polymake installed.

195
Copy it in your GAP pkg-directory and run the configure script (./configure)

196
with your GAP root-directory as argument. The default is ../../... Then run

197
make. After this, the package can be loaded via LoadPackage(

198
\texttt{\symbol{92}}"PolymakeInterface\texttt{\symbol{92}}" );. }

199


200
 }

201


202
   

203
\chapter{\textcolor{Chapter }{Sketch}}\label{Chapter_Sketch}

204
\logpage{[ 3, 0, 0 ]}

205
\hyperdef{L}{X8012482A7EFB8816}{}

206
{

207
  

208
\section{\textcolor{Chapter }{Sketch methods}}\label{Chapter_Sketch_Section_Sketch_methods}

209
\logpage{[ 3, 1, 0 ]}

210
\hyperdef{L}{X7FF412A27CB0DD64}{}

211
{

212
  

213


214
\subsection{\textcolor{Chapter }{POLYMAKE{\textunderscore}SKETCH{\textunderscore}WITH{\textunderscore}OPTIONS (for IsExternalPolymakeObject, IsList)}}

215
\logpage{[ 3, 1, 1 ]}\nobreak

216
\hyperdef{L}{X86AA5EBB7DF8F6AF}{}

217
{\noindent\textcolor{FuncColor}{$\triangleright$\ \ \texttt{POLYMAKE{\textunderscore}SKETCH{\textunderscore}WITH{\textunderscore}OPTIONS({\mdseries\slshape arg1, arg2})\index{POLYMAKESKETCHWITHOPTIONS@\texttt{POL}\-\texttt{Y}\-\texttt{M}\-\texttt{A}\-\texttt{K}\-\texttt{E{\textunderscore}}\-\texttt{S}\-\texttt{K}\-\texttt{E}\-\texttt{T}\-\texttt{C}\-\texttt{H{\textunderscore}}\-\texttt{W}\-\texttt{I}\-\texttt{T}\-\texttt{H{\textunderscore}}\-\texttt{O}\-\texttt{P}\-\texttt{T}\-\texttt{IONS}!for IsExternalPolymakeObject, IsList}

218
\label{POLYMAKESKETCHWITHOPTIONS:for IsExternalPolymakeObject, IsList}

219
}\hfill{\scriptsize (operation)}}\\

220
\textbf{\indent Returns:\ }

221
 nothing 

222


223


224


225
 This method produces the sketch output from polymake. Sketch have to be

226
installed to use this method. The first argument must be a polymake external

227
object, the second can be a filename, as a string, or a list of pairs

228
specifying polymakes VISUAL options. In each pair the first entry needs to be

229
the name of the option, the second should be the value it has to be given. As

230
value strings and lists of integers are allowed. Please see the polymake

231
documentation for more informations. }

232


233
 

234


235
\subsection{\textcolor{Chapter }{POLYMAKE{\textunderscore}SKETCH{\textunderscore}WITH{\textunderscore}OPTIONS (for IsExternalPolymakeObject, IsString, IsList)}}

236
\logpage{[ 3, 1, 2 ]}\nobreak

237
\hyperdef{L}{X810E71BB7F4DFEB1}{}

238
{\noindent\textcolor{FuncColor}{$\triangleright$\ \ \texttt{POLYMAKE{\textunderscore}SKETCH{\textunderscore}WITH{\textunderscore}OPTIONS({\mdseries\slshape arg1, arg2, arg3})\index{POLYMAKESKETCHWITHOPTIONS@\texttt{POL}\-\texttt{Y}\-\texttt{M}\-\texttt{A}\-\texttt{K}\-\texttt{E{\textunderscore}}\-\texttt{S}\-\texttt{K}\-\texttt{E}\-\texttt{T}\-\texttt{C}\-\texttt{H{\textunderscore}}\-\texttt{W}\-\texttt{I}\-\texttt{T}\-\texttt{H{\textunderscore}}\-\texttt{O}\-\texttt{P}\-\texttt{T}\-\texttt{IONS}!for IsExternalPolymakeObject, IsString, IsList}

239
\label{POLYMAKESKETCHWITHOPTIONS:for IsExternalPolymakeObject, IsString, IsList}

240
}\hfill{\scriptsize (operation)}}\\

241
\textbf{\indent Returns:\ }

242
 nothing 

243


244


245


246
 This works like the other

247
POLYMAKE{\textunderscore}SKETCH{\textunderscore}WITH{\textunderscore}DOCUMENTATION

248
method but one can give a filename and options at the same time. Second

249
argument here needs to be the filename, third the list of VISUAL option pairs. }

250


251
 

252


253
\subsection{\textcolor{Chapter }{POLYMAKE{\textunderscore}CREATE{\textunderscore}TIKZ{\textunderscore}FILE (for IsExternalPolymakeObject, IsString)}}

254
\logpage{[ 3, 1, 3 ]}\nobreak

255
\hyperdef{L}{X7A89F4927ACE7AFF}{}

256
{\noindent\textcolor{FuncColor}{$\triangleright$\ \ \texttt{POLYMAKE{\textunderscore}CREATE{\textunderscore}TIKZ{\textunderscore}FILE({\mdseries\slshape arg1, arg2})\index{POLYMAKECREATETIKZFILE@\texttt{POL}\-\texttt{Y}\-\texttt{M}\-\texttt{A}\-\texttt{K}\-\texttt{E{\textunderscore}}\-\texttt{C}\-\texttt{R}\-\texttt{E}\-\texttt{A}\-\texttt{T}\-\texttt{E{\textunderscore}}\-\texttt{T}\-\texttt{I}\-\texttt{K}\-\texttt{Z{\textunderscore}}\-\texttt{FILE}!for IsExternalPolymakeObject, IsString}

257
\label{POLYMAKECREATETIKZFILE:for IsExternalPolymakeObject, IsString}

258
}\hfill{\scriptsize (operation)}}\\

259
\textbf{\indent Returns:\ }

260
 nothing 

261


262


263


264
 Given a polymake object and a filename, this method produces the tikz output

265
given by sketch and stores it in the file. }

266


267
 

268


269
\subsection{\textcolor{Chapter }{POLYMAKE{\textunderscore}CREATE{\textunderscore}TIKZ{\textunderscore}FILE (for IsExternalPolymakeObject, IsString, IsList)}}

270
\logpage{[ 3, 1, 4 ]}\nobreak

271
\hyperdef{L}{X7A1AC32B85E95F36}{}

272
{\noindent\textcolor{FuncColor}{$\triangleright$\ \ \texttt{POLYMAKE{\textunderscore}CREATE{\textunderscore}TIKZ{\textunderscore}FILE({\mdseries\slshape arg1, arg2, arg3})\index{POLYMAKECREATETIKZFILE@\texttt{POL}\-\texttt{Y}\-\texttt{M}\-\texttt{A}\-\texttt{K}\-\texttt{E{\textunderscore}}\-\texttt{C}\-\texttt{R}\-\texttt{E}\-\texttt{A}\-\texttt{T}\-\texttt{E{\textunderscore}}\-\texttt{T}\-\texttt{I}\-\texttt{K}\-\texttt{Z{\textunderscore}}\-\texttt{FILE}!for IsExternalPolymakeObject, IsString, IsList}

273
\label{POLYMAKECREATETIKZFILE:for IsExternalPolymakeObject, IsString, IsList}

274
}\hfill{\scriptsize (operation)}}\\

275
\textbf{\indent Returns:\ }

276
 nothing 

277


278


279


280
 This does the same as

281
POLYMAKE{\textunderscore}CREATE{\textunderscore}TIKZ{\textunderscore}FILE but

282
the third argument is passed to the VISUAL command of polymake. It need to be

283
a (possibly empty) list of options. The list must be consist of pairs, where

284
the first entry is the name of the option the second the value. As values

285
strings and lists of integers are allowed. }

286


287
 

288


289
\subsection{\textcolor{Chapter }{POLYMAKE{\textunderscore}CREATE{\textunderscore}TIKZ{\textunderscore}FILE{\textunderscore}WITH{\textunderscore}SKETCH{\textunderscore}OPTIONS (for IsExternalPolymakeObject, IsString, IsList, IsString)}}

290
\logpage{[ 3, 1, 5 ]}\nobreak

291
\hyperdef{L}{X87C54FCB7806A324}{}

292
{\noindent\textcolor{FuncColor}{$\triangleright$\ \ \texttt{POLYMAKE{\textunderscore}CREATE{\textunderscore}TIKZ{\textunderscore}FILE{\textunderscore}WITH{\textunderscore}SKETCH{\textunderscore}OPTIONS({\mdseries\slshape arg1, arg2, arg3, arg4})\index{POLYMAKECREATETIKZFILEWITHSKETCHOPTIONS@\texttt{POL}\-\texttt{Y}\-\texttt{M}\-\texttt{A}\-\texttt{K}\-\texttt{E{\textunderscore}}\-\texttt{C}\-\texttt{R}\-\texttt{E}\-\texttt{A}\-\texttt{T}\-\texttt{E{\textunderscore}}\-\texttt{T}\-\texttt{I}\-\texttt{K}\-\texttt{Z{\textunderscore}}\-\texttt{F}\-\texttt{I}\-\texttt{L}\-\texttt{E{\textunderscore}}\-\texttt{W}\-\texttt{I}\-\texttt{T}\-\texttt{H{\textunderscore}}\-\texttt{S}\-\texttt{K}\-\texttt{E}\-\texttt{T}\-\texttt{C}\-\texttt{H{\textunderscore}}\-\texttt{O}\-\texttt{P}\-\texttt{T}\-\texttt{IONS}!for IsExternalPolymakeObject, IsString, IsList, IsString}

293
\label{POLYMAKECREATETIKZFILEWITHSKETCHOPTIONS:for IsExternalPolymakeObject, IsString, IsList, IsString}

294
}\hfill{\scriptsize (operation)}}\\

295
\textbf{\indent Returns:\ }

296
 nothing 

297


298


299


300
 Works like

301
POLYMAKE{\textunderscore}CREATE{\textunderscore}TIKZ{\textunderscore}FILE with

302
3 arguments, but the last argument has to be a string of options passed

303
directly to sketch. For example, if you want to have a compilable tex file

304
build, add "-T". }

305


306
 }

307


308
 }

309


310
 \def\bibname{References\logpage{[ "Bib", 0, 0 ]}

311
\hyperdef{L}{X7A6F98FD85F02BFE}{}

312
}

313


314
\bibliographystyle{alpha}

315
\bibliography{PolymakeInterface.bib}

316


317
\addcontentsline{toc}{chapter}{References}

318


319
\def\indexname{Index\logpage{[ "Ind", 0, 0 ]}

320
\hyperdef{L}{X83A0356F839C696F}{}

321
}

322


323
\cleardoublepage

324
\phantomsection

325
\addcontentsline{toc}{chapter}{Index}

326


327


328
\printindex

329


330
\newpage

331
\immediate\write\pagenrlog{["End"], \arabic{page}];}

332
\immediate\closeout\pagenrlog

333
\end{document}

334


335