[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Axiom-mail] Unexpected results w.r.t. exponential operation of LODO
From: |
Martin Rubey |
Subject: |
Re: [Axiom-mail] Unexpected results w.r.t. exponential operation of LODO (with july2008 release) |
Date: |
31 Aug 2008 12:52:05 +0200 |
User-agent: |
Gnus/5.09 (Gnus v5.9.0) Emacs/21.4 |
"Liu Xiaojun" <address@hidden> 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