1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
|
// Copyright (c) 2006-2008 Inria Lorraine (France). All rights reserved.
//
// This file is part of CGAL (www.cgal.org); you can redistribute it and/or
// modify it under the terms of the GNU Lesser General Public License as
// published by the Free Software Foundation; either version 3 of the License,
// or (at your option) any later version.
//
// Licensees holding a valid commercial license may use this file in
// accordance with the commercial license agreement provided with the software.
//
// This file is provided AS IS with NO WARRANTY OF ANY KIND, INCLUDING THE
// WARRANTY OF DESIGN, MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE.
//
// $URL: svn+ssh://scm.gforge.inria.fr/svn/cgal/branches/next/Algebraic_kernel_d/include/CGAL/RS/algebraic_1_other.h $
// $Id: algebraic_1_other.h 67093 2012-01-13 11:22:39Z lrineau $
//
// Author: Luis Peñaranda <luis.penaranda@gmx.com>
#ifndef CGAL_RS_ALGEBRAIC_1_OTHER_H
#define CGAL_RS_ALGEBRAIC_1_OTHER_H
namespace CGAL{
inline
bool is_valid(const Algebraic_1 &n){
return n.is_valid();
}
inline
bool is_finite(const Algebraic_1 &n){
return n.is_finite();
}
//template <class _Gcd_policy>
inline
double to_double(Algebraic_1 &n){
//typedef _Gcd_policy Gcd;
return n.to_double/*<Gcd>*/();
}
inline
std::pair<double,double>to_interval(const Algebraic_1 &n){
return n.to_interval();
}
inline
Algebraic_1 sqrt(const Algebraic_1 &ntval){
return ntval.sqrt();
}
inline
std::ostream& operator<<(std::ostream &os,const Algebraic_1 &a){
// (interval,polynomial,number_of_root,multiplicity,left_sign)
return os<<'('<<a.interval()<<','<<a.pol()<<','<<
a.nr()<<','<<a.mult()<<','<<a.lefteval()<<')';
}
inline
std::istream& operator>>(std::istream &is,Algebraic_1 &a){
Gmpfi i;
RS_polynomial_1 pol;
int nr,mult,eval;
std::istream::int_type c;
std::ios::fmtflags old_flags=is.flags();
is.unsetf(std::ios::skipws);
gmpz_eat_white_space(is);
c=is.get();
if(c!='(')
goto is_fail_ret;
gmpz_eat_white_space(is);
// read the Gmpfi
is>>i;
c=is.get();
if(c!=',')
goto is_fail_ret;
is>>pol;
gmpz_eat_white_space(is);
c=is.get();
if(c!=',')
goto is_fail_ret;
is>>nr;
gmpz_eat_white_space(is);
c=is.get();
if(c!=',')
goto is_fail_ret;
is>>mult;
gmpz_eat_white_space(is);
c=is.get();
if(c!=',')
goto is_fail_ret;
is>>eval;
gmpz_eat_white_space(is);
c=is.get();
if(c!=')')
goto is_fail_ret;
a=Algebraic_1(i.mpfi(), // interval
*(new RS_polynomial_1(pol)), // polynomial
nr, // number of root
mult, // multiplicity
(mpfi_ptr)NULL, // previous root
(mpfi_ptr)NULL, // next root
(CGAL::Sign)eval);// evaluation on the left bound
goto is_ret;
is_fail_ret:
is.setstate(std::ios_base::failbit);
is_ret:
is.flags(old_flags);
return is;
}
} // namespace CGAL
#endif // CGAL_RS_ALGEBRAIC_1_OTHER_H
|
