|
|
|
last edited 16 years ago by alfredo |
Edit detail for #431 exponentiation wrong in 'LODO' revision 5 of 6
| 1 2 3 4 5 6 | ||
|
Editor: alfredo
Time: 2008/10/16 13:01:25 GMT-7 |
||
| Note: From Fricas | ||
added:
From alfredo Thu Oct 16 13:01:25 -0700 2008
From: alfredo
Date: Thu, 16 Oct 2008 13:01:25 -0700
Subject: From Fricas
Message-ID: <20081016130125-0700@axiom-wiki.newsynthesis.org>
http://fricas.svn.sourceforge.net/viewvc/fricas/trunk/src/algebra/ore.spad.pamphlet?r1=257&r2=346&view=patch
axiom
Dx: LODO(EXPR INT, f+->D(f,x)) := D();
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;
Type: BasicOperator?
axiom
L := Dx + u(x);
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
 | (1) |
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))))
or
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
 | (2) |
Type: (Integer -> Integer)
axiom
K := OREUP(x, INT, 1, f);
Type: Domain
axiom
L := x::K+1;
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))))
axiom
L^2=L*L
 | (3) |
Type: Equation UnivariateSkewPolynomial?(x,Integer,R -> R,theMap LAMBDA-CLOSURE(NIL,NIL,NIL,G1432 envArg,SPADCALL(G1432,1,ELT(*1;anonymousFunction;1;initial;internal;MV,0))))
Reason is, that exponentiation is not taken from Monoid, but from SUP.
Martin
fixed in FriCAS? revision 346 --kratt6, Sun, 31 Aug 2008 03:55:56 -0700 reply
Status: open => fixed somewhere