I'm just letting the list know that there is a patch
at http://trac.sagemath.org/sage_trac/ticket/13345 deprecating the default
implementation of "Ideal_generic.reduce" in favour of NotImplementedError.
Op maandag 30 juli 2012 11:36:06 UTC+2 schreef Marco Streng het volgende:
>
> 2012/7/30 Thoma
2012/7/30 Thomas Feulner :
> Hi,
>
> in the definition of a QuotientRing there is the following assumption
>
> ASSUMPTION:
>
> ``I`` has a method ``I.reduce(x)`` returning the normal form
> of elements `x\in R`. In other words, it is required that
> ``I.reduce(x)==I.reduce(y)`` `\if
Hi,
in the definition of a QuotientRing there is the following assumption
ASSUMPTION:
``I`` has a method ``I.reduce(x)`` returning the normal form
of elements `x\in R`. In other words, it is required that
``I.reduce(x)==I.reduce(y)`` `\iff x-y \in I`, and
``x-I.reduce(x) in I