Exceptions.

[Tatiana Zolo]

Hi.

I have problems in understanding GiNaC policy regarding the choice of
exceptions thrown.

The operator `operator/' defined on objects of the class `numeric'
throws a `runtime_error' in the case of a division by zero. In contrast,
the `operator/' defined on objects of the class `ex' throws a
`logic_error' in the case of a division by zero.

Why is there such a difference?

According to the standard, the exception `logic_error' should be used
when errors could have been detected before program execution: I thus
believe that a `runtime_error' should be thrown even in the case of an
`ex' object.

The same argument hold for the exception thrown by `power':
            logic_error: power::eval(): division by zero.

Thanks
    Tatiana Zolo