DOCSLIB.ORG

What Can Computer Algebraic Geometry Do Today?

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
What Can Computer Algebraic Geometry Do Today? What can computer Algebraic Geometry do today? Gregory G. Smith Wolfram Decker Mike Stillman 14 July 2015 Essential Questions ̭ What can be computed? ̭ What software is currently available? ̭ What would you like to compute? ̭ How should software advance your research? Basic Mathematical Types ̭ Polynomial Rings, Ideals, Modules, ̭ Varieties (affine, projective, toric, abstract), ̭ Sheaves, Divisors, Intersection Rings, ̭ Maps, Chain Complexes, Homology, ̭ Polyhedra, Graphs, Matroids, ̯ Established Geometric Tools ̭ Elimination, Blowups, Normalization, ̭ Rational maps, Working with divisors, ̭ Components, Parametrizing curves, ̭ Sheaf Cohomology, ঠ-modules, ̯ Emerging Geometric Tools ̭ Classification of singularities, ̭ Numerical algebraic geometry, ̭ ैक़௴Ь, Derived equivalences, ̭ Deformation theory,Positivity, ̯ Some Geometric Successes ̭ GEOGRAPHY OF SURFACES: exhibiting surfaces with given invariants ̭ BOIJ-SÖDERBERG: examples lead to new conjectures and theorems ̭ MODULI SPACES: computer aided proofs of unirationality Some Existing Software ̭ GAP,Macaulay2, SINGULAR, ̭ CoCoA, Magma, Sage, PARI, RISA/ASIR, ̭ Gfan, Polymake, Normaliz, 4ti2, ̭ Bertini, PHCpack, Schubert, Bergman, an idiosyncratic and incomplete list Effective Software ̭ USEABLE: documented examples ̭ MAINTAINABLE: includes tests, part of a larger distribution ̭ PUBLISHABLE: Journal of Software for Algebra and Geometry; www.j-sag.org ̭ CITATIONS: reference software Recent Developments in Singular Wolfram Decker Janko B¨ohm, Hans Sch¨onemann, Mathias Schulze Mohamed Barakat TU Kaiserslautern July 14, 2015 Wolfram Decker (TU-KL) Recent Developments in Singular July 14, 2015 1 / 24 commutative and non-commutative algebra, singularity theory, and with packages for convex and tropical geometry. It is free and open-source under the GNU General Public Licence. What is Singular? A computer algebra system for polynomial computations, with special emphasis on algebraic geometry, Wolfram Decker (TU-KL) Recent Developments in Singular July 14, 2015 2 / 24 singularity theory, and with packages for convex and tropical geometry. It is free and open-source under the GNU General Public Licence. What is Singular? A computer algebra system for polynomial computations, with special emphasis on algebraic geometry, commutative and non-commutative algebra, Wolfram Decker (TU-KL) Recent Developments in Singular July 14, 2015 2 / 24 and with packages for convex and tropical geometry. It is free and open-source under the GNU General Public Licence. What is Singular? A computer algebra system for polynomial computations, with special emphasis on algebraic geometry, commutative and non-commutative algebra, singularity theory, Wolfram Decker (TU-KL) Recent Developments in Singular July 14, 2015 2 / 24 It is free and open-source under the GNU General Public Licence. What is Singular? A computer algebra system for polynomial computations, with special emphasis on algebraic geometry, commutative and non-commutative algebra, singularity theory, and with packages for convex and tropical geometry. Wolfram Decker (TU-KL) Recent Developments in Singular July 14, 2015 2 / 24 What is Singular? A computer algebra system for polynomial computations, with special emphasis on algebraic geometry, commutative and non-commutative algebra, singularity theory, and with packages for convex and tropical geometry. It is free and open-source under the GNU General Public Licence. Wolfram Decker (TU-KL) Recent Developments in Singular July 14, 2015 2 / 24 Open development model Wolfram Decker (TU-KL) Recent Developments in Singular July 14, 2015 3 / 24 Open development model Singular issue tracker Interaction with user base, bug & feature tracking Wolfram Decker (TU-KL) Recent Developments in Singular July 14, 2015 4 / 24 What is Singular? Over 30 development teams worldwide, over 130 libraries for advanced topics. Wolfram Decker (TU-KL) Recent Developments in Singular July 14, 2015 5 / 24 What is Singular? Over 30 development teams worldwide, over 130 libraries for advanced topics. Wolfram Decker (TU-KL) Recent Developments in Singular July 14, 2015 5 / 24 libraries, written in the Singular language which provides a convenient way of user interaction and adding new mathematical features, and a comprehensive online manual and help function. What is Singular? Singular consists of akernel,writteninC /C ++, and containing the core algorithms, Wolfram Decker (TU-KL) Recent Developments in Singular July 14, 2015 6 / 24 a comprehensive online manual and help function. What is Singular? Singular consists of akernel,writteninC /C ++, and containing the core algorithms, libraries, written in the Singular language which provides a convenient way of user interaction and adding new mathematical features, and Wolfram Decker (TU-KL) Recent Developments in Singular July 14, 2015 6 / 24 What is Singular? Singular consists of akernel,writteninC /C ++, and containing the core algorithms, libraries, written in the Singular language which provides a convenient way of user interaction and adding new mathematical features, and a comprehensive online manual and help function. Wolfram Decker (TU-KL) Recent Developments in Singular July 14, 2015 6 / 24 Example: Parametrizing Rational Curves Example > ring R = 0, (x,y,z), dp; > poly f = x5+10x4y+20x3y2+130x2y3-20xy4+20y5-2x4z-40x3yz-150x2y2z -90xy3z-40y4z+x3z2+30x2yz2+110xy2z2+20y3z2; > LIB "paraplanecurves.lib"; > genus(f); 0 > paraPlaneCurve(f); Wolfram Decker (TU-KL) Recent Developments in Singular July 14, 2015 7 / 24 Example: The Parametrization Algorithm Example > ideal AI = adjointIdeal(f); // requires normalization, integral bases > AI; [1]=y3-y2z [2]=xy2-xyz [3]=x2y-xyz [4]=x3-x2z > def Rn = mapToRatNormCurve(f,AI); > setring(Rn); Wolfram Decker (TU-KL) Recent Developments in Singular July 14, 2015 8 / 24 Example: The Parametrization Algorithm Example > RNC; RNC[1]=y(2)*y(3)-y(1)*y(4) RNC[2]=20*y(1)*y(2)-20*y(2)^2+130*y(1)*y(4) +20*y(2)*y(4)+10*y(3)*y(4)+y(4)^2 RNC[3]=20*y(1)^2-20*y(1)*y(2)+130*y(1)*y(3) +10*y(3)^2+20*y(1)*y(4)+y(3)*y(4) Wolfram Decker (TU-KL) Recent Developments in Singular July 14, 2015 9 / 24 Example: The Parametrization Algorithm Example > LIB"sing.lib"; > radical(slocus(RNC)); [1]=y(4) [2]=y(3) [2]=y(2) [1]=y(1) > rncAntiCanonicalMap(RNC); [1]=2*y(2)+13*y(4) [2]=y(4) Wolfram Decker (TU-KL) Recent Developments in Singular July 14, 2015 10 / 24 Singular Libraries Wolfram Decker (TU-KL) Recent Developments in Singular July 14, 2015 11 / 24 Example: Intersection Theory Example > LIB "schubert.lib"; > variety G = Grassmannian(2,4); > def r = G.baseRing; > setring r; > sheaf S = makeSheaf(G,subBundle); > sheaf B = dualSheaf(S)^3; > integral(G,topChernClass(B)); Wolfram Decker (TU-KL) Recent Developments in Singular July 14, 2015 12 / 24 Example: Intersection Theory Example (continued) 27 Some keywords Schubert calculus, double point formulas, excess intersection formula, equivariant intersection theory using Bott’s formula, Gromov-Witten invariants. Wolfram Decker (TU-KL) Recent Developments in Singular July 14, 2015 13 / 24 free resolutions; polynomial factorization: Factory. More advanced stu↵ Primary decomposition, algorithms of Gianni-Trager-Zacharias, Shimoyama-Yokoyama, Eisenbud-Huneke-Vasconcelos: primdec.lib.; normalization: normal.lib, locnormal.lib, modnormal.lib. Key Algorithms in Singular Basic stu↵ Gr¨obner and standard Bases; Wolfram Decker (TU-KL) Recent Developments in Singular July 14, 2015 14 / 24 polynomial factorization: Factory. More advanced stu↵ Primary decomposition, algorithms of Gianni-Trager-Zacharias, Shimoyama-Yokoyama, Eisenbud-Huneke-Vasconcelos: primdec.lib.; normalization: normal.lib, locnormal.lib, modnormal.lib. Key Algorithms in Singular Basic stu↵ Gr¨obner and standard Bases; free resolutions; Wolfram Decker (TU-KL) Recent Developments in Singular July 14, 2015 14 / 24 More advanced stu↵ Primary decomposition, algorithms of Gianni-Trager-Zacharias, Shimoyama-Yokoyama, Eisenbud-Huneke-Vasconcelos: primdec.lib.; normalization: normal.lib, locnormal.lib, modnormal.lib. Key Algorithms in Singular Basic stu↵ Gr¨obner and standard Bases; free resolutions; polynomial factorization: Factory. Wolfram Decker (TU-KL) Recent Developments in Singular July 14, 2015 14 / 24 normalization: normal.lib, locnormal.lib, modnormal.lib. Key Algorithms in Singular Basic stu↵ Gr¨obner and standard Bases; free resolutions; polynomial factorization: Factory. More advanced stu↵ Primary decomposition, algorithms of Gianni-Trager-Zacharias, Shimoyama-Yokoyama, Eisenbud-Huneke-Vasconcelos: primdec.lib.; Wolfram Decker (TU-KL) Recent Developments in Singular July 14, 2015 14 / 24 Key Algorithms in Singular Basic stu↵ Gr¨obner and standard Bases; free resolutions; polynomial factorization: Factory. More advanced stu↵ Primary decomposition, algorithms of Gianni-Trager-Zacharias, Shimoyama-Yokoyama, Eisenbud-Huneke-Vasconcelos: primdec.lib.; normalization: normal.lib, locnormal.lib, modnormal.lib. Wolfram Decker (TU-KL) Recent Developments in Singular July 14, 2015 14 / 24 > proc sizeStd(ideal I, string monord) { def R=basering; list RL = ringlist(R); RL[3][1][1] = monord; def S=ring(RL); setring(S); return(size(std(imap(R,I)))); } Example: Coarse Grained Parallelism in Singular Example > LIB("parallel.lib","random.lib"); > ring R = 0,x(1..4),dp; > ideal I=randomid(maxideal(3),3,100); Wolfram Decker (TU-KL) Recent Developments in Singular July 14, 2015 15 / 24 Example: Coarse Grained Parallelism in Singular Example > LIB("parallel.lib","random.lib"); >
Load more

