Thanks for thinking about this. I debated throw error /
nounform. There are examples of both in the limit code. For limits
such as limit(x * signum(x),x,0), it seemed more logical to me to
throw an error instead of return a nounform (assuming Maxima first
tries limit of product is product of limit assuming all limits are
real valued).
Likely I'll commit this code soon--it causes no problems with the
testsuites
(last I tried).
Thanks for reviewing this code.
Barton
-----maxima-bounces at math.utexas.edu wrote: -----
>Am?Mittwoch,?den?03.02.2010,?06:35?-0600?schrieb?Barton?Willis:
>
>>?(setf?(get?'%signum?'simplim%function)?'simplim%signum)
>>
>>?(defun?simplim%signum?(e?x?pt)
>>???(let*?((e?(limit?(cadr?e)?x?pt?'think))?(sgn?(mnqp?e?0)))
>>?????(cond?((eq?t?sgn)?(take?'(%signum)?e))?;;?limit?of?argument?of
signum
>>????is?not?zero
>>????((eq?nil?sgn)?'$und)?????????????;;?limit?of?argument?of?signum?is
zero
>>????(noncontinuous)
>>????(t?(throw?'limit?nil)))))????????;;?don't?know
>
>At?first?I?was?not?sure?about?the?last?line?of?your?code.?The?first?time
>I?introduced?a?simplim%function?I?thought?it?is?the?best?to?return
>always?a?simplified?expression,?e.g.?a?noun?form,?when?nothing?is?known
>about?the?limit.?But?I?have?not?studied?this?point?in?detail?again.?To
>throw?'limit?might?be?even?better.
>