Re: [boost] Looking for some "real world" extended precision integer arithmetic tests

Subject: Re: [boost] Looking for some "real world" extended precision integer arithmetic tests
From: John Maddock (boost.regex_at_[hidden])
Date: 2012-02-22 06:15:37

> I recently migrated all the development to the 64bit Linux + gcc 4.6.1 and
> fixed all the errors and warnings. So if you sync it should be fine. Also
> the previous voronoi_fixed_int_test.cpp* *won't compile so please use the
> new one (in the attachments).

Hmmm, with the latest sandbox code I and your new test case I still see:

1>  voronoi_fixed_int_test.cpp
1>m:\data\boost\sandbox\gtl\boost\polygon\detail\voronoi_robust_fpt.hpp(466): 
error C2784: 'boost::polygon::detail::robust_dif<T> 
boost::polygon::detail::operator /(const 
boost::polygon::detail::robust_dif<T> &,const T &)' : could not deduce 
template argument for 'const boost::polygon::detail::robust_dif<T> &' from 
'double'
1> 
m:\data\boost\sandbox\gtl\boost\polygon\detail\voronoi_robust_fpt.hpp(431) : 
see declaration of 'boost::polygon::detail::operator /'
1> 
m:\data\boost\sandbox\gtl\boost\polygon\detail\voronoi_robust_fpt.hpp(460) : 
while compiling class template member function 
'boost::polygon::detail::extended_exponent_fpt<_fpt> 
boost::polygon::detail::robust_sqrt_expr<_int,boost::polygon::detail::extended_exponent_fpt<_fpt>,_converter>::eval2(_int 
*,_int *)'
1>          with
1>          [
1>              _fpt=double,
1> 
_int=boost::multiprecision::mp_number<boost::multiprecision::cpp_int_backend<>>,
1>              _converter=dummy_efpt_converter
1>          ]
1> 
m:\data\boost\sandbox\gtl\boost\polygon\detail/voronoi_predicates.hpp(978) : 
see reference to class template instantiation 
'boost::polygon::detail::robust_sqrt_expr<_int,_fpt,_converter>' being 
compiled
1>          with
1>          [
1> 
_int=boost::multiprecision::mp_number<boost::multiprecision::cpp_int_backend<>>,
1>              _fpt=boost::polygon::detail::extended_exponent_fpt<double>,
1>              _converter=dummy_efpt_converter
1>          ]
1> 
m:\data\boost\sandbox\gtl\boost\polygon\detail/voronoi_predicates.hpp(1373) 
: see reference to class template instantiation 
'boost::polygon::detail::voronoi_predicates<CTYPE_TRAITS>::mp_circle_formation_functor<Site,Circle>' 
being compiled
1>          with
1>          [
1>              CTYPE_TRAITS=voronoi_user_traits,
1>              Site=boost::polygon::detail::site_event<int>,
1>              Circle=boost::polygon::detail::circle_event<double>
1>          ]
1>          M:\data\boost\sandbox\gtl\boost/polygon/voronoi_builder.hpp(526) 
: see reference to class template instantiation 
'boost::polygon::detail::voronoi_predicates<CTYPE_TRAITS>::circle_formation_predicate<Site,Circle>' 
being compiled
1>          with
1>          [
1>              CTYPE_TRAITS=voronoi_user_traits,
1>              Site=boost::polygon::detail::site_event<int>,
1>              Circle=boost::polygon::detail::circle_event<double>
1>          ]
1>          ..\..\..\performance\voronoi_fixed_int_test.cpp(84) : see 
reference to class template instantiation 
'boost::polygon::voronoi_builder<T,CTT>' being compiled
1>          with
1>          [
1>              T=int,
1>              CTT=voronoi_user_traits
1>          ]
1>m:\data\boost\sandbox\gtl\boost\polygon\detail\voronoi_robust_fpt.hpp(466): 
error C2677: binary '/' : no global operator found which takes type 
'boost::polygon::detail::extended_exponent_fpt<_fpt>' (or there is no 
acceptable conversion)
1>          with
1>          [
1>              _fpt=double
1>          ]
========== Build: 0 succeeded, 1 failed, 0 up-to-date, 0 skipped ==========

John.