Opened 10 years ago

Last modified 7 years ago

## #13347 new task

# Check doctest examples using QuotientRings, which do not fulfill the assumptions made on the ideal — at Initial Version

Reported by: | tfeulner | Owned by: | mvngu |
---|---|---|---|

Priority: | major | Milestone: | sage-6.4 |

Component: | doctest coverage | Keywords: | |

Cc: | mstreng | Merged in: | |

Authors: | Reviewers: | ||

Report Upstream: | N/A | Work issues: | |

Branch: | Commit: | ||

Dependencies: | Stopgaps: |

### Description

The following files use quotient rings in their doctest examples, which contradict the assumption on the defining ideal:

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`

`, for all`

`x,y\in R`

.

- sage/categories/pushout.py : line 2393
- sage/categories/rings.py : lines 446, 482, 522
- sage/structure/category_object.pyx : line 473
- sage/rings/quotient_ring_element.py : lines 56, 98, 208
- sage/rings/morphism.pyx : line 465
- sage/rings/ring.pyx: lines 409, 708, 792

These examples have to be modified, one possibility is that they use quotient rings which fulfill the assumption or the reduce function of the corresponding ideal class must be provided.

See also trac:13345 and https://groups.google.com/d/topic/sage-devel/s5y604ZPiQ8/discussion.

**Note:**See TracTickets for help on using tickets.