Changes between Version 2 and Version 7 of Ticket #13347


Ignore:
Timestamp:
08/26/15 23:50:39 (4 years ago)
Author:
saraedum
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #13347

    • Property Milestone changed from sage-5.11 to sage-6.4
  • Ticket #13347 – Description

    v2 v7  
    33ASSUMPTION:
    44
    5     ``I`` has a method ``I.reduce(x)`` returning the normal form
     5    `I` has a method `I.reduce(x)` returning the normal form
    66    of elements `x\in R`. In other words, it is required that
    7     ``I.reduce(x)==I.reduce(y)`` `\iff x-y \in I`, and
    8     ``x-I.reduce(x) in I``, for all `x,y\in R`.
     7    `I.reduce(x)==I.reduce(y)` `\iff x-y \in I`, and
     8    `x-I.reduce(x) in I`, for all `x,y\in R`.
    99
    1010- sage/categories/pushout.py :