# Changes between Version 2 and Version 7 of Ticket #13347

Ignore:
Timestamp:
08/26/15 23:50:39 (7 years ago)
Comment:

### Legend:

Unmodified
• Property Milestone changed from sage-5.11 to sage-6.4
 v2 ASSUMPTION: I has a method I.reduce(x) returning the normal form 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, for all x,y\in R. I.reduce(x)==I.reduce(y) \iff x-y \in I, and x-I.reduce(x) in I, for all x,y\in R. - sage/categories/pushout.py :