What Is COSY?

COSY is a system for the use of various advanced concepts of modern scientific computing. COSY currently has more than 1000 registered users and has been extensively cross-checked and  verified. The COSY system consists of the following parts.

1) A collection of advanced highly optimized Data Types. In particular:

- The Differential Algebraic types for high-order multivariate study of ODEs, Flows, and PDEs. Also allow high-order multivariate automatic differentiation.

- The Taylor Model type for rigorous high-order computing with often far-reaching suppression of dependency. Tools for range bounding, derivative-based box rejection, constraint satisfaction, ODEs and PDEs.

2) The COSYScript environment for the use of these types. It is object oriented and supports polymorphism, has a compact and simple syntax, and is compiled and executed on the fly. It has built-in optimization constructs, and is used for high turn around simulation.

3) Interfaces for C++ and F90 to seamlessly use the types in external programs in these object oriented languages.  

Michigan State University - B149 Biomedical & Physical Sciences Building, East Lansing, MI 48824

Web page maintained by Kyoko Makino

What Else Is COSY INFINITY?

COSY is also a collection of application packages. The following are the major packages currently available:

1) The Beam Physics package cosy.fox (see below)

2) The Rigorous Computing package TM.fox

3) The Rigorous Global Optimizer COSY-GO

4) The Rigorous Verified Integrator COSY-VI

Manual and Introduction

Detailed information on the various COSY application packages, on the data types supported by COSY, and the three currently available language environments can be found on the Manual page.

New users might want to utilize a Online Lecture on the use of COSYScript, with an emphasis on Beam Physics use. The lecture is provided courtesy of our online VUBeam Beam Physics degree program. It consists of a the Lecture Soundtrack as well as the accompanying Lecture Notes which are best used together. The audio part requires the Real player. For any further specific questions, please feel free to contact the COSY Help Desk.

New User Registration

COSY INFINITY is copyrighted by the Board of Trustees of Michigan State University, partly licensed from Martin Berz, and is being distributed by the Center for Beam Theory and Dynamical Systems at the Department of Physics and Astronomy. The code is currently distributed free of charge to non-commercial users; various types of licenses for commercial use are also available.
Each individual who wants to run the code has to apply for a personal license. This license grants access to versions of the code for various platforms, but does not permit re-distribution of the code.

User's Agreement

As part of the registration process, new users will be asked to print the User's Agreement on the official letterhead of their organization, and fax a signed copy of that document to 1-517-913-5901 (USA). (These instructions will be repeated after using the online registration form.)

Download COSY Source

COSY INFINITY is available for download by registered users. To do so, you have to supply the user name and password that were assigned during your registration process. If you have not registered but want to obtain the code, register now. If you are a registered user but have forgotten your password or want a customized password, please contact us at support@cosyinfinity.org

The Beam Physics Package

COSY INFINITY is an arbitrary order beam dynamics simulation and analysis code. It allows the study of accelerator lattices, spectrographs, beamlines, electron microscopes, and many other devices. It can determine high-order maps of combinations of particle optical elements of arbitrary field configurations. The elements can either be based on a large library of existing elements with realistic field configurations including fringe fields, or described in detail by measured data.

Analysis options include computation of high-order nonlinearities; analysis of properties of repetitive motion via chromaticities, normal form analysis, and symplectic tracking; analysis of single-pass systems resolutions, reconstructive aberration correction, and consideration of detector errors; and analysis of spin dynamics via computation of spin maps, spin normal form and spin tracking.

Beam Physics Input Converters

There are various tools to convert input files from the MAD, SXF, GICOSY and OptiM formats into COSY-compatible input directly on the web.

MAD Converter  SXF Converter  GICOSY Converter  OptiM Converter