nach oben

Erschienen in:

2020 | OriginalPaper | Buchkapitel

The `Z_Polyhedra` Library in Maple

verfasst von : Rui-Juan Jing, Marc Moreno Maza

Erschienen in: Maple in Mathematics Education and Research

Verlag: Springer International Publishing

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config

KI-gestützte Suche

Aus

Abstract

The \(\mathbb Z\)-Polyhedra is a library written in Maple and dedicated to solving problems dealing with the integer points of polyhedral sets. Those problems include decomposing the integer points of polyhedral sets, solving parametric integer programs, performing dependence analysis in for-loop nests and determining the validity of certain Presburger formulas. This article discusses the design of the \(\mathbb Z\)-Polyhedra library and provides numerous illustrations of its usage.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Maschinenbau + Werkstoffe

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 340 Zeitschriften

aus folgenden Fachgebieten:

Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Vorheriges Kapitel Decomposing the Parameter Space of Biological Networks via a Numerical Discriminant Approach

Nächstes Kapitel Detecting Singularities Using the PowerSeries Library

Of course, this notion of dimension coincides with the topological one, that is, the maximum dimension of a ball contained in P.

Balas, E.: Projection with a minimal system of inequalities. Comput. Optim. Appl. 10(2), 189–193 (1998)MathSciNetCrossRef

Barvinok, A.I.: A polynomial time algorithm for counting integral points in polyhedra when the dimension is fixed. Math. Oper. Res. 19(4), 769–779 (1994)MathSciNetCrossRef

Barvinok, A.I.: Integer points in polyhedra. Contemporary mathematics. European Mathematical Society, Zurich (2008)CrossRef

Beck, M.: Integer Points in Polyhedra-Geometry, Number Theory, Representation Theory, Algebra, Optimization, Statistics: AMS-IMS-SIAM Joint Summer Research Conference, 11–15 June 2006, Snowbird, Utah. Contemporary mathematics - American Mathematical Society, American Mathematical Society (2008)

Feautrier, P.: Parametric integer programming. RAIRO Recherche Opérationnelle 22, 243–268 (1988). http://www.numdam.org/article/RO_1988__22_3_243_0.pdfMathSciNetCrossRef

Feautrier, P.: Automatic parallelization in the polytope model. In: Perrin, G.-R., Darte, A. (eds.) The Data Parallel Programming Model. LNCS, vol. 1132, pp. 79–103. Springer, Heidelberg (1996). https://doi.org/10.1007/3-540-61736-1_44CrossRef

Jing, R.-J., Moreno Maza, M.: Computing the integer points of a polyhedron, I: algorithm. In: Gerdt, V.P., Koepf, W., Seiler, W.M., Vorozhtsov, E.V. (eds.) CASC 2017. LNCS, vol. 10490, pp. 225–241. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-66320-3_17CrossRefMATH

Jing, R.-J., Moreno Maza, M.: Computing the integer points of a polyhedron, II: complexity estimates. In: Gerdt, V.P., Koepf, W., Seiler, W.M., Vorozhtsov, E.V. (eds.) CASC 2017. LNCS, vol. 10490, pp. 242–256. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-66320-3_18CrossRefMATH

Jing, R.-J., Moreno Maza, M., Talaashrafi, D.: Complexity estimates for fourier-motzkin elimination (2018). CoRR, abs/1811.01510

10.

Köppe, M., Verdoolaege, S.: Computing parametric rational generating functions with a primal barvinok algorithm. Electr. J. Comb. 15(1), R16 (2008)MathSciNetCrossRef

11.

Pugh, W.: The omega test: a fast and practical integer programming algorithm for dependence analysis. In: Martin, J.L. (ed.) Proceedings Supercomputing 1991, Albuquerque, NM, USA, 18–22 November 1991, pp. 4–13. ACM (1991)

12.

Pugh, W.: Counting solutions to presburger formulas: how and why. In: Sarkar, V., Ryder, B.G., Lou Soffa, M., (eds.) Proceedings of the ACM SIGPLAN 1994 Conference on Programming Language Design and Implementation (PLDI), Orlando, Florida, USA, 20–24 June 1994, pp. 121–134. ACM (1994)

13.

Schrijver, A.: Theory of Linear and Integer Programming. John Wiley, New York (1986)MATH

14.

Seghir, R., Loechner, V., Meister, B.: Integer affine transformations of parametric \(\mathbb{Z}\)-polytopes and applications to loop nest optimization. TACO 9(2), 8:1–8:27 (2012)CrossRef

Titel: The Z_Polyhedra Library in Maple
verfasst von: Rui-Juan Jing
Marc Moreno Maza
Verlag: Springer International Publishing
Buch: Maple in Mathematics Education and Research
Print ISBN: 978-3-030-41257-9

Electronic ISBN: 978-3-030-41258-6

Copyright-Jahr: 2020
DOI: https://doi.org/10.1007/978-3-030-41258-6_10

Springer Professional

Abstract

Bitte loggen Sie sich ein, um Zugang zu Ihrer Lizenz zu erhalten.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"