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
