help links subscribe changes refresh edit

	IssueTracker
#430 Bad compilation of Spad code due to `nested' one-armed if-statement ←	↑	→ #432 List doesn't check for circularity in length

#431 exponentiation wrong in 'LODO'

Edit detail for #431 exponentiation wrong in 'LODO' revision 3 of 6

	1 2 3 4 5 6
Editor: kratt6 Time: 2008/08/31 03:55:57 GMT-7
Note: fixed in FriCAS revision 346

added:

From kratt6 Sun Aug 31 03:55:56 -0700 2008
From: kratt6
Date: Sun, 31 Aug 2008 03:55:56 -0700
Subject: fixed in FriCAS revision 346
Message-ID: <20080831035556-0700@axiom-wiki.newsynthesis.org>

Status: open => fixed somewhere

fricas

(1) -> Dx: LODO(EXPR INT, f+->D(f,x)) := D();

Type: LinearOrdinaryDifferentialOperator?(Expression(Integer),theMap(*1;anonymousFunction;0;initial;internal))

fricas

u := operator 'u;

Type: BasicOperator?

fricas

L := Dx + u(x);

Type: LinearOrdinaryDifferentialOperator?(Expression(Integer),theMap(*1;anonymousFunction;0;initial;internal))

fricas

L**2 = L*L

   There are no library operations named ** 
      Use HyperDoc Browse or issue
                                 )what op **
      to learn if there is any operation containing " ** " in its name.

   Cannot find a definition or applicable library operation named ** 
      with argument type(s) 
LinearOrdinaryDifferentialOperator(Expression(Integer),theMap(*1;anonymousFunction;0;initial;internal))
                               PositiveInteger

      Perhaps you should use "@" to indicate the required return type, 
      or "$" to specify which version of the function you need.

fricas

)cl co

   All user variables and function definitions have been cleared.
   All )browse facility databases have been cleared.
   Internally cached functions and constructors have been cleared.
   )clear completely is finished.
f: INT->INT:=x+->x+1

$\label{eq1}\mbox{theMap (...)}$