Learn how easy it is to sync an existing GitHub or Google Code repo to a SourceForge project! See Demo

Close

#509 declare evenfun/oddfun

closed
nobody
3
2010-05-30
2004-02-09
Stavros Macrakis
No

declare(f,evenfun)
declare(f,oddfun) =>
Inconsistent Declaration: ... -- an error.

But if f(x):=0 it is both an evenfun (i.e. f(x)=f(-x)) and
an oddfun (f(x)=-f(-x)).

So this should be a warning, e.g.

Warning: f is being declared as both an evenfun and an
oddfun; therefore f is the constant function 0.

Discussion

  • Robert Dodier
    Robert Dodier
    2006-07-23

    • labels: --> Lisp Core - Assume
     
  • Robert Dodier
    Robert Dodier
    2006-07-23

    Logged In: YES
    user_id=501686

    Observed in 5.9.3cvs.

     
  • Dieter Kaiser
    Dieter Kaiser
    2010-05-15

    I would like to suggest to close this bug report as "won't" fix.
    We can implement code in the routine declarekind to handle this very special case. But it might be overly cautious to handle this case and the warning might confuse a user.

    Setting the status to pending and the resolution to "wont fix".
    Dieter Kaiser

     
  • Dieter Kaiser
    Dieter Kaiser
    2010-05-15

    • status: open --> pending
     
  • This Tracker item was closed automatically by the system. It was
    previously set to a Pending status, and the original submitter
    did not respond within 14 days (the time period specified by
    the administrator of this Tracker).

     
    • status: pending --> closed