lmonade a platform for development and distribution of mathematical software (in the making) Burçin Eröcal August 28, 2012 TU Kaiserslautern
|
|
|
- Cory Phelps
- 10 years ago
- Views:
Transcription
1 lmonade a platform for development and distribution of mathematical software (in the making) Burçin Eröcal TU Kaiserslautern August 28, 2012
2 modular vs. monolithic Monolithic packages Main tools available under one roof: Singular, Macaulay2, GAP, Pari/GP,... One package for all your needs Single purpose libraries Very specialized libraries, suitable for use within other software m4ri, m4rie, fflas/ffpack, iml, etc. easy to use, maintain, develop if you need to solve exactly and only that problem complicated dependency tracking
3 LinBox For more general problems... LinBox is not packaged for any distribution and it has many dependencies
4 A quote from Neil Sloane From: N. J. A. Sloane Date: 8 Nov :28 Subject: Re: dumb question about installing pari-gp with fink I would like to thank everyone who responded to my question about installing PARI on an imac. The consensus was that it would be simplest to install sage, which includes PARI and many other things. I tried this and it worked! Thanks! Neil (It is such a shock when things actually work!!)
5 Sage Sage creates a distribution of specialized libraries making it easy to use / build on existing libraries libraries available by default (fast arithmetic, linear algebra, groebner basis, etc.) standard file locations for easy install of new ones provides a comprehensive test suite and a framework to develop new functionality but... it has grown too large using only a part of it is not an option maintaining customized versions is hard purple sage sage combinat
6 lmonade a platform for development and distribution of mathematical software (in the making)
7 lmonade? distribution of mathematical software install packages keeping track of dependencies & conflicts using compiler and tools on the host system without administrative rights support for (relatively smooth) updates sharing development code
8 lmonade? distribution of mathematical software install packages keeping track of dependencies & conflicts using compiler and tools on the host system without administrative rights support for (relatively smooth) updates sharing development code
9 Distribution alternatives Sage build system (SPKGs) Macaulay2, polymake, latte,... Python buildout, virtualenv, pip homebrew NIX
10 lmonade architecture Gentoo ebuilds Source based GNU/Linux distribution Recipes for package install and dependencies stored in ebuilds, written mostly in Bash gentoo-prefix install Gentoo in your home directory including the toolchain and scripts to run services works on OSX, FreeBSD, Solaris, even Windows
11 lmonade architecture Gentoo ebuilds Source based GNU/Linux distribution Recipes for package install and dependencies stored in ebuilds, written mostly in Bash gentoo-prefix install Gentoo in your home directory including the toolchain and scripts to run services works on OSX, FreeBSD, Solaris, even Windows gentoo-science collection of packages for scientific software including specialized mathematics software such as Singular, Macaulay2, polymake
12 lmonade architecture Gentoo ebuilds Source based GNU/Linux distribution Recipes for package install and dependencies stored in ebuilds, written mostly in Bash gentoo-prefix install Gentoo in your home directory including the toolchain and scripts to run services works on OSX, FreeBSD, Solaris, even Windows gentoo-science collection of packages for scientific software including specialized mathematics software such as Singular, Macaulay2, polymake sage-on-gentoo Sage distribution split up into ebuilds component versions usually ahead of Sage compilerwrapper
13 lmonade architecture Gentoo ebuilds Source based GNU/Linux distribution Recipes for package install and dependencies stored in ebuilds, written mostly in Bash gentoo-prefix install Gentoo in your home directory including the toolchain and scripts to run services works on OSX, FreeBSD, Solaris, even Windows gentoo-science collection of packages for scientific software including specialized mathematics software such as Singular, Macaulay2, polymake sage-on-gentoo Sage distribution split up into ebuilds component versions usually ahead of Sage compilerwrapper
14 lmonade? A platform for research oriented mathematical software development and distribution distribution of mathematical software uniform environment providing fast arithmetic and fundamental algorithms easy to share functionality between different systems tools to access experimental code
15 upcoming features support for more packages relocation development environment detect existing software on the host system
16 HiWi s needed
17 Questions?
Outline. hardware components programming environments. installing Python executing Python code. decimal and binary notations running Sage
Outline 1 Computer Architecture hardware components programming environments 2 Getting Started with Python installing Python executing Python code 3 Number Systems decimal and binary notations running
Core Curriculum to the Course:
Core Curriculum to the Course: Environmental Science Law Economy for Engineering Accounting for Engineering Production System Planning and Analysis Electric Circuits Logic Circuits Methods for Electric
How To Develop Software
Software Development Basics Dr. Axel Kohlmeyer Associate Dean for Scientific Computing College of Science and Technology Temple University, Philadelphia http://sites.google.com/site/akohlmey/ [email protected]
Giac/Xcas, a swiss knife for mathematics
Bernard Parisse Bernard Parisse University of Grenoble I Trophées du Libre 2007 Plan 1 : interface for CAS, dynamic geometry and spreadsheet, audience: scienti c students to research 2 : a C++ library,
Introduction Installation Comparison. Department of Computer Science, Yazd University. SageMath. A.Rahiminasab. October9, 2015 1 / 17
Department of Computer Science, Yazd University SageMath A.Rahiminasab October9, 2015 1 / 17 2 / 17 SageMath(previously Sage or SAGE) System for Algebra and Geometry Experimentation is mathematical software
Scientific Programming in Python
UCSD March 9, 2009 What is Python? Python in a very high level (scripting) language which has gained widespread popularity in recent years. It is: What is Python? Python in a very high level (scripting)
Current Status of Development of New VLBI Data Analysis Software
Current Status of Development of New VLBI Data Analysis Software Sergei Bolotin, John M. Gipson, David Gordon, Daniel S. MacMillan NVI, Inc. 7257D Hanover Parkway Greenbelt, MD 20770 NASA Goddard Space
Advanced Operating Systems CS428
Advanced Operating Systems CS428 Lecture TEN Semester I, 2009-10 Graham Ellis NUI Galway, Ireland DIY Parallelism MPI is useful for C and Fortran programming. DIY Parallelism MPI is useful for C and Fortran
SageManifolds. A free package for differential geometry
SageManifolds A free package for differential geometry Éric Gourgoulhon 1, Micha l Bejger 2 1 Laboratoire Univers et Théories (LUTH) CNRS / Observatoire de Paris / Université Paris Diderot 92190 Meudon,
Problems and Measures Regarding Waste 1 Management and 3R Era of public health improvement Situation subsequent to the Meiji Restoration
Detailed Design Report
Detailed Design Report Chapter 9 Control System MAX IV Facility CHAPTER 9.0. CONTROL SYSTEM 1(9) 9. Control System 9.1. Introduction...2 9.1.1. Requirements... 2 9.2. Design...3 9.2.1. Guidelines... 3
Example of Standard API
16 Example of Standard API System Call Implementation Typically, a number associated with each system call System call interface maintains a table indexed according to these numbers The system call interface
Kernel Types System Calls. Operating Systems. Autumn 2013 CS4023
Operating Systems Autumn 2013 Outline 1 2 Types of 2.4, SGG The OS Kernel The kernel is the central component of an OS It has complete control over everything that occurs in the system Kernel overview
Computational Engineering Programs at the University of Erlangen-Nuremberg
Computational Engineering Programs at the University of Erlangen-Nuremberg Ulrich Ruede Lehrstuhl für Simulation, Institut für Informatik Universität Erlangen http://www10.informatik.uni-erlangen.de/ ruede
Part I Courses Syllabus
Part I Courses Syllabus This document provides detailed information about the basic courses of the MHPC first part activities. The list of courses is the following 1.1 Scientific Programming Environment
Computational Mathematics with Python
Boolean Arrays Classes Computational Mathematics with Python Basics Olivier Verdier and Claus Führer 2009-03-24 Olivier Verdier and Claus Führer Computational Mathematics with Python 2009-03-24 1 / 40
Best Practices for Python in the Cloud: Lessons Learned @ActiveState
Best Practices for Python in the Cloud: Lessons Learned @ActiveState Best Practices for Python in the Cloud Presented by: Gisle Aas, Senior Developer, ActiveState whoami? Gisle Aas! [email protected]!
DevKey Documentation. Release 0.1. Colm O Connor
DevKey Documentation Release 0.1 Colm O Connor March 23, 2015 Contents 1 Quickstart 3 2 FAQ 5 3 Release Notes 7 i ii DevKey Documentation, Release 0.1 Github PyPI Contents 1 DevKey Documentation, Release
LIST OF REGISTRABLE COURSES FOR BSC COMMUNICATION TECHNOLOGY JUNE 2014
100 Level Title Unit Status GST 101 Use of English and Communication Skills I 2 C GST 107 The Good Study Guide 2 C BIO101 General Biology 2 C CHM101 Introductory Inorganic Chemistry 2 C CIT 101 Computers
Python Programming: An Introduction to Computer Science
Python Programming: An Introduction to Computer Science Chapter 1 Computers and Programs 1 Objectives To understand the respective roles of hardware and software in a computing system. To learn what computer
Computational Mathematics with Python
Computational Mathematics with Python Basics Claus Führer, Jan Erik Solem, Olivier Verdier Spring 2010 Claus Führer, Jan Erik Solem, Olivier Verdier Computational Mathematics with Python Spring 2010 1
GUJARAT TECHNOLOGICAL UNIVERSITY Computer Engineering (07) BE 1st To 8th Semester Exam Scheme & Subject Code
GUJARAT TECHNOLOGICAL UNIVERSITY Computer Engineering (07) BE 1st To 8th Semester Scheme & EVALUATION SCHEME Continuous (Theory) (E) Evaluation Practical (I) (Practical) (E) Process(M) MAX MIN MAX MIN
Computational Mathematics with Python
Numerical Analysis, Lund University, 2011 1 Computational Mathematics with Python Chapter 1: Basics Numerical Analysis, Lund University Claus Führer, Jan Erik Solem, Olivier Verdier, Tony Stillfjord Spring
System Structures. Services Interface Structure
System Structures Services Interface Structure Operating system services (1) Operating system services (2) Functions that are helpful to the user User interface Command line interpreter Batch interface
Questionnaire about the skills necessary for people. working with Big Data in the Statistical Organisations
Questionnaire about the skills necessary for people working with Big Data in the Statistical Organisations Preliminary results of the survey (19.08 2014) More detailed analysis will be prepared by October
Embedded Linux development with Buildroot training 3-day session
Embedded Linux development with training 3-day session Title Overview Duration Trainer Language Audience Embedded Linux development with training Introduction to Managing and building the configuration
Postprocessing with Python
Postprocessing with Python Boris Dintrans (CNRS & University of Toulouse) [email protected] Collaborator: Thomas Gastine (PhD) Outline Outline Introduction - what s Python and why using it? - Installation
Visualizing Data: Scalable Interactivity
Visualizing Data: Scalable Interactivity The best data visualizations illustrate hidden information and structure contained in a data set. As access to large data sets has grown, so has the need for interactive
MEGARAC XMS Sx EXTENDIBLE MANAGEMENT SUITE SERVER MANAGER EDITION
MEGARAC XMS Sx EXTENDIBLE MANAGEMENT SUITE SERVER MANAGER EDITION THE EXTENDIBLE MANAGEMENT SUITE EXECUTIVE SUMMARY MEGARAC XMS stands for Extendible Management Suite and this is a complete management
CIS 192: Lecture 13 Scientific Computing and Unit Testing
CIS 192: Lecture 13 Scientific Computing and Unit Testing Lili Dworkin University of Pennsylvania Scientific Computing I Python is really popular in the scientific and statistical computing world I Why?
Systems Engineering and Integration for the NSG (SEIN) SharePoint Developer
Systems Engineering and Integration for the NSG (SEIN) SharePoint Developer Location: Multiple Locations US and worldwide Start Date: September 2012 Travel: NGA sites US and worldwide Clearance: TS/SCI
Computer Science Information Sheet for entry in 2016. What is Computer Science?
Computer Science Information Sheet for entry in 2016 What is Computer Science? Computer Science is about understanding computer systems and networks at a deep level. Computers and the programs they run
Jenkins Continuous Build System. Jesse Bowes CSCI-5828 Spring 2012
Jenkins Continuous Build System Jesse Bowes CSCI-5828 Spring 2012 Executive summary Continuous integration systems are a vital part of any Agile team because they help enforce the ideals of Agile development
Code Generation Tools for PDEs. Matthew Knepley PETSc Developer Mathematics and Computer Science Division Argonne National Laboratory
Code Generation Tools for PDEs Matthew Knepley PETSc Developer Mathematics and Computer Science Division Argonne National Laboratory Talk Objectives Introduce Code Generation Tools - Installation - Use
Intro to scientific programming (with Python) Pietro Berkes, Brandeis University
Intro to scientific programming (with Python) Pietro Berkes, Brandeis University Next 4 lessons: Outline Scientific programming: best practices Classical learning (Hoepfield network) Probabilistic learning
Last Class: OS and Computer Architecture. Last Class: OS and Computer Architecture
Last Class: OS and Computer Architecture System bus Network card CPU, memory, I/O devices, network card, system bus Lecture 3, page 1 Last Class: OS and Computer Architecture OS Service Protection Interrupts
VOC Documentation. Release 0.1. Russell Keith-Magee
VOC Documentation Release 0.1 Russell Keith-Magee February 07, 2016 Contents 1 About VOC 3 1.1 The VOC Developer and User community................................ 3 1.2 Frequently Asked Questions.......................................
Software Testing in Science
Software Testing in Science Dr. Axel Kohlmeyer Senior Scientific Computing Expert Information and Telecommunication Section The Abdus Salam International Centre for Theoretical Physics http://sites.google.com/site/akohlmey/
Professional Organization Checklist for the Computer Science Curriculum Updates. Association of Computing Machinery Computing Curricula 2008
Professional Organization Checklist for the Computer Science Curriculum Updates Association of Computing Machinery Computing Curricula 2008 The curriculum guidelines can be found in Appendix C of the report
@Scalding. https://github.com/twitter/scalding. Based on talk by Oscar Boykin / Twitter
@Scalding https://github.com/twitter/scalding Based on talk by Oscar Boykin / Twitter What is Scalding? Why Scala for Map/Reduce? How is it used at Twitter? What s next for Scalding? Yep, we re counting
Tools for Open Source Patch and Package Management
Tools for Open Source Patch and Package Management NebraskaCERT Conference August 3 2004 Mathew Caughron, CISSP PHP Consulting Public Service Announcement Please silence all pagers and cell phones now.
Introduction. 1.1 Motivation. Chapter 1
Chapter 1 Introduction The automotive, aerospace and building sectors have traditionally used simulation programs to improve their products or services, focusing their computations in a few major physical
COMPUTER SCIENCE. Department of Mathematics & Computer Science
Department of Mathematics & Computer Science COMPUTER SCIENCE This document is meant as a planning guide only. Students are advised to consult with the Chair of the Department if they have specific questions
RDS Building Centralized Monitoring and Control
RDS Building Centralized Monitoring and Control 1. Overview This document explains the concept and differing options for the monitoring and control of RDS replication over your network. The very basic
A Comparison of Programming Languages for Graphical User Interface Programming
University of Tennessee, Knoxville Trace: Tennessee Research and Creative Exchange University of Tennessee Honors Thesis Projects University of Tennessee Honors Program 4-2002 A Comparison of Programming
Bachelor Degree in Informatics Engineering Master courses
Bachelor Degree in Informatics Engineering Master courses Donostia School of Informatics The University of the Basque Country, UPV/EHU For more information: Universidad del País Vasco / Euskal Herriko
Server-side Development using Python and SQL
Lab 2 Server-side Development using Python and SQL Authors: Sahand Sadjadee Alexander Kazen Gustav Bylund Per Jonsson Tobias Jansson Spring 2015 TDDD97 Web Programming http://www.ida.liu.se/~tddd97/ Department
Fall 2012 Q530. Programming for Cognitive Science
Fall 2012 Q530 Programming for Cognitive Science Aimed at little or no programming experience. Improve your confidence and skills at: Writing code. Reading code. Understand the abilities and limitations
An Introduction to Applied Mathematics: An Iterative Process
An Introduction to Applied Mathematics: An Iterative Process Applied mathematics seeks to make predictions about some topic such as weather prediction, future value of an investment, the speed of a falling
Last Class: OS and Computer Architecture. Last Class: OS and Computer Architecture
Last Class: OS and Computer Architecture System bus Network card CPU, memory, I/O devices, network card, system bus Lecture 3, page 1 Last Class: OS and Computer Architecture OS Service Protection Interrupts
22S:295 Seminar in Applied Statistics High Performance Computing in Statistics
22S:295 Seminar in Applied Statistics High Performance Computing in Statistics Luke Tierney Department of Statistics & Actuarial Science University of Iowa August 30, 2007 Luke Tierney (U. of Iowa) HPC
Exercise 2 : checksums, RAID and erasure coding
Exercise 2 : checksums, RAID and erasure coding Sébastien Ponce May 22, 2015 1 Goals of the exercise Play with checksums and compare efficiency and robustness Use hand written version of RAID systems and
M E M O R A N D U M. Faculty Senate Approved April 2, 2015
M E M O R A N D U M Faculty Senate Approved April 2, 2015 TO: FROM: Deans and Chairs Becky Bitter, Sr. Assistant Registrar DATE: March 26, 2015 SUBJECT: Minor Change Bulletin No. 11 The courses listed
SLANGTNG - SOFTWARE FOR STOCHASTIC STRUCTURAL ANALYSIS MADE EASY
Meccanica dei Materiali e delle Strutture Vol. 3 (2012), no.4, pp. 10-17 ISSN: 2035-679X Dipartimento di Ingegneria Civile, Ambientale, Aerospaziale, Dei Materiali DICAM SLANGTNG - SOFTWARE FOR STOCHASTIC
CSE 265: System and Network Administration
CSE 265: System and Network Administration MW 1:10-2:00pm Maginnes 105 http://www.cse.lehigh.edu/~brian/course/sysadmin/ Find syllabus, lecture notes, readings, etc. Instructor: Prof. Brian D. Davison
by Maria Heiden, Berenberg Bank
Dynamic hedging of equity price risk with an equity protect overlay: reduce losses and exploit opportunities by Maria Heiden, Berenberg Bank As part of the distortions on the international stock markets
http://wrap.warwick.ac.uk/
Original citation: Hart, William B.. (2012) A one line factoring algorithm. Journal of the Australian Mathematical Society, Volume 92 (Number 1). pp. 61-69. ISSN 1446-7887 Permanent WRAP url: http://wrap.warwick.ac.uk/54707/
Computer Information Systems
Computer Information System Courses Description 0309331 0306331 0309332 0306332 0309334 0306334 0309341 0306341 0309353 0306353 Database Systems Introduction to database systems, entity-relationship data
Enterprise Service Bus
We tested: Talend ESB 5.2.1 Enterprise Service Bus Dr. Götz Güttich Talend Enterprise Service Bus 5.2.1 is an open source, modular solution that allows enterprises to integrate existing or new applications
Yocto Project Eclipse plug-in and Developer Tools Hands-on Lab
Yocto Project Eclipse plug-in and Developer Tools Hands-on Lab Yocto Project Developer Day San Francisco, 2013 Jessica Zhang Introduction Welcome to the Yocto Project Eclipse plug-in
Work Environment. David Tur HPC Expert. HPC Users Training September, 18th 2015
Work Environment David Tur HPC Expert HPC Users Training September, 18th 2015 1. Atlas Cluster: Accessing and using resources 2. Software Overview 3. Job Scheduler 1. Accessing Resources DIPC technicians
University of Pune Second Year Engineering (Backlog) Online Exam
Second Year Engineering (Backlog) Online Ex Date: 11-06-2014 Subject: SE -Manufacuring Processes I Place Seat Ex Venue Ex 1 9.30 S120200819 Total=1 10.00 Subject: SE -Thermodynics Place Seat Ex Venue Ex
An Introduction to Computer Science and Computer Organization Comp 150 Fall 2008
An Introduction to Computer Science and Computer Organization Comp 150 Fall 2008 Computer Science the study of algorithms, including Their formal and mathematical properties Their hardware realizations
Reasons for need for Computer Engineering program From Computer Engineering Program proposal
Reasons for need for Computer Engineering program From Computer Engineering Program proposal Department of Computer Science School of Electrical Engineering & Computer Science circa 1988 Dedicated to David
TU04. Best practices for implementing a BI strategy with SAS Mike Vanderlinden, COMSYS IT Partners, Portage, MI
TU04 Best practices for implementing a BI strategy with SAS Mike Vanderlinden, COMSYS IT Partners, Portage, MI ABSTRACT Implementing a Business Intelligence strategy can be a daunting and challenging task.
SAGE, the open source CAS to end all CASs?
SAGE, the open source CAS to end all CASs? Thomas Risse Faculty of Electrical and Electronics Engineering and Computer Sciences, Bremen University of Applied Sciences, Germany Abstract SAGE, the 'Software
Computer Programming I & II*
Computer Programming I & II* Career Cluster Information Technology Course Code 10152 Prerequisite(s) Computer Applications, Introduction to Information Technology Careers (recommended), Computer Hardware
MATHEMATICS 152, FALL 2004 METHODS OF DISCRETE MATHEMATICS
MATHEMATICS 152, FALL 2004 METHODS OF DISCRETE MATHEMATICS Last revised: September 14, 2004 Instructor: Paul Bamberg Offices: SC 423, 495-1748 and Quincy House 102, 493-3100. Quincy 102 opens off the Quincy
Sources: On the Web: Slides will be available on:
C programming Introduction The basics of algorithms Structure of a C code, compilation step Constant, variable type, variable scope Expression and operators: assignment, arithmetic operators, comparison,
A numerically adaptive implementation of the simplex method
A numerically adaptive implementation of the simplex method József Smidla, Péter Tar, István Maros Department of Computer Science and Systems Technology University of Pannonia 17th of December 2014. 1
A Reference Architecture for Distributed Software Deployment
A Reference Architecture for Distributed Software Deployment Delft University of Technology, EEMCS, Department of Software Technology June 3, 2013 A Reference Architecture for Distributed Software Deployment
Development of Specialized Modelling Tools for Crystal Growth Processes
International Scientific Colloquium Modelling for Material Processing Riga, June 8-9, 2006 Development of Specialized Modelling Tools for Crystal Growth Processes A. Rudevics, A. Muiznieks, B. Nacke, V.
Nupic Web Application development
Nupic Web Application development Contents Focus in... 1 Why to build a Web Application?... 1 The common data flow schema... 1 Tools... 2 Preparations... 2 Download/Install Django... 2 Check if Django
CSE 265: System and Network Administration. CSE 265: System and Network Administration
CSE 265: System and Network Administration MW 9:10-10:00am Packard 258 F 9:10-11:00am Packard 112 http://www.cse.lehigh.edu/~brian/course/sysadmin/ Find syllabus, lecture notes, readings, etc. Instructor:
M.S. Computer Science Program
M.S. Computer Science Program Pre-requisite Courses The following courses may be challenged by sitting for the placement examination. CSC 500: Discrete Structures (3 credits) Mathematics needed for Computer
CS 377: Operating Systems. Outline. A review of what you ve learned, and how it applies to a real operating system. Lecture 25 - Linux Case Study
CS 377: Operating Systems Lecture 25 - Linux Case Study Guest Lecturer: Tim Wood Outline Linux History Design Principles System Overview Process Scheduling Memory Management File Systems A review of what
The Piranha computer algebra system. introduction and implementation details
: introduction and implementation details Advanced Concepts Team European Space Agency (ESTEC) Course on Differential Equations and Computer Algebra Estella, Spain October 29-30, 2010 Outline A Brief Overview
ANALYTICS CENTER LEARNING PROGRAM
Overview of Curriculum ANALYTICS CENTER LEARNING PROGRAM The following courses are offered by Analytics Center as part of its learning program: Course Duration Prerequisites 1- Math and Theory 101 - Fundamentals
Programming Languages & Tools
4 Programming Languages & Tools Almost any programming language one is familiar with can be used for computational work (despite the fact that some people believe strongly that their own favorite programming
Government of Russian Federation. Faculty of Computer Science School of Data Analysis and Artificial Intelligence
Government of Russian Federation Federal State Autonomous Educational Institution of High Professional Education National Research University «Higher School of Economics» Faculty of Computer Science School
SCIENTIFIC COMPUTING AND PROGRAMMING IN THE CLOUD USING OPEN SOURCE PLATFORMS: AN ILLUSTRATION USING WEIGHTED VOTING SYSTEMS
SCIENTIFIC COMPUTING AND PROGRAMMING IN THE CLOUD USING OPEN SOURCE PLATFORMS: AN ILLUSTRATION USING WEIGHTED VOTING SYSTEMS Mohamed I Jamaloodeen Georgia Gwinnet College School of Science and Technology
