bugAxiom Computer Algebra System - Bugs: bug #9218, problems with output of D

 
 

You are not allowed to post comments on this tracker with your current authentication level.

bug #9218: problems with output of D

Submitter:  Martin Rubey <kratt6>
Submitted:  Fri 04 Jun 2004 08:26:31 AM UTC
   
 
Category:  None Severity:  3 - Normal
Item Group:  code bug Status:  None
Privacy:  Public Assigned to:  None
Originator Name:  kratt6 Open/Closed:  Open
Release:  tla from may 2004 Reproducibility:  None
Fixed Release: 
Error message: 


Example of code trigerring the bug: 

eval(D(f(x),x),f,y+->sum(g(i,y),i=a..y))

Internal cause: 

I think, the real internal cause is that axiom assumes that everything can be nicely differentiated, thus not providing a possibility of returning an unevaluated differential operator...

Also consider:
(13) -> D(f(x,x),x)

   (13)  f  (x,x) + f  (x,x)
          ,2         ,1
                                                     Type: Expression Integer

(which is correct)

Fri 04 Jun 2004 08:28:53 AM UTC, comment #1: 

I forgot to add the following:

(17) -> eval(z,x,2)

   (17)  %defsum  (g(%C),%C,i,a,2)
                ,5
                                                     Type: Expression Integer

is questionable (but may be interpreted correctly)

Martin

Martin Rubey <kratt6>
Fri 04 Jun 2004 08:26:31 AM UTC, original submission:  

 eval(D(f(x),x),f,y+->sum(g(i),i=a..y))

   (9)  %defsum  (g(%A),%A,i,a,x)
               ,5

although this is correct, it looks rather strange...

Worse:

(12) -> eval(D(f(x),x),f,y+->sum(g(i,y),i=a..y))

   (12)  %defsum  (g(%A,%%01),%A,i,a,x)
                ,5
                                                     Type: Expression Integer

Martin Rubey <kratt6>

 

(Note: upload size limit is set to 16384 kB, after insertion of the required escape characters.)

No files currently attached

 

Depends on the following items: None found

Items that depend on this one: None found

 

Carbon-Copy List
  • -email is unavailable- added by axiom (Updated the item)
  •  

    There are 0 votes so far. Votes easily highlight which items people would like to see resolved in priority, independently of the priority of the item set by tracker managers.

     

    Follows 1 latest change.

    Date Changed by Updated Field Previous Value => Replaced by
    2008-11-25 axiom Internal causeI think, the real internal cause is that axiom assumes that everything can be nicely differentiated, thus not providing a possibility of returning an unevaluated differential operator... Also consider: (13) -&gt; D(f(x,x),x) (13) f (x,x) + f (x,x) ,2 ,1 Type: Expression Integer (which is correct) I think, the real internal cause is that axiom assumes that everything can be nicely differentiated, thus not providing a possibility of returning an unevaluated differential operator... Also consider: (13) -> D(f(x,x),x) (13) f (x,x) + f (x,x) ,2 ,1 Type: Expression Integer (which is correct)

    Back to the top

    Powered by Savane 3.13-4448.
    Corresponding source code