songsenand
/
cgal
mirror of https://github.com/CGAL/cgal
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

CGAL_NO_ASSERTIONS -> CGAL_NO_PRECONDITIONS

This commit is contained in:
Luis Peñaranda 2016-10-18 12:57:49 -03:00
parent bceff2255f
commit 275581537b
2 changed files with 8 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
Algebraic_kernel_d/include/CGAL/RS/rs3_k_refiner_1.h
View File

@ -28,7 +28,7 @@
#include "Gmpfr_make_unique.h" #include "Gmpfr_make_unique.h"
// If we want assertions, we need to evaluate. // If we want assertions, we need to evaluate.
#ifndef CGAL_NO_ASSERTIONS #ifndef CGAL_NO_PRECONDITIONS
#include "signat_1.h" #include "signat_1.h"
#endif #endif
@ -57,7 +57,7 @@ operator()
typedef Polynomial_traits_d<Polynomial> Ptraits; typedef Polynomial_traits_d<Polynomial> Ptraits;
typedef Ptraits::Degree Degree; typedef Ptraits::Degree Degree;
CGAL_precondition(left<=right); CGAL_precondition(left<=right);
#ifndef CGAL_NO_ASSERTIONS #ifndef CGAL_NO_PRECONDITIONS
typedef Ptraits::Make_square_free Sfpart; typedef Ptraits::Make_square_free Sfpart;
typedef CGAL::RS_AK1::Signat_1<Polynomial,Gmpfr> typedef CGAL::RS_AK1::Signat_1<Polynomial,Gmpfr>
Signat; Signat;
@ -111,7 +111,7 @@ operator()
typedef Polynomial_traits_d<ZPolynomial> ZPtraits; typedef Polynomial_traits_d<ZPolynomial> ZPtraits;
typedef ZPtraits::Degree ZDegree; typedef ZPtraits::Degree ZDegree;
CGAL_precondition(left<=right); CGAL_precondition(left<=right);
#ifndef CGAL_NO_ASSERTIONS #ifndef CGAL_NO_PRECONDITIONS
typedef ZPtraits::Make_square_free ZSfpart; typedef ZPtraits::Make_square_free ZSfpart;
typedef CGAL::RS_AK1::Signat_1<ZPolynomial,Gmpfr> typedef CGAL::RS_AK1::Signat_1<ZPolynomial,Gmpfr>
Signat; Signat;
@ -120,7 +120,7 @@ operator()
Polynomial<Gmpz> zpol=CGAL::RS_AK1::Polynomial_converter_1< Polynomial<Gmpz> zpol=CGAL::RS_AK1::Polynomial_converter_1<
CGAL::Polynomial<Gmpq>, CGAL::Polynomial<Gmpq>,
CGAL::Polynomial<Gmpz> >()(qpol); CGAL::Polynomial<Gmpz> >()(qpol);
#ifndef CGAL_NO_ASSERTIONS #ifndef CGAL_NO_PRECONDITIONS
ZPolynomial zsfpp=ZSfpart()(zpol); ZPolynomial zsfpp=ZSfpart()(zpol);
Signat signof(zsfpp); Signat signof(zsfpp);
CGAL::Sign sl=signof(left); CGAL::Sign sl=signof(left);

8
Algebraic_kernel_d/include/CGAL/RS/rs3_refiner_1.h
View File

@ -27,7 +27,7 @@
#include "Gmpfr_make_unique.h" #include "Gmpfr_make_unique.h"
// If we want assertions, we need to evaluate. // If we want assertions, we need to evaluate.
#ifndef CGAL_NO_ASSERTIONS #ifndef CGAL_NO_PRECONDITIONS
#include "signat_1.h" #include "signat_1.h"
#endif #endif
@ -56,7 +56,7 @@ operator()
typedef Polynomial_traits_d<Polynomial> Ptraits; typedef Polynomial_traits_d<Polynomial> Ptraits;
typedef Ptraits::Degree Degree; typedef Ptraits::Degree Degree;
CGAL_precondition(left<=right); CGAL_precondition(left<=right);
#ifndef CGAL_NO_ASSERTIONS #ifndef CGAL_NO_PRECONDITIONS
typedef Ptraits::Make_square_free Sfpart; typedef Ptraits::Make_square_free Sfpart;
typedef CGAL::RS_AK1::Signat_1<Polynomial,Gmpfr> typedef CGAL::RS_AK1::Signat_1<Polynomial,Gmpfr>
Signat; Signat;
@ -116,7 +116,7 @@ operator()
typedef Polynomial_traits_d<ZPolynomial> ZPtraits; typedef Polynomial_traits_d<ZPolynomial> ZPtraits;
typedef ZPtraits::Degree ZDegree; typedef ZPtraits::Degree ZDegree;
CGAL_precondition(left<=right); CGAL_precondition(left<=right);
#ifndef CGAL_NO_ASSERTIONS #ifndef CGAL_NO_PRECONDITIONS
typedef ZPtraits::Make_square_free ZSfpart; typedef ZPtraits::Make_square_free ZSfpart;
typedef CGAL::RS_AK1::Signat_1<ZPolynomial,Gmpfr> typedef CGAL::RS_AK1::Signat_1<ZPolynomial,Gmpfr>
Signat; Signat;
@ -126,7 +126,7 @@ operator()
Polynomial<Gmpz> zpol=CGAL::RS_AK1::Polynomial_converter_1< Polynomial<Gmpz> zpol=CGAL::RS_AK1::Polynomial_converter_1<
CGAL::Polynomial<Gmpq>, CGAL::Polynomial<Gmpq>,
CGAL::Polynomial<Gmpz> >()(qpol); CGAL::Polynomial<Gmpz> >()(qpol);
#ifndef CGAL_NO_ASSERTIONS #ifndef CGAL_NO_PRECONDITIONS
ZPolynomial zsfpp=ZSfpart()(zpol); ZPolynomial zsfpp=ZSfpart()(zpol);
Signat signof(zsfpp); Signat signof(zsfpp);
CGAL::Sign sl=signof(left); CGAL::Sign sl=signof(left);