On Apr 28, 8:27 am, William Stein <[email protected]> wrote: > On Tue, Apr 27, 2010 at 10:45 AM, Rob Beezer <[email protected]> wrote: > > My students who have been using Sage all year for abstract algebra > > have taken to using Sage notation in their proofs, such as QQ and ZZ > > for the rationals and integers, rather than blackboard bold like I use > > in class. Which I take as a good sign (of something). > > > But yesterday, a student struggling with a Galois theory question on > > an exam took this to a logical extreme. He wrote: > > > sage: solve(question_two) > > --> NotImplementedError: Nice Try! > > > ;-) > > # In the notebook: > > sage: automatic_names(True) > sage: solve(question_two, answer) > [] >
Or, more traditionally: This proof is left as an exercise for the marker. > -- > You received this message because you are subscribed to the Google Groups > "sage-edu" group. > To post to this group, send email to [email protected]. > To unsubscribe from this group, send email to > [email protected]. > For more options, visit this group > athttp://groups.google.com/group/sage-edu?hl=en. -- You received this message because you are subscribed to the Google Groups "sage-edu" group. To post to this group, send email to [email protected]. To unsubscribe from this group, send email to [email protected]. For more options, visit this group at http://groups.google.com/group/sage-edu?hl=en.
