# HG changeset patch
# User J. H. Palmieri <palmieri@math.washington.edu>
# Date 1259218047 28800
# Node ID 1058f4eb4754911cf2b0427b225661ca7ef96447
# Parent 46d336f542b748b04c519625451021ae45b6a6f5
ref patch for #7457
diff -r 46d336f542b7 -r 1058f4eb4754 sage/rings/quotient_ring.py
a
|
b
|
|
36 | 36 | def QuotientRing(R, I, names=None): |
37 | 37 | r""" |
38 | 38 | Creates a quotient ring of the ring `R` by the ideal `I`. Variables are |
39 | | labeled by ``names``. (If the quotient ring is a quotient of a |
40 | | polynomial ring.). If ``names`` isn't given, 'bar' will be appended to |
| 39 | labeled by ``names`` (if the quotient ring is a quotient of a |
| 40 | polynomial ring). If ``names`` isn't given, 'bar' will be appended to |
41 | 41 | the variable names in `R`. |
42 | 42 | |
43 | 43 | INPUTS: |
diff -r 46d336f542b7 -r 1058f4eb4754 sage/rings/ring.pyx
a
|
b
|
|
692 | 692 | return False |
693 | 693 | |
694 | 694 | if proof: |
695 | | raise NotImplementedError |
| 695 | return NotImplementedError |
696 | 696 | else: |
697 | 697 | return False |
698 | 698 | |