INTLAB - INTerval LABoratory
INTLAB ist die von S. Rump für Matlab entwickelte Toolbox für selbst-validierende Algorthmen. Nutzbar ist INTLAB in der Version 6 in den Linux-Pools durch Aufruf der Matlab-Versionen 2011a oder 2011b. Nach Aufruf von matlab2011b sollten folgende Initialisierungsmeldungen erscheinen:===> Initialization of INTLAB toolbox ===> rounding checked and no errors detected ************************************************************** *** Welcome to INTLAB - INTerval LABoratory Version 6 *** *** The Matlab toolbox for Reliable Computing *** *** Siegfried M. Rump, Insitute for Reliable Computing *** *** Hamburg University of Technology, Germany *** ************************************************************** ===> Constants for rigorous standard functions successfully computed ===> width of display 120 characters ===> Default display of intervals with uncertainty (e.g. 3.14_), changed to inf/sup or mid/rad if input too wide ===> Complex interval stdfct used automatically for real interval input out of range, but with warning ===> Improved residual calculation in verifylss ===> Verifylss for dense systems applies second stage only if first stage fails ===> Fast interval matrix multiplication in use (maximum overestimation factor 1.5 in radius, see FAQ) ===> Real interval arrays automatically transformed to complex array if a component is assigned a complex value (without warning) ===> Warning issued when complex interval defined by infsup(zinf,zsup) ===> Long arithmetic computations with error terms, i.e. valid long error bounds ===> Default sparse display of univariate polynomials ===> Default evaluation univariate polynomials by Horner's scheme ===> Default evaluation multivariate polynomials by sums of scaled powers ===> Polynomial function executed with warning if input polynomial does not depend on specified variable ===> Warning issued when accessing .s of sparse 2-dimensional slope ===> Gradient derivative stored sparse for 50 and more unknowns ===> Warning issued when accessing .dx of sparse 2-dimensional gradient ===> Hessian derivatives stored sparse for 10 and more unknowns ===> Warning issued when accessing .dx or .hx of sparse hessian array ============================================================================== ============================================================================== ***** Commercial use or use in conjunction with a commercial program ***** ***** which requires INTLAB or part of INTLAB to function properly ***** ***** is prohibited. ***** ***** ***** ***** INTLAB can be freely used for private and academic purposes ***** ***** provided proper reference is given to ***** ***** S.M. Rump: INTLAB - INTerval LABoratory. In Tibor Csendes, ***** ***** editor, Developments in Reliable Computing, pages 77-104. ***** ***** Kluwer Academic Publishers, Dordrecht, 1999. ***** ============================================================================== ==============================================================================Weiter kann mit help fortgefahren werden:
>> help Intlab_V6 INTLAB INTerval LABoratory. Version 6 30-March-2010 894 files, 802 m-files, 29,501 lines of Matlab code w/o comments (48,764 with comments), supported by a test- case library with 60,775 lines of Matlab code w/o comments ========================================================================= ***** Free for private and academic use. Commercial use or use in ***** ***** conjunction with a commercial program which requires INTLAB ***** ***** or part of INTLAB for proper function is prohibited. ***** ***** See the file README.TXT for details of copyright. ***** ========================================================================= Directories and toolboxes intval - Interval package gradient - Automatic differentiation package hessian - Automatic Hessian package taylor - Automatic Taylor package slope - Automatic slope package polynom - Polynomial package (univariate and multivariate) long - Rudimentary long package utility - Some useful functions AccSum - Reference implementations for sum/dot routines demos - several demo routines INTLAB_Version_6 - Additions and changes in version 6 FAQ - Frequently asked questions Readme - Installation, a little tutorial and miscellaneous
Fragen zur Installation unter Linux beantwortet Ingo Tessmann.