Package sage :: Package misc :: Module proof
[show private | hide private]
[frames | no frames]

Module sage.misc.proof

Whether or not computations are provably correct.
Variable Summary
bool proof = False

Variable Details

proof

Type:
bool
Value:
False                                                                  

Generated by Epydoc 2.1 on Fri Jun 24 17:58:45 2005 http://epydoc.sf.net