Re: [sage-devel] Renaming the debugging function trace() to trace_execution()

2010-11-14 Thread William Stein
On Sat, Nov 13, 2010 at 3:02 PM, Jeroen Demeyer wrote: > At #9704, there is a positively reviewed proposal to rename the > debugging function trace() to trace_execution() and to use trace() in > the mathematical sense. > > I have nothing to do with that ticket, but I would like to point it out > i

Re: [sage-devel] Renaming the debugging function trace() to trace_execution()

2010-11-13 Thread Dr. David Kirkby
On 11/13/10 11:02 PM, Jeroen Demeyer wrote: At #9704, there is a positively reviewed proposal to rename the debugging function trace() to trace_execution() and to use trace() in the mathematical sense. I have nothing to do with that ticket, but I would like to point it out in case some people re

[sage-devel] Renaming the debugging function trace() to trace_execution()

2010-11-13 Thread Jeroen Demeyer
At #9704, there is a positively reviewed proposal to rename the debugging function trace() to trace_execution() and to use trace() in the mathematical sense. I have nothing to do with that ticket, but I would like to point it out in case some people really think that it's a bad idea. Jeroen. --