Changes between Version 2 and Version 7 of Ticket #13347
- Timestamp:
- 08/26/15 23:50:39 (4 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Ticket #13347
-
Property
Milestone
changed from
sage-5.11tosage-6.4
-
Property
Milestone
changed from
-
Ticket #13347 – Description
v2 v7 3 3 ASSUMPTION: 4 4 5 ` `I`` has a method ``I.reduce(x)`` returning the normal form5 `I` has a method `I.reduce(x)` returning the normal form 6 6 of elements `x\in R`. In other words, it is required that 7 ` `I.reduce(x)==I.reduce(y)`` `\iff x-y \in I`, and8 ` `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`. 9 9 10 10 - sage/categories/pushout.py :
