diff --git a/Kernel_d/include/CGAL/Kernel_d/Matrix__.h b/Kernel_d/include/CGAL/Kernel_d/Matrix__.h index 8d64f866565..db5b35633c4 100644 --- a/Kernel_d/include/CGAL/Kernel_d/Matrix__.h +++ b/Kernel_d/include/CGAL/Kernel_d/Matrix__.h @@ -431,8 +431,7 @@ Matrix_& operator-=(const Matrix_&); Matrix_& operator+=(const Matrix_&); Matrix_ operator*(const Matrix_& M1) const; -/*{\Mbinop Multiplication. \precond \\ -|\Mvar.column_dimension() = M1.row_dimension()|. }*/ +/*{\Mbinop Multiplication. \precond \\ |\Mvar.column_dimension() = M1.row_dimension()|. }*/ Vector_ operator*(const Vector_& vec) const diff --git a/Kernel_d/include/CGAL/Kernel_d/Vector__.h b/Kernel_d/include/CGAL/Kernel_d/Vector__.h index a2a8e7c7d35..b03e4be341a 100644 --- a/Kernel_d/include/CGAL/Kernel_d/Vector__.h +++ b/Kernel_d/include/CGAL/Kernel_d/Vector__.h @@ -240,16 +240,13 @@ const_iterator begin() const { return v_; } const_iterator end() const { return v_+d_; } Vector_ operator+(const Vector_& v1) const; -/*{\Mbinop Addition. \precond\\ -|v.dimension() == v1.dimension()|.}*/ +/*{\Mbinop Addition. \precond\\ |v.dimension() == v1.dimension()|.}*/ Vector_ operator-(const Vector_& v1) const; -/*{\Mbinop Subtraction. \precond\\ -|v.dimension() = v1.dimension()|.}*/ +/*{\Mbinop Subtraction. \precond\\ |v.dimension() = v1.dimension()|.}*/ NT operator*(const Vector_& v1) const; -/*{\Mbinop Inner Product. \precond\\ -|v.dimension() = v1.dimension()|.}*/ +/*{\Mbinop Inner Product. \precond\\ |v.dimension() = v1.dimension()|.}*/ Vector_ compmul(const NT& r) const; @@ -261,8 +258,7 @@ Vector_& operator+=(const Vector_& v1); |v.dimension() == v1.dimension()|.}*/ Vector_& operator-=(const Vector_& v1); -/*{\Mbinop Subtraction plus assignment. \precond\\ -|v.dimension() == v1.dimension()|.}*/ +/*{\Mbinop Subtraction plus assignment. \precond\\ |v.dimension() == v1.dimension()|.}*/ Vector_& operator*=(const NT& s); /*{\Mbinop Scalar multiplication plus assignment.}*/