Axiom 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...

Fri 04 Jun 2004 08:28:53 AM UTC, comment #1: 
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)) 
Martin Rubey <kratt6> 
No files currently attached
Depends on the following items: None found
Items that depend on this one: None found
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 

20081125  axiom  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)  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) 
Powered by Savane 3.12.
Corresponding source code
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