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

	1 2 3 4 5 6
Editor: kratt6 Time: 2008/08/29 05:18:31 GMT-7
Note:

changed:
-
\begin{axiom}
Dx: LODO(EXPR INT, f+->D(f,x)) := D()
u := operator 'u
L := Dx + u(x)
L**2 = L*L
\end{axiom}

or 

\begin{axiom}
f: INT->INT:=x+->x+1
K := OREUP ( x, INT, 1, f)
L:K :=x+1
L^2=L*L
\end{axiom}

Reason is, that exponentiation is not taken from Monoid, but from SUP.

Martin

axiom

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

(1)

Type: LinearOrdinaryDifferentialOperator?(Expression Integer,theMap LAMBDA-CLOSURE(NIL,NIL,NIL,G1421 envArg,SPADCALL(G1421,QUOTE x,ELT(*1;anonymousFunction;0;initial;internal;MV,0))))

axiom

u := operator 'u

(2)

Type: BasicOperator?

axiom

L := Dx + u(x)

(3)

Type: LinearOrdinaryDifferentialOperator?(Expression Integer,theMap LAMBDA-CLOSURE(NIL,NIL,NIL,G1421 envArg,SPADCALL(G1421,QUOTE x,ELT(*1;anonymousFunction;0;initial;internal;MV,0))))

axiom

L**2 = L*L

(4)

Type: Equation LinearOrdinaryDifferentialOperator?(Expression Integer,theMap LAMBDA-CLOSURE(NIL,NIL,NIL,G1421 envArg,SPADCALL(G1421,QUOTE x,ELT(*1;anonymousFunction;0;initial;internal;MV,0))))

axiom

f: INT->INT:=x+->x+1

(5)

Type: (Integer -> Integer)

axiom

K := OREUP ( x, INT, 1, f)

(6)

Type: Domain

axiom

L:K :=x+1

   You cannot declare L to be of type UnivariateSkewPolynomial(x,
      Integer,R -> R,theMap LAMBDA-CLOSURE(NIL,NIL,NIL,G1432 envArg,
      SPADCALL(G1432,1,ELT(*1;anonymousFunction;1;initial;internal;MV,0
      )))) because either the declared type of L or the type of the
      value of L is different from UnivariateSkewPolynomial(x,Integer,
      R -> R,theMap LAMBDA-CLOSURE(NIL,NIL,NIL,G1432 envArg,SPADCALL(
      G1432,1,ELT(*1;anonymousFunction;1;initial;internal;MV,0)))) .
L^2=L*L

(7)

Type: Equation LinearOrdinaryDifferentialOperator?(Expression Integer,theMap LAMBDA-CLOSURE(NIL,NIL,NIL,G1421 envArg,SPADCALL(G1421,QUOTE x,ELT(*1;anonymousFunction;0;initial;internal;MV,0))))

Reason is, that exponentiation is not taken from Monoid, but from SUP.

Martin