login  home  contents  what's new  discussion  bug reports help  links  subscribe  changes  refresh  edit

 Submitted by : kratt6 at: 2008-08-29T05:18:31-07:00 (11 years ago) Name : Axiom Version : default friCAS-20090114 Axiom-20050901 OpenAxiom-20091012 OpenAxiom-20110220 OpenAxiom-Release-141 Category : Axiom Aldor Interface Axiom Compiler Axiom Library Axiom Interpreter Axiom Documentation Axiom User Interface building Axiom from source lisp system MathAction Doyen CD Reduce Axiom on Windows Axiom on Linux Severity : critical serious normal minor wishlist Status : open closed rejected not reproducible fix proposed fixed somewhere duplicate need more info Optional subject :   Optional comment :

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 (1)
Type: Equation(LinearOrdinaryDifferentialOperator?(Expression(Integer),theMap(*1;anonymousFunction;0;initial;internal)))

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: Type
axiom
L := x::K+1;
Type: UnivariateSkewPolynomial?(x,Integer,R -> R,theMap(*1;anonymousFunction;1;initial;internal))
axiom
L^2=L*L (3)
Type: Equation(UnivariateSkewPolynomial?(x,Integer,R -> R,theMap(*1;anonymousFunction;1;initial;internal)))

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

From Fricas --alfredo, Thu, 16 Oct 2008 13:01:25 -0700 reply