next up previous contents
Next: Setting the debug option Up: Execution problems Previous: Choosing the right heuristics   Contents

Crash

You have found an ALIAS bug. First check the error message if any. If you get a message of type Abort: Division by Zero (which originates from Bias/Profil) this means that you have tried to evaluate with interval arithmetic an expression that is not allowed: see sections 2.1.4 and 2.1.5 to correct such behavior. A call to the procedures Verify_Problem_Expression, Verify_Problem_ExpressionJ before the filtering and solving procedures will usually be sufficient to solve the problem.

In all other cases we will be happy to have a look at your program and see what has gone wrong.

The bug report should contain as much information as possible so that we can repeat your problem on our computers. Clearly this report should indicate what type of computer you are using, the operating system and the C++/Maple files that have been used. It may also be interesting to give some background information on the problem you want to solve. By giving background information on the problem we may also be able to suggest another, maybe simpler, way to solve it.


next up previous contents
Next: Setting the debug option Up: Execution problems Previous: Choosing the right heuristics   Contents
Jean-Pierre Merlet 2012-12-20