Re: Unexpected results w.r.t. exponential operation of LODO (with july2008 release)

"Liu Xiaojun" <[email protected]> writes:

> (1)-> f: INT->INT:=x+->x+1
> 
> (2) -> K := OREUP ( x, INT, 1, f)

Note that this violates the assumptions on sigma and delta - sigma has to be a
Ring homomorphism and delta has to be additive and in a certain way compatible
with sigma!  I guess you wanted something like

f: UP(n, INT) -> UP(n, INT) := p +-> p.(n+1)
g: UP(n, INT) -> UP(n, INT) := p +-> 0
K := OREUP(E, UP(n, INT), morphism f, g)
M := E::K+n

Martin