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 6 of 6

	1 2 3 4 5 6
Editor: alfredo Time: 2008/10/16 13:01:39 GMT-7
Note:

added:

From alfredo Thu Oct 16 13:01:39 -0700 2008
From: alfredo
Date: Thu, 16 Oct 2008 13:01:39 -0700
Subject: 
Message-ID: <20081016130139-0700@axiom-wiki.newsynthesis.org>

Status: fixed somewhere => fix proposed

axiom

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

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

axiom

u := operator 'u;

Type: BasicOperator?

axiom

L := Dx + u(x);

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

axiom

L**2 = L*L

$\label{eq1}\begin{array}{@{}l} \displaystyle {{D^2}+{2 \ {u \left({x}\right)}\ D}+{{u_{\ }^{,}}\left({x}\right)}+{{u \left({x}\right)}^2}}= \ \ \displaystyle {{D^2}+{2 \ {u \left({x}\right)}\ D}+{{u_{\ }^{,}}\left({x}\right)}+{{u \left({x}\right)}^2}}$

(1)

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

axiom

)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{eq2}\mbox{theMap (...)}$