added precond d!=0 for constructor

2008-10-06 11:48:52 +00:00 · 2008-10-06 11:48:52 +00:00 · 2c8cd4f7b3
parent 5a40803e35
commit 2c8cd4f7b3
1 changed files with 2 additions and 1 deletions
--- a/Number_types/doc_tex/NumberTypeSupport_ref/Quotient.tex
+++ b/Number_types/doc_tex/NumberTypeSupport_ref/Quotient.tex
@ -42,7 +42,8 @@ A \ccStyle{Quotient<NT>} \ccStyle{q} is represented as a pair of
 NT needs to have a constructor from T.}
 \ccGlue
 \ccConstructor{Quotient(const NT& n, const NT& d)}
-            {introduces the quotient \ccStyle{n/d}.}
+            {introduces the quotient \ccStyle{n/d}.\\
+            \ccPrecond $d \neq 0$.         }


 \ccOperations