"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 --~--~---------~--~----~------------~-------~--~----~ You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To post to this group, send email to [email protected] To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options, visit this group at http://groups.google.com/group/fricas-devel?hl=en -~----------~----~----~----~------~----~------~--~---
