CGAL users discussion list

[Michael Hemmer <>]

Hi,

I am not an expert for Nef but AFAIK it does not need the kernel with sqrt.
It seems that the code is trying to decompose the Field type into 
Numerator and Denominator (for some reason),
but this is not possible for CORE::Expr.

Have you tried another kernel, i.e., one that is not using CORE::Expr as 
FT.

best,
Michael


Joe C wrote:

> Hi, all
>
> I run into some issue when using Nef_polyhedron_3 with 
> Exact_predicates_exact_constructions_kernel_with_sqrt Kernel.
>
> To be specific, here is the simple program I was testing:
>
> #include <CGAL/Exact_predicates_exact_constructions_kernel_with_sqrt.h>
> #include <CGAL/Polyhedron_3.h>
> #include <CGAL/Nef_polyhedron_3.h>
>
> typedef CGAL::Exact_predicates_exact_constructions_kernel_with_sqrt 
> Kernel;
> typedef Kernel::Point_3                               Point_3;
> typedef CGAL::Polyhedron_3<Kernel>         Polyhedron;
> typedef CGAL::SNC_indexed_items Items;
> typedef CGAL::Nef_polyhedron_3<Kernel, Items>  Nef_polyhedron;
>
>
> int main() {
>     Point_3 p( 1.0, 0.0, 0.0);
>     Point_3 q( 0.0, 1.0, 0.0);
>     Point_3 r( 0.0, 0.0, 1.0);
>     Point_3 s( 0.0, 0.0, 0.0);
>
>     Polyhedron P;
>     P.make_tetrahedron( p, q, r, s);
>     Nef_polyhedron N2(P);
>    
>     return 0;
> }
>
>
> I am using Visual Studio 2003 and Visual Studio 2005 with CGAL 3.3.1. 
> <http://3.3.1.> When runing in Release mode, everything runs fine. But 
> when running in Debug mode, I got the following errors:
>
> Is this a bug in CGAL or did I do something wrong? I can not figure 
> this out, can anybody help me out?
>
> Joe
>
>
> C:\Program Files\CGAL-3.3.1\include\CGAL\Nef_S2\Normalizing.h(300): 
> error C2064: term does not evaluate to a function taking 3 arguments
> C:\Program Files\CGAL-3.3.1\include\CGAL\Nef_S2\Normalizing.h(305): 
> error C2064: term does not evaluate to a function taking 3 arguments
> C:\Program Files\CGAL-3.3.1\include\CGAL\Nef_S2\Normalizing.h(310): 
> error C2064: term does not evaluate to a function taking 3 arguments
> C:\Program Files\CGAL-3.3.1\include\CGAL\Nef_S2\Normalizing.h(315): 
> error C2064: term does not evaluate to a function taking 3 arguments
> C:\Program Files\CGAL-3.3.1\include\CGAL\Nef_S2\Normalizing.h(323): 
> error C2440: 'type cast' : cannot convert from 
> 'std::allocator<_Ty>::value_type' to 
> 'CGAL::Cartesian_base_no_ref_count<FT_,Kernel_>::FT'
>         with
>         [
>             _Ty=CGAL::Fraction_traits<FT>::Numerator_type
>         ]
>         and
>         [
>             FT_=CORE::Expr,
>             Kernel_=CGAL::Simple_cartesian<CORE::Expr>
>         ]
>         No constructor could take the source type, or constructor 
> overload resolution was ambiguous
> C:\Program Files\CGAL-3.3.1\include\CGAL\Nef_S2\Normalizing.h(323): 
> error C2440: 'type cast' : cannot convert from 
> 'std::allocator<_Ty>::value_type' to 
> 'CGAL::Cartesian_base_no_ref_count<FT_,Kernel_>::FT'
>         with
>         [
>             _Ty=CGAL::Fraction_traits<FT>::Numerator_type
>         ]
>         and
>         [
>             FT_=CORE::Expr,
>             Kernel_=CGAL::Simple_cartesian<CORE::Expr>
>         ]
>         No constructor could take the source type, or constructor 
> overload resolution was ambiguous
> C:\Program Files\CGAL-3.3.1\include\CGAL\Nef_S2\Normalizing.h(324): 
> error C2440: 'type cast' : cannot convert from 
> 'std::allocator<_Ty>::value_type' to 
> 'CGAL::Cartesian_base_no_ref_count<FT_,Kernel_>::FT'
>         with
>         [
>             _Ty=CGAL::Fraction_traits<FT>::Numerator_type
>         ]
>         and
>         [
>             FT_=CORE::Expr,
>             Kernel_=CGAL::Simple_cartesian<CORE::Expr>
>         ]
>         No constructor could take the source type, or constructor 
> overload resolution was ambiguous
> C:\Program Files\CGAL-3.3.1\include\CGAL\Nef_S2\Normalizing.h(324): 
> error C2440: 'type cast' : cannot convert from 
> 'std::allocator<_Ty>::value_type' to 
> 'CGAL::Cartesian_base_no_ref_count<FT_,Kernel_>::FT'
>         with
>         [
>             _Ty=CGAL::Fraction_traits<FT>::Numerator_type
>         ]
>         and
>         [
>             FT_=CORE::Expr,
>             Kernel_=CGAL::Simple_cartesian<CORE::Expr>
>         ]
>         No constructor could take the source type, or constructor 
> overload resolution was ambiguous
> C:\Program Files\CGAL-3.3.1\include\CGAL\Nef_S2\Normalizing.h(306): 
> error C2676: binary '*=' : 'std::allocator<_Ty>::value_type' does not 
> define this operator or a conversion to a type acceptable to the 
> predefined operator
>         with
>         [
>             _Ty=CGAL::Fraction_traits<FT>::Numerator_type
>         ]
> C:\Program Files\CGAL-3.3.1\include\CGAL\Nef_S2\Normalizing.h(307): 
> error C2676: binary '*=' : 'std::allocator<_Ty>::value_type' does not 
> define this operator or a conversion to a type acceptable to the 
> predefined operator
>         with
>         [
>             _Ty=CGAL::Fraction_traits<FT>::Numerator_type
>         ]
> C:\Program Files\CGAL-3.3.1\include\CGAL\Nef_S2\Normalizing.h(308): 
> error C2676: binary '*=' : 'std::allocator<_Ty>::value_type' does not 
> define this operator or a conversion to a type acceptable to the 
> predefined operator
>         with
>         [
>             _Ty=CGAL::Fraction_traits<FT>::Numerator_type
>         ]
> C:\Program Files\CGAL-3.3.1\include\CGAL\Nef_S2\Normalizing.h(309): 
> error C2676: binary '*=' : 'std::allocator<_Ty>::value_type' does not 
> define this operator or a conversion to a type acceptable to the 
> predefined operator
>         with
>         [
>             _Ty=CGAL::Fraction_traits<FT>::Numerator_type
>         ]
> C:\Program Files\CGAL-3.3.1\include\CGAL\Nef_S2\Normalizing.h(311): 
> error C2676: binary '*=' : 'std::allocator<_Ty>::value_type' does not 
> define this operator or a conversion to a type acceptable to the 
> predefined operator
>         with
>         [
>             _Ty=CGAL::Fraction_traits<FT>::Numerator_type
>         ]
> C:\Program Files\CGAL-3.3.1\include\CGAL\Nef_S2\Normalizing.h(312): 
> error C2676: binary '*=' : 'std::allocator<_Ty>::value_type' does not 
> define this operator or a conversion to a type acceptable to the 
> predefined operator
>         with
>         [
>             _Ty=CGAL::Fraction_traits<FT>::Numerator_type
>         ]
> C:\Program Files\CGAL-3.3.1\include\CGAL\Nef_S2\Normalizing.h(313): 
> error C2676: binary '*=' : 'std::allocator<_Ty>::value_type' does not 
> define this operator or a conversion to a type acceptable to the 
> predefined operator
>         with
>         [
>             _Ty=CGAL::Fraction_traits<FT>::Numerator_type
>         ]
> C:\Program Files\CGAL-3.3.1\include\CGAL\Nef_S2\Normalizing.h(314): 
> error C2676: binary '*=' : 'std::allocator<_Ty>::value_type' does not 
> define this operator or a conversion to a type acceptable to the 
> predefined operator
>         with
>         [
>             _Ty=CGAL::Fraction_traits<FT>::Numerator_type
>         ]
> C:\Program Files\CGAL-3.3.1\include\CGAL\Nef_S2\Normalizing.h(316): 
> error C2676: binary '*=' : 'std::allocator<_Ty>::value_type' does not 
> define this operator or a conversion to a type acceptable to the 
> predefined operator
>         with
>         [
>             _Ty=CGAL::Fraction_traits<FT>::Numerator_type
>         ]
> C:\Program Files\CGAL-3.3.1\include\CGAL\Nef_S2\Normalizing.h(317): 
> error C2676: binary '*=' : 'std::allocator<_Ty>::value_type' does not 
> define this operator or a conversion to a type acceptable to the 
> predefined operator
>         with
>         [
>             _Ty=CGAL::Fraction_traits<FT>::Numerator_type
>         ]
> C:\Program Files\CGAL-3.3.1\include\CGAL\Nef_S2\Normalizing.h(318): 
> error C2676: binary '*=' : 'std::allocator<_Ty>::value_type' does not 
> define this operator or a conversion to a type acceptable to the 
> predefined operator
>         with
>         [
>             _Ty=CGAL::Fraction_traits<FT>::Numerator_type
>         ]
> C:\Program Files\CGAL-3.3.1\include\CGAL\Nef_S2\Normalizing.h(319): 
> error C2676: binary '*=' : 'std::allocator<_Ty>::value_type' does not 
> define this operator or a conversion to a type acceptable to the 
> predefined operator
>         with
>         [
>             _Ty=CGAL::Fraction_traits<FT>::Numerator_type
>         ]
> C:\Program Files\CGAL-3.3.1\include\CGAL\float.h(133): warning C4244: 
> 'return' : conversion from 'double' to 
> 'CGAL::Algebraic_structure_traits_base<Type,Algebra_type>::Type', 
> possible loss of data
>         with
>         [
>             Type=float,
>             Algebra_type=CGAL::Field_with_kth_root_tag
>         ]
> C:\Program Files\CGAL-3.3.1\include\CGAL\Handle.h(85): warning C4311: 
> 'reinterpret_cast' : pointer truncation from 'CGAL::Rep *const ' to 
> 'unsigned long'
> C:\Program Files\CGAL-3.3.1\include\CGAL\Handle.h(90): warning C4311: 
> 'reinterpret_cast' : pointer truncation from 'CGAL::Rep *const ' to 
> 'unsigned long'
> C:\Program Files\CGAL-3.3.1\include\CGAL\Handle.h(91): warning C4311: 
> 'reinterpret_cast' : pointer truncation from 'CGAL::Rep *const ' to 
> 'unsigned long'
> C:\Program Files\Microsoft Visual Studio .NET 
> 2003\Vc7\include\xtree(484): warning C4800: 'int' : forcing value to 
> bool 'true' or 'false' (performance warning)
> C:\Program Files\Microsoft Visual Studio .NET 
> 2003\Vc7\include\xtree(484): warning C4800: 'int' : forcing value to 
> bool 'true' or 'false' (performance warning)