On 9/6/07, Jaap Spies <[EMAIL PROTECTED]> wrote:
>
> John Cremona wrote:
> > I agree with Nils!
> >
>
> +1
>
+1. OK.
However, I've also added this function to make it really easy to
turn off proof=True globally for just number field stuff:
sage: number_field_proof?
Set or get the global number field proof option.
EXAMPLES:
sage: number_field_proof()
True
sage: number_field_proof(False)
sage: number_field_proof()
False
sage: number_field_proof(True)
sage: number_field_proof()
True
William
--~--~---------~--~----~------------~-------~--~----~
To post to this group, send email to sage-devel@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at http://groups.google.com/group/sage-devel
URLs: http://sage.scipy.org/sage/ and http://modular.math.washington.edu/sage/
-~----------~----~----~----~------~----~------~--~---
