InCLosure (Interval enCLosure): A Language and Environment for Reliable Scientific Computing

InCLosure (Interval enCLosure): A Language and Environment for Reliable Scientific Computing
InCLosure Version 4.0
Copyright (c) 2018-2023 by Hend Dawood. All rights reserved.

Support Link: http://scholar.cu.edu.eg/henddawood/software/InCLosure
Community Link: https://zenodo.org/communities/inclosure/
Releases and Updates: https://doi.org/10.5281/zenodo.2702404

New in InCLosure Version 4.0:

• Guaranteed interval enclosures of real-order fractional integrals and derivatives to an arbitrary order.
• Fast and arbitrarily-high precision numeric evaluations of real-order fractional integrals and derivatives to an arbitrary order.
• Faster interval and Taylor model computations.
• Enhancements in functionality, speed, and interface.
• Simplified syntax for direct evaluations of real and interval expressions.
• Minor bug fixes.

About InCLosure:

InCLosure (Interval enCLosure) is a Language and Environment for Reliable Scientific Computing. Interval computations are radically different from traditional numerical approximation methods and reliable computing under uncertainty is a key focus for modern research in mathematics, computer science, physics, and engineering. InCLosure is a system for carrying out reliable and self-validated computations in arbitrary precision. From its name, InCLosure (abbreviated as "InCL") focuses on "computing guaranteed interval enclosures", that is, "enclosing the exact real result in an interval".

InCLosure is powerful enough to carry out computations ranging from simple real and interval arithmetic, through symbolic and numeric integer-order differentiation to an arbitrary order, real automatic differentiation, interval automatic differentiation, interval enclosures of integer-order integrals, and Taylor model computations, up to and including guaranteed enclosures of real-order fractional integrals and derivatives to an arbitrary order. No matter how complicated the problem under consideration is, InCLosure guarantees arbitrary precisions and arbitrarily sharper intervals which are restricted only by the machine’s computational capabilities.

InCLosure supports arbitrary precision in both real and interval computations. In real arithmetic, the precision is arbitrary in the sense that it is governed only by the computational power of the machine (default is 20 significant digits). The user can change the default precision according to the requirements of the application under consideration. Since interval arithmetic is defined in terms of real arithmetic, interval computations inherit the arbitrary precision of real arithmetic with an added property that the interval subdivision method is provided with an arbitrary number of subdivisions which is also governed only by the computational power of the machine. The user can get tighter and tighter guaranteed interval enclosures by setting the desired number of subdivisions to cope with the problem at hand.

All the computations defined in terms of real and interval arithmetic (e.g., real and interval automatic differentiation, Taylor model computations, traditional and fractional calculus computations, and so forth) inherit the same arbitrary precision.

InCLosure is designed to support both interactive and batch modes. In the InCLosure interactive interface, the user can input an InCL command and see its result before moving on to the next command. InCLosure can also be used in batch mode in which case sequences of InCL commands can be given to InCLosure via InCL input files with the results saved in simple and intuitively formatted output files.

InCLosure is coded entirely in Lisp, arguably the fastest and most powerful language for scientific computations. InCLosure provides a friendly and easy-to-use user interface, a simple and intuitive language, a detailed documentation, and clear and fast results. Anyone can compute with InCLosure.

Features (version 4.0):

InCLosure provides:

• Simplified syntax for direct evaluations of real and interval expressions.
• Evaluation of multivariate real functions with arbitrary precision and arbitrary number of variables.
• Real automatic differentiation (real differentiation arithmetic) with arbitrary precision.
• Evaluation of multivariate interval functions with interval constants.
• Multivariate interval evaluations with arbitrary precision, arbitrary number of subdivisions, and arbitrary number of variables.
• Interval automatic differentiation (interval differentiation arithmetic) with arbitrary precision and arbitrary number of interval subdivisions.
• Guaranteed interval enclosures of images of families of real functions and their derivatives.
• Automatic differentiation of families of real functions.
• Symbolic and numeric integer-order differentiation to an arbitrary order.
• Guaranteed interval enclosures of integer-order integrals with arbitrary precision.
• Fast and arbitrarily-high precision Taylor model computations.
• Taylor model enclosures of images of real functions.
• Guaranteed enclosures of real-order fractional integrals and derivatives to an arbitrary order.
• Fast and arbitrarily-high precision numeric evaluations of real-order fractional integrals and derivatives to an arbitrary order.
• Simple and intuitive language and user interface.
• Batch evaluation of InCLosure commands via InCL input files with the results saved in simple and intuitively formatted output files.
• Each InCLosure session with all the commands and their results can be saved in a session file. Session files, named by date and time, are saved at the user's disposal to allow future inspection of the computations and their results.

Why InCLosure is Different:

InCLosure is more than just a mathematical software. InCLosure has been developed with a concern for correctness, for computing guaranteed enclosures under uncertainty. InCLosure goal is to provide rigorous, fast, and reliable real and interval computations. It supports arbitrary precision in both real and interval computations. Being subtle and reliable, InCLosure provides guaranteed and viable results for real world uncertainty computations (the exact real result is never missed during computations). If you want to get the right answer, then InCLosure is for you.
InCLosure is designed and coded with passion and joy, with an attempt to make the interaction between users and InCLosure not just easy, but also enjoyable. InCLosure is powerful but easy-to-use and all the functionalities are readily accessible via its friendly interface and intuitive language. From the simplest real and interval evaluations and up to the sophisticated uncertainty problems, InCLosure computations are easy to perform and no learning curve is needed.
Putting these all together, InCLosure is intended for a wide range of audience, including undergraduate students, graduate students, practitioners, and academic researchers in mathematics, computer science, engineering, and physics.

InCLosure is different. Everyone can compute with InCLosure.

System Requirements:

An appropriate version of Windows. InCLosure runs on Windows 7 32/64 bit, Windows 8 32/64 bit, Windows 10 32/64 bit, and Windows 11.