Recommended publications
  • The Sagemanifolds Project
    Tensor calculus with free softwares: the SageManifolds project Eric´ Gourgoulhon1, Micha l Bejger2 1Laboratoire Univers et Th´eories (LUTH) CNRS / Observatoire de Paris / Universit´eParis Diderot 92190 Meudon, France http://luth.obspm.fr/~luthier/gourgoulhon/ 2Centrum Astronomiczne im. M. Kopernika (CAMK) Warsaw, Poland http://users.camk.edu.pl/bejger/ Encuentros Relativistas Espa~noles2014 Valencia 1-5 September 2014 Eric´ Gourgoulhon, Micha l Bejger (LUTH, CAMK) SageManifolds ERE2014, Valencia, 2 Sept. 2014 1 / 44 Outline 1 Differential geometry and tensor calculus on a computer 2 Sage: a free mathematics software 3 The SageManifolds project 4 SageManifolds at work: the Mars-Simon tensor example 5 Conclusion and perspectives Eric´ Gourgoulhon, Micha l Bejger (LUTH, CAMK) SageManifolds ERE2014, Valencia, 2 Sept. 2014 2 / 44 Differential geometry and tensor calculus on a computer Outline 1 Differential geometry and tensor calculus on a computer 2 Sage: a free mathematics software 3 The SageManifolds project 4 SageManifolds at work: the Mars-Simon tensor example 5 Conclusion and perspectives Eric´ Gourgoulhon, Micha l Bejger (LUTH, CAMK) SageManifolds ERE2014, Valencia, 2 Sept. 2014 3 / 44 In 1969, during his PhD under Pirani supervision at King's College, Ray d'Inverno wrote ALAM (Atlas Lisp Algebraic Manipulator) and used it to compute the Riemann tensor of Bondi metric. The original calculations took Bondi and his collaborators 6 months to go. The computation with ALAM took 4 minutes and yield to the discovery of 6 errors in the original paper [J.E.F. Skea, Applications of SHEEP (1994)] In the early 1970's, ALAM was rewritten in the LISP programming language, thereby becoming machine independent and renamed LAM The descendant of LAM, called SHEEP (!), was initiated in 1977 by Inge Frick Since then, many softwares for tensor calculus have been developed..
    [Show full text]
  • Using Macaulay2 Effectively in Practice
    Using Macaulay2 effectively in practice Mike Stillman ([email protected]) Department of Mathematics Cornell 22 July 2019 / IMA Sage/M2 Macaulay2: at a glance Project started in 1993, Dan Grayson and Mike Stillman. Open source. Key computations: Gr¨obnerbases, free resolutions, Hilbert functions and applications of these. Rings, Modules and Chain Complexes are first class objects. Language which is comfortable for mathematicians, yet powerful, expressive, and fun to program in. Now a community project Journal of Software for Algebra and Geometry (started in 2009. Now we handle: Macaulay2, Singular, Gap, Cocoa) (original editors: Greg Smith, Amelia Taylor). Strong community: including about 2 workshops per year. User contributed packages (about 200 so far). Each has doc and tests, is tested every night, and is distributed with M2. Lots of activity Over 2000 math papers refer to Macaulay2. History: 1976-1978 (My undergrad years at Urbana) E. Graham Evans: asked me to write a program to compute syzygies, from Hilbert's algorithm from 1890. Really didn't work on computers of the day (probably might still be an issue!). Instead: Did computation degree by degree, no finishing condition. Used Buchsbaum-Eisenbud \What makes a complex exact" (by hand!) to see if the resulting complex was exact. Winfried Bruns was there too. Very exciting time. History: 1978-1983 (My grad years, with Dave Bayer, at Harvard) History: 1978-1983 (My grad years, with Dave Bayer, at Harvard) I tried to do \real mathematics" but Dave Bayer (basically) rediscovered Groebner bases, and saw that they gave an algorithm for computing all syzygies. I got excited, dropped what I was doing, and we programmed (in Pascal), in less than one week, the first version of what would be Macaulay.
    [Show full text]
  • Luis David Garcıa Puente
    Luis David Garc´ıa Puente Department of Mathematics and Statistics (936) 294-1581 Sam Houston State University [email protected] Huntsville, TX 77341–2206 http://www.shsu.edu/ldg005/ Professional Preparation Universidad Nacional Autonoma´ de Mexico´ (UNAM) Mexico City, Mexico´ B.S. Mathematics (with Honors) 1999 Virginia Polytechnic Institute and State University Blacksburg, VA Ph.D. Mathematics 2004 – Advisor: Reinhard Laubenbacher – Dissertation: Algebraic Geometry of Bayesian Networks University of California, Berkeley Berkeley, CA Postdoctoral Fellow Summer 2004 – Mentor: Lior Pachter Mathematical Sciences Research Institute (MSRI) Berkeley, CA Postdoctoral Fellow Fall 2004 – Mentor: Bernd Sturmfels Texas A&M University College Station, TX Visiting Assistant Professor 2005 – 2007 – Mentor: Frank Sottile Appointments Colorado College Colorado Springs, CO Professor of Mathematics and Computer Science 2021 – Sam Houston State University Huntsville, TX Professor of Mathematics 2019 – 2021 Sam Houston State University Huntsville, TX Associate Department Chair Fall 2017 – 2021 Sam Houston State University Huntsville, TX Associate Professor of Mathematics 2013 – 2019 Statistical and Applied Mathematical Sciences Institute Research Triangle Park, NC SAMSI New Researcher fellowship Spring 2009 Sam Houston State University Huntsville, TX Assistant Professor of Mathematics 2007 – 2013 Virginia Bioinformatics Institute (Virginia Tech) Blacksburg, VA Graduate Research Assistant Spring 2004 Virginia Polytechnic Institute and State University Blacksburg,
    [Show full text]
  • Persistence in Algebraic Specifications
    Persistence in Algebraic Specifications Freek Wiedijk Persistence in Algebraic Specifications Persistence in Algebraic Specifications Academisch Proefschrift ter verkrijging van de graad van doctor aan de Universiteit van Amsterdam, op gezag van de Rector Magnificus prof. dr. P.W.M. de Meijer, in het openbaar te verdedigen in de Aula der Universiteit (Oude Lutherse Kerk, ingang Singel 411, hoek Spui), op donderdag 12 december 1991 te 12.00 uur door Frederik Wiedijk geboren te Haarlem Promotores: prof. dr. P. Klint & prof. dr. J.A. Bergstra Faculteit Wiskunde en Informatica Het hier beschreven onderzoek werd mede mogelijk gemaakt door steun van de Ne- derlandse organisatie voor Wetenschappelijk Onderzoek (voorheen de nederlandse organisatie voor Zuiver-Wetenschappelijk Onderzoek) binnen project nummer 612- 317-013 getiteld Executeerbaar maken van algebraïsche specificaties. voor Jan Truijens Contents Contents Acknowledgements 1 Introduction 1 1.1 Motivation and general overview 2 1.2 Examples of erroneous specifications 13 1.3 Background and related work 22 2. Theory 25 2.1 Basic notions 27 2.1.1. Equational specifications 28 2.1.2 Term rewriting systems 29 2.2 Termination 30 2.2.1 Weak and strong termination 33 2.2.2 Path orderings 34 2.2.3 Decidability 40 2.3 Confluence 41 2.3.1 Weak and strong confluence 42 2.3.2 Overlapping 44 2.3.3 Decidability 45 2.4 Reduction strategies 46 2.5 Persistence 48 2.5.1 Weak and strong persistence 52 2.5.2 Term approximations and bases 54 2.5.3 Normal form analysis 56 2.5.4 Decidability 60 2.6 Primitive recursive
    [Show full text]
  • Singular Value Decomposition and Its Numerical Computations
    Singular Value Decomposition and its numerical computations Wen Zhang, Anastasios Arvanitis and Asif Al-Rasheed ABSTRACT The Singular Value Decomposition (SVD) is widely used in many engineering fields. Due to the important role that the SVD plays in real-time computations, we try to study its numerical characteristics and implement the numerical methods for calculating it. Generally speaking, there are two approaches to get the SVD of a matrix, i.e., direct method and indirect method. The first one is to transform the original matrix to a bidiagonal matrix and then compute the SVD of this resulting matrix. The second method is to obtain the SVD through the eigen pairs of another square matrix. In this project, we implement these two kinds of methods and develop the combined methods for computing the SVD. Finally we compare these methods with the built-in function in Matlab (svd) regarding timings and accuracy. 1. INTRODUCTION The singular value decomposition is a factorization of a real or complex matrix and it is used in many applications. Let A be a real or a complex matrix with m by n dimension. Then the SVD of A is: where is an m by m orthogonal matrix, Σ is an m by n rectangular diagonal matrix and is the transpose of n ä n matrix. The diagonal entries of Σ are known as the singular values of A. The m columns of U and the n columns of V are called the left singular vectors and right singular vectors of A, respectively. Both U and V are orthogonal matrices.
    [Show full text]
  • Research in Algebraic Geometry with Macaulay2
    Research in Algebraic Geometry with Macaulay2 1 Macaulay2 a software system for research in algebraic geometry resultants the community, packages, the journal, and workshops 2 Tutorial the ideal of a monomial curve elimination: projecting the twisted cubic quotients and saturation 3 the package PHCpack.m2 solving polynomial systems numerically MCS 507 Lecture 39 Mathematical, Statistical and Scientific Software Jan Verschelde, 25 November 2019 Scientific Software (MCS 507) Macaulay2 L-39 25November2019 1/32 Research in Algebraic Geometry with Macaulay2 1 Macaulay2 a software system for research in algebraic geometry resultants the community, packages, the journal, and workshops 2 Tutorial the ideal of a monomial curve elimination: projecting the twisted cubic quotients and saturation 3 the package PHCpack.m2 solving polynomial systems numerically Scientific Software (MCS 507) Macaulay2 L-39 25November2019 2/32 Macaulay2 D. R. Grayson and M. E. Stillman: Macaulay2, a software system for research in algebraic geometry, available at https://faculty.math.illinois.edu/Macaulay2. Funded by the National Science Foundation since 1992. Its source is at https://github.com/Macaulay2/M2; licence: GNU GPL version 2 or 3; try it online at http://habanero.math.cornell.edu:3690. Several workshops are held each year. Packages extend the functionality. The Journal of Software for Algebra and Geometry (at https://msp.org/jsag) started its first volume in 2009. The SageMath interface to Macaulay2 requires its binary M2 to be installed on your computer. Scientific
    [Show full text]
  • An Alternative Algorithm for Computing the Betti Table of a Monomial Ideal 3
    AN ALTERNATIVE ALGORITHM FOR COMPUTING THE BETTI TABLE OF A MONOMIAL IDEAL MARIA-LAURA TORRENTE AND MATTEO VARBARO Abstract. In this paper we develop a new technique to compute the Betti table of a monomial ideal. We present a prototype implementation of the resulting algorithm and we perform numerical experiments suggesting a very promising efficiency. On the way of describing the method, we also prove new constraints on the shape of the possible Betti tables of a monomial ideal. 1. Introduction Since many years syzygies, and more generally free resolutions, are central in purely theo- retical aspects of algebraic geometry; more recently, after the connection between algebra and statistics have been initiated by Diaconis and Sturmfels in [DS98], free resolutions have also become an important tool in statistics (for instance, see [D11, SW09]). As a consequence, it is fundamental to have efficient algorithms to compute them. The usual approach uses Gr¨obner bases and exploits a result of Schreyer (for more details see [Sc80, Sc91] or [Ei95, Chapter 15, Section 5]). The packages for free resolutions of the most used computer algebra systems, like [Macaulay2, Singular, CoCoA], are based on these techniques. In this paper, we introduce a new algorithmic method to compute the minimal graded free resolution of any finitely generated graded module over a polynomial ring such that some (possibly non- minimal) graded free resolution is known a priori. We describe this method and we present the resulting algorithm in the case of monomial ideals in a polynomial ring, in which situ- ation we always have a starting nonminimal graded free resolution.
    [Show full text]
  • Computations in Algebraic Geometry with Macaulay 2
    Computations in algebraic geometry with Macaulay 2 Editors: D. Eisenbud, D. Grayson, M. Stillman, and B. Sturmfels Preface Systems of polynomial equations arise throughout mathematics, science, and engineering. Algebraic geometry provides powerful theoretical techniques for studying the qualitative and quantitative features of their solution sets. Re- cently developed algorithms have made theoretical aspects of the subject accessible to a broad range of mathematicians and scientists. The algorith- mic approach to the subject has two principal aims: developing new tools for research within mathematics, and providing new tools for modeling and solv- ing problems that arise in the sciences and engineering. A healthy synergy emerges, as new theorems yield new algorithms and emerging applications lead to new theoretical questions. This book presents algorithmic tools for algebraic geometry and experi- mental applications of them. It also introduces a software system in which the tools have been implemented and with which the experiments can be carried out. Macaulay 2 is a computer algebra system devoted to supporting research in algebraic geometry, commutative algebra, and their applications. The reader of this book will encounter Macaulay 2 in the context of concrete applications and practical computations in algebraic geometry. The expositions of the algorithmic tools presented here are designed to serve as a useful guide for those wishing to bring such tools to bear on their own problems. A wide range of mathematical scientists should find these expositions valuable. This includes both the users of other programs similar to Macaulay 2 (for example, Singular and CoCoA) and those who are not interested in explicit machine computations at all.
    [Show full text]
  • A Simplified Introduction to Virus Propagation Using Maple's Turtle Graphics Package
    E. Roanes-Lozano, C. Solano-Macías & E. Roanes-Macías.: A simplified introduction to virus propagation using Maple's Turtle Graphics package A simplified introduction to virus propagation using Maple's Turtle Graphics package Eugenio Roanes-Lozano Instituto de Matemática Interdisciplinar & Departamento de Didáctica de las Ciencias Experimentales, Sociales y Matemáticas Facultad de Educación, Universidad Complutense de Madrid, Spain Carmen Solano-Macías Departamento de Información y Comunicación Facultad de CC. de la Documentación y Comunicación, Universidad de Extremadura, Spain Eugenio Roanes-Macías Departamento de Álgebra, Universidad Complutense de Madrid, Spain [email protected] ; [email protected] ; [email protected] Partially funded by the research project PGC2018-096509-B-100 (Government of Spain) 1 E. Roanes-Lozano, C. Solano-Macías & E. Roanes-Macías.: A simplified introduction to virus propagation using Maple's Turtle Graphics package 1. INTRODUCTION: TURTLE GEOMETRY AND LOGO • Logo language: developed at the end of the ‘60s • Characterized by the use of Turtle Geometry (a.k.a. as Turtle Graphics). • Oriented to introduce kids to programming (Papert, 1980). • Basic movements of the turtle (graphic cursor): FD, BK RT, LT. • It is not based on a Cartesian Coordinate system. 2 E. Roanes-Lozano, C. Solano-Macías & E. Roanes-Macías.: A simplified introduction to virus propagation using Maple's Turtle Graphics package • Initially robots were used to plot the trail of the turtle. http://cyberneticzoo.com/cyberneticanimals/1969-the-logo-turtle-seymour-papert-marvin-minsky-et-al-american/ 3 E. Roanes-Lozano, C. Solano-Macías & E. Roanes-Macías.: A simplified introduction to virus propagation using Maple's Turtle Graphics package • IBM Logo / LCSI Logo (’80) 4 E.
    [Show full text]
  • PLS Toolbox 7.0 Pltternf - Plots a 3D Ternary Diagram with Frequency of Occurrence
    plotgui - Interactive data viewer. logdecay - Mean centers and variance scales a matrix using the log plttern - Plots a 2D ternary diagram. decay of the variable axis. PLS_Toolbox 7.0 pltternf - Plots a 3D ternary diagram with frequency of occurrence. lsq2top - Fits a polynomial to the top/(bottom) of data. querydb - Executes a query on a database defined by connection mdcheck - Missing Data Checker and infiller. Quick-Reference Card string. med2top - Fits a constant to top/(bottom) of data. Copyright © Eigenvector Research, 2012 reportwriter - Write a summary of the analysis including medcn - Median center scales matrix to median zero. associated figures to html/word/powerpoint. mncn - Scale matrix to mean zero. Help and Information rwb - Red white and blue color map. mscorr - Multiplicative scatter/signal correction (MSC). setpath - Modifies and saves current directory to the MATLAB normaliz - Normalize rows of matrix. helppls - Context related help on the PLS_Toolbox. search path. npreprocess - Preprocessing of multi-way arrays. readme - Release notes for Version 4.1 of PLS_Toolbox. snabsreadr - Reads Stellarnet ABS XY files. oscapp - Applies OSC model to new data. demos - Demo list for the PLS_Toolbox. spcreadr - Reads a Galactic SPC file. osccalc - Calculates orthogonal signal correction (OSC). evricompatibility - Tests for inter-product compatibility of trendtool - Univariate trend analysis tool. poissonscale - Perform Poisson scaling with scaling offset. Eigenvector toolboxes. vline - Adds vertical lines to figure at specified locations. polyinterp - Polynomial interpolation, smoothing, and evridebug - Checks the PLS_Toolbox installation for problems. writeasf - Writes AIT ASF files from a dataset object. differentiation. evridir - Locate and or create EVRI home directory. writecsv - Export a DataSet object to a comma-separated values preprocess - Selection and application of standard preprocessing evriinstall - Install Eigenvector Research Product.
    [Show full text]
  • Singular in Sage L-38 22November2019 1/40 Computing with Polynomials in Singular
    Computing with Polynomials in Singular 1 Polynomials, Resultants, and Factorization computer algebra for polynomial computations resultants to eliminate variables 2 Gröbner Bases and Multiplication Matrices ideals of polynomials and Gröbner bases normal forms and multiplication matrices multiplicity as the dimension of the local quotient ring 3 Formulas for the 4-bar Coupler Point formulation of the problem processing a Gröbner basis MCS 507 Lecture 38 Mathematical, Statistical and Scientific Software Jan Verschelde, 22 November 2019 Scientific Software (MCS 507) Singular in Sage L-38 22November2019 1/40 Computing with Polynomials in Singular 1 Polynomials, Resultants, and Factorization computer algebra for polynomial computations resultants to eliminate variables 2 Gröbner Bases and Multiplication Matrices ideals of polynomials and Gröbner bases normal forms and multiplication matrices multiplicity as the dimension of the local quotient ring 3 Formulas for the 4-bar Coupler Point formulation of the problem processing a Gröbner basis Scientific Software (MCS 507) Singular in Sage L-38 22November2019 2/40 Singular Singular is a computer algebra system for polynomial computations, with special emphasis on commutative and non-commutative algebra, algebraic geometry, and singularity theory, under the GNU General Public License. Singular’s core algorithms handle polynomial factorization and resultants characteristic sets and numerical root finding Gröbner, standard bases, and free resolutions. Its development is directed by Wolfram Decker, Gert-Martin Greuel, Gerhard Pfister, and Hans Schönemann, within the Dept. of Mathematics at the University of Kaiserslautern. Scientific Software (MCS 507) Singular in Sage L-38 22November2019 3/40 Singular in Sage Advanced algorithms are contained in more than 90 libraries, written in a C-like programming language.
    [Show full text]
  • The Power of Pyramid Decomposition in Normaliz
    Journal of Symbolic Computation 74 (2016) 513–536 Contents lists available at ScienceDirect Journal of Symbolic Computation www.elsevier.com/locate/jsc The power of pyramid decomposition in Normaliz Winfried Bruns a, Bogdan Ichim b, Christof Söger a a Universität Osnabrück, FB Mathematik/Informatik, 49069 Osnabrück, Germany b Simion Stoilow Institute of Mathematics of the Romanian Academy, Research Unit 5, C.P. 1-764, 010702 Bucharest, Romania a r t i c l e i n f o a b s t r a c t Article history: We describe the use of pyramid decomposition in Normaliz, a soft- Received 27 January 2014 ware tool for the computation of Hilbert bases and enumerative Accepted 26 August 2015 data of rational cones and affine monoids. Pyramid decomposition Available online 16 September 2015 in connection with efficient parallelization and streamlined evalua- tion of simplicial cones has enabled Normaliz to process triangula- MSC: ≈ · 11 52B20 tions of size 5 10 that arise in the computation of Ehrhart 13F20 series related to the theory of social choice. 14M25 © 2015 Elsevier Ltd. All rights reserved. 91B12 Keywords: Hilbert basis Ehrhart series Hilbert series Rational polytope Volume Triangulation Pyramid decomposition 1. Introduction Normaliz (Bruns et al., 2015)is a software tool for the computation of Hilbert bases and enumera- tive data of rational cones and affine monoids. In the 17 years of its existence it has found numerous applications; for example, in integer programming (Bogart et al., 2010), algebraic geometry (Craw et al., 2007), theoretical physics (Kappl et al., 2011), commutative algebra (Sturmfels and Welker, 2012) or elimination theory (Emiris et al., 2013).
    [Show full text]