Hi
Maxima gives errors in situations where there
should be no error and this is a serious
problem for writing robust programs:
- linsolve gives an error if the system
has no solution (there is a fix for this
by setting a global variable
but it should work by default, systems
may or may not have solutions and it is
not a bug to have no solutions)
- ratcoeff gives an error when the
expression is zero (why does it have to be so?)
- operatorp gives an error if the
argument is atomic (this is a less serious
problem but it makes Maxima incompatible
with Macsyma and makes writing the code
more cumber in some situations)
Is there a way to have ratcoeff work when the
argument is zero without having to check the
expression?
This would mean that a programmer would
have to either prove mathematically that
in its program the argument is never zero,
of it this is not possible he/she
should always check if it is zero.
Fabrizio