Message ID | CABu31nM_KaOMLo_rU+WBxO-BCXk9dErtJ3LXfiXGZup4aDM+yw@mail.gmail.com |
---|---|
State | New |
Headers | show |
--- slow.cc.orig 2012-09-28 21:07:58.000000000 +0200 +++ slow.cc 2012-09-28 21:08:38.000000000 +0200 @@ -95503,6 +95503,7 @@ check_<NT,Eigen::Dynamic>(); } int main(){ +#if 0 { typedef CGAL::Interval_nt<true> I1; I1::Protector p1; @@ -95517,11 +95518,14 @@ check<CGAL::Gmpz>(); check<CGAL::Gmpq>(); check<CGAL::Gmpfr>(); +#endif check<CGAL::Gmpfi>(); +#if 0 check<CGAL::Quotient<CGAL::Gmpz> >(); check<CGAL::Lazy_exact_nt<CGAL::Gmpq> >(); check<CORE::BigInt>(); check<CORE::BigRat>(); check<CORE::BigFloat>(); check<CORE::Expr>(); +#endif }