axiom Dx: LODO(EXPR INT, Type: LinearOrdinaryDifferentialOperator?(Expression(Integer),
axiom u := operator 'u; Type: BasicOperator?
axiom L := Dx + u(x); Type: LinearOrdinaryDifferentialOperator?(Expression(Integer),
axiom L**2 = L*L
Type: Equation(LinearOrdinaryDifferentialOperator?(Expression(Integer),
or axiom )cl co
Type: (Integer -> Integer)
axiom K := OREUP(x, Type: Type
axiom L := x::K+1; axiom L^2=L*L
Type: Equation(UnivariateSkewPolynomial?(x,
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
http://fricas.svn.sourceforge.net/viewvc/fricas/trunk/src/algebra/ore.spad.pamphlet?r1=257&r2=346&view=patch
Status: fixed somewhere => fix proposed
|