Michael Hemmer
|
e094bc18fa
|
more fundamentals on polynomials
|
2008-10-27 15:26:46 +00:00 |
Michael Hemmer
|
b324162180
|
include proper image
|
2008-10-27 15:26:31 +00:00 |
Michael Hemmer
|
c2e9102a32
|
changes according to second review of Bernd Gaertner
|
2008-10-24 14:55:59 +00:00 |
Andreas Fabri
|
79dce104b9
|
Try to disambuguate for VC8 (as suggested by Michael)
|
2008-10-23 17:50:38 +00:00 |
Michael Hemmer
|
e02c5183b8
|
more comments / new Exponent_vector construction
|
2008-10-22 12:43:41 +00:00 |
Michael Hemmer
|
2ae6fda863
|
Enforce IEEE double precision before using modular arithmetic
|
2008-10-22 08:55:03 +00:00 |
Michael Hemmer
|
96fb756a7f
|
clean up
|
2008-10-22 07:30:34 +00:00 |
Eric Berberich
|
4c8c522f63
|
added new constructors for Exponent_vectors
|
2008-10-21 16:21:57 +00:00 |
Eric Berberich
|
29da681961
|
removed "coefficient"
|
2008-10-21 16:20:05 +00:00 |
Michael Hemmer
|
dad354cad1
|
set wrong rounding mode to test modular arithmetic
|
2008-10-21 16:16:41 +00:00 |
Michael Hemmer
|
533adda23a
|
include modular_filter.h since used
|
2008-10-21 15:57:51 +00:00 |
Michael Hemmer
|
d702eef7b6
|
rm empty may_have_common_factor.h
|
2008-10-21 15:57:23 +00:00 |
Eric Berberich
|
20efbd1472
|
removed coefficient test
|
2008-10-21 12:59:59 +00:00 |
Andreas Fabri
|
a8c2502386
|
Enfore IEEE precision as Residue no lionger does it
|
2008-10-17 14:00:38 +00:00 |
Michael Hemmer
|
95180e4fdd
|
rm std::vector specific constructors from Exponent_vector
|
2008-10-15 09:52:17 +00:00 |
Michael Hemmer
|
e71be8b1f6
|
added Construct[Innermost]CoefficientConstIteratorRange to PT doc
|
2008-10-15 09:00:29 +00:00 |
Michael Hemmer
|
8e7bed8e6d
|
added PT::Construct_cofficient_const_iterator_range
added PT::Construct_innermost_coefficient_const_iterator_range
rm according functors _begin/_end
|
2008-10-15 08:38:34 +00:00 |
Michael Hemmer
|
9581a1172f
|
added missing test file
|
2008-10-15 07:43:47 +00:00 |
Michael Hemmer
|
04d7225d14
|
public typedefs only within main base class, should help VC8
|
2008-10-14 16:20:51 +00:00 |
Michael Hemmer
|
09a5501437
|
prepare coefficient_const_iterator
|
2008-10-13 12:29:29 +00:00 |
Eric Berberich
|
1e3c02ce1a
|
added tests for coefficient
|
2008-10-07 18:20:22 +00:00 |
Eric Berberich
|
b1316d0abc
|
fixed header
|
2008-10-07 11:04:44 +00:00 |
Eric Berberich
|
dbb934b206
|
do not submit
|
2008-10-06 18:56:28 +00:00 |
Eric Berberich
|
d9fc6089e8
|
added coefficient
|
2008-10-06 18:45:52 +00:00 |
Eric Berberich
|
0598d13364
|
added partial substitutions
|
2008-10-05 16:04:35 +00:00 |
Eric Berberich
|
4df4bd8dc4
|
tests for convenience functions
|
2008-10-05 09:16:27 +00:00 |
Eric Berberich
|
dec2d127ce
|
added fiel to collect functions for convenience
|
2008-10-05 09:15:57 +00:00 |
Michael Hemmer
|
59d4c2a691
|
added test for (Innermost)Coefficient_const_iterator
|
2008-10-02 12:36:27 +00:00 |
Michael Hemmer
|
74cd91c79b
|
mv test for ICoeff const iterator to PT traits cpp
|
2008-10-02 12:35:44 +00:00 |
Michael Hemmer
|
cd8e4bff2d
|
Coefficient_[iterator|begin|end] -> Coefficient_const_[iterator|begin|end]
same for Innermost_coefficient
|
2008-10-02 09:29:43 +00:00 |
Michael Hemmer
|
b6aa6d8644
|
apply modular filter to gcd functors
|
2008-09-26 14:52:49 +00:00 |
Michael Hemmer
|
c77c5ea05a
|
use CGAL/config.h
|
2008-09-25 15:42:52 +00:00 |
Michael Kerber
|
3d3328366e
|
Added include
|
2008-09-23 14:27:50 +00:00 |
Michael Kerber
|
c035b60be1
|
Moved to Algebraic_kernel_d package
|
2008-09-23 14:26:54 +00:00 |
Michael Hemmer
|
88a20ebf5f
|
RET::Sign -> RET::Sgn
|
2008-09-18 16:18:08 +00:00 |
Michael Hemmer
|
c78b05b739
|
rename Real_embeddable_traits::Sign Sgn
added RET::Boolean, RET::Sign, RET::Comparison_result
|
2008-09-18 15:35:55 +00:00 |
Michael Hemmer
|
a725e9b78c
|
improved consistency/layout
|
2008-09-18 12:41:39 +00:00 |
Michael Hemmer
|
09efa13296
|
general improvements typos/layout/consistency
use 'fo' as creation variable
|
2008-09-18 11:45:29 +00:00 |
Michael Hemmer
|
c37b4647c4
|
layout
|
2008-09-18 08:25:12 +00:00 |
Michael Hemmer
|
8fe2b78f32
|
replaced use of Gmpz by int to make examples simpler
rm of useless typedefs
|
2008-09-18 08:22:08 +00:00 |
Michael Hemmer
|
9b9b356ab8
|
added test within sqff
|
2008-09-15 09:59:28 +00:00 |
Michael Hemmer
|
a97a0b0591
|
Derive/Derivative -> Differentiate
|
2008-09-15 09:29:48 +00:00 |
Michael Hemmer
|
0a3d48d720
|
rm TODO from Doc for release
|
2008-09-15 09:14:57 +00:00 |
Michael Hemmer
|
70356ba2e2
|
IntegralDomainWithoutDiv -> IntegralDomainWithoutDivision
|
2008-09-12 16:04:36 +00:00 |
Michael Hemmer
|
dc2a2cbb59
|
added CGAL::Polynomial_type_generator<T,d> ::Type
|
2008-09-12 16:01:32 +00:00 |
Andreas Fabri
|
1cdce34274
|
specify default template argument only at the declaration
|
2008-09-11 19:04:52 +00:00 |
Michael Hemmer
|
cf7e170ec8
|
Modular_traits::Modular_image_inv -> Modular_image_representative
|
2008-09-09 12:54:08 +00:00 |
Michael Hemmer
|
5f4f1961b4
|
fixed bug in interpolation of resultant
one should keep track of the right degrees .-)
|
2008-09-05 14:08:02 +00:00 |
Michael Hemmer
|
a9ae7696e8
|
fix bug in get monom rep (was empty for the zero polynomial)
also fixed construction from monom rep, get zero polynomial for empty iterator range
|
2008-09-05 14:04:52 +00:00 |
Michael Hemmer
|
c871ff20a9
|
added missing CT::Cast
added relavant test
|
2008-09-05 08:33:43 +00:00 |
Michael Hemmer
|
1360cb9e0e
|
square_free_factorization -> square_free_factorize
----------
added Joachim von zur Gathen and J\"urgen Gerhard,
Modern Computer Algebra, Cambridge University Press, 1999
|
2008-08-08 09:00:24 +00:00 |
Michael Hemmer
|
9fcd58c0db
|
square_free_factrorization -> square_free_factorize
|
2008-08-08 08:53:16 +00:00 |
Michael Hemmer
|
3ffec6b1fe
|
Innermost_coefficient -> Innermost_coefficient_type
Coefficient -> Coefficient_type
|
2008-08-07 12:12:36 +00:00 |
Michael Hemmer
|
2f89408eaf
|
PT:: Innermost_coefficient -> Innermost_coefficient_type
PT:: Coefficient -> Coefficient_type
|
2008-08-07 09:49:32 +00:00 |
Michael Hemmer
|
33b8f3a06a
|
mv Real_embeddable_base to internal namespace
|
2008-08-06 07:13:21 +00:00 |
Michael Hemmer
|
cff191916d
|
changed name: CGAL::Modular -> CGAL::Residue
chnaged filenames accordingly
changed: Modular_traits::Modular_NT -> Modular_traits::Residue_type
|
2008-08-04 15:09:13 +00:00 |
Michael Hemmer
|
f5d8d53917
|
update
|
2008-08-04 12:23:22 +00:00 |
Michael Hemmer
|
9fe83b2e17
|
rm warning for -DNDEBUG
|
2008-08-04 12:20:57 +00:00 |
Michael Hemmer
|
03efbda3cd
|
added resultatn algorithm for integral_domain.
Same as for UFD, but using Scalar_factor instead of Content.
|
2008-08-04 11:56:40 +00:00 |
Michael Hemmer
|
671d0af74e
|
use external Cached_extended_euclidean_algorithm
|
2008-07-31 14:52:00 +00:00 |
Michael Hemmer
|
4a45b97fa2
|
content moved in CGAL/Polynomial/resultant.h
|
2008-07-31 14:26:33 +00:00 |
Michael Hemmer
|
c73406aa9c
|
rm flag CGAL_RESULTANT_USE_INTERPOLATE
|
2008-07-31 14:25:17 +00:00 |
Michael Hemmer
|
ff620d3430
|
reduced interface
|
2008-07-31 13:01:34 +00:00 |
Michael Hemmer
|
370dc20d74
|
propoer file name
|
2008-07-31 13:01:03 +00:00 |
Michael Hemmer
|
f494549b0c
|
CGALi::new_resultant -> CGALi::resultant
|
2008-07-31 09:35:22 +00:00 |
Michael Hemmer
|
acb79b6084
|
new_resultant implementation using interpolation.
|
2008-07-31 09:10:08 +00:00 |
Michael Hemmer
|
f0c21e20e8
|
Iterators are passed by value
|
2008-07-30 11:26:30 +00:00 |
Michael Hemmer
|
4a6cd183a4
|
not needed
|
2008-07-30 11:15:23 +00:00 |
Michael Hemmer
|
4133b5941f
|
rm cout
|
2008-07-30 11:14:16 +00:00 |
Michael Hemmer
|
0063104dbd
|
added default constructor
|
2008-07-30 11:13:58 +00:00 |
Michael Hemmer
|
3905cfa807
|
mv Interpolator.h CGAL/Polynomial (for release)
|
2008-07-30 09:42:17 +00:00 |
Michael Hemmer
|
e8b3afa14b
|
disabled Interpolate in Polynomial_traits
- Diese und die folgenden Zeilen werden ignoriert --
M test/Polynomial/Polynomial_traits_d.cpp
M include/CGAL/Polynomial_traits_d.h
|
2008-07-30 09:36:42 +00:00 |
Michael Hemmer
|
9767860e06
|
mv to main include/CGAL
|
2008-07-30 09:24:28 +00:00 |
Michael Hemmer
|
aa5a72f179
|
rm useless functor Evaluate in PT<Polynomial_0>
|
2008-07-30 09:23:03 +00:00 |
Michael Hemmer
|
fe8291aaae
|
rm call of non const member function p.simplify_coefficients()
|
2008-07-30 09:21:24 +00:00 |
Michael Hemmer
|
5c1a2f6c45
|
rm unused parameter
|
2008-07-30 08:17:31 +00:00 |
Michael Hemmer
|
734595f223
|
fixed bug in constructor
|
2008-07-29 10:14:52 +00:00 |
Michael Hemmer
|
8143ec3d0c
|
cached extended euclidean algorithm
|
2008-07-29 10:13:22 +00:00 |
Michael Hemmer
|
504698e910
|
gen sparse polynomials used in several tests
- move this into main include dir ?
|
2008-07-29 10:11:27 +00:00 |
Michael Hemmer
|
5808b8076e
|
new multivariate resultant using interpolation
|
2008-07-29 10:08:30 +00:00 |
Michael Hemmer
|
147b11c193
|
Interpolator class for newton interpolation (iterative)
|
2008-07-29 10:07:34 +00:00 |
Michael Hemmer
|
e916cd73ac
|
bug fix in constructor
|
2008-07-29 10:04:33 +00:00 |
Michael Hemmer
|
b874dd1bc7
|
test of functors that take InputIterator
|
2008-07-29 09:00:41 +00:00 |
Michael Hemmer
|
b5d3ee7409
|
minor changes
|
2008-07-29 08:31:51 +00:00 |
Michael Hemmer
|
b368dad5e9
|
minor changes
|
2008-07-29 08:31:18 +00:00 |
Michael Hemmer
|
d400aed48f
|
minor change
|
2008-07-29 08:30:48 +00:00 |
Michael Hemmer
|
bc2743ba4f
|
added further sections for
- evaluate / substitute
- gcd_utcf etc.
|
2008-07-28 14:36:55 +00:00 |
Michael Hemmer
|
87602b73c1
|
returns canonicalized square free part
|
2008-07-28 14:36:00 +00:00 |
Michael Hemmer
|
b2b3651325
|
PolynomialTraits_d refines AlgebraicStructureTraits
|
2008-07-28 14:35:27 +00:00 |
Michael Hemmer
|
f7d133e218
|
example for gcd vs gcd_utcf
|
2008-07-28 14:34:12 +00:00 |
Michael Hemmer
|
1f89da68c1
|
example fir substitute and evaluate
|
2008-07-28 14:33:38 +00:00 |
Michael Hemmer
|
dc6431f7bc
|
wrap up
|
2008-07-28 14:33:13 +00:00 |
Michael Kerber
|
c4c1076de1
|
prs-algorithms can also be used for genral Integral_domains (with division)
|
2008-07-28 10:31:48 +00:00 |
Michael Hemmer
|
ca4eb4f217
|
added section+examples for functors related to
coefficient access / degree / move / swap
|
2008-07-25 15:50:03 +00:00 |
Michael Hemmer
|
dbeaa719ac
|
added constructor (int , int )
|
2008-07-25 15:48:42 +00:00 |
Michael Hemmer
|
1d3c2ce03e
|
fixed bug in Degree_vector
|
2008-07-25 15:47:48 +00:00 |
Michael Hemmer
|
062f4fbbbc
|
first text that makes sense
|
2008-07-25 15:45:03 +00:00 |
Michael Hemmer
|
d626efe0f8
|
added missing operator for arbitrary variable
|
2008-07-25 15:44:00 +00:00 |
Michael Kerber
|
6734f571c8
|
Prevents compiler warning
|
2008-07-25 13:34:53 +00:00 |
Michael Hemmer
|
441ba11c4c
|
minor changes
|
2008-07-25 09:33:16 +00:00 |
Michael Hemmer
|
de94c1b4f0
|
minor changes
|
2008-07-25 09:32:39 +00:00 |
Michael Hemmer
|
205ecd5807
|
typo
|
2008-07-25 09:29:13 +00:00 |
Michael Hemmer
|
d3146f49e9
|
added first example Polynomial/construction.cpp
|
2008-07-25 09:25:30 +00:00 |
Michael Hemmer
|
fdb3e7c2d1
|
added Polynomial_type_generator
|
2008-07-25 09:24:33 +00:00 |
Michael Hemmer
|
b2176a7002
|
fix bug in Shift
|
2008-07-25 09:23:51 +00:00 |
Michael Hemmer
|
1d2f47da4d
|
rm Arity
|
2008-07-25 08:08:13 +00:00 |
Michael Hemmer
|
72c7defb81
|
added interoperability with int and Inntermost_coefficient
|
2008-07-25 07:46:52 +00:00 |
Michael Hemmer
|
57af6f31c2
|
rm result_type from Sqff
|
2008-07-25 07:32:17 +00:00 |
Sylvain Pion
|
dc3bf72707
|
Remove changes.txt files.
|
2008-07-24 17:47:16 +00:00 |
Michael Hoffmann
|
90fa037030
|
Another two Binary_functions...
|
2008-07-24 05:50:55 +00:00 |
Michael Hoffmann
|
9dbb04cdea
|
Remove dependency on CGAL/functional -> replace Unary_function
and Binary_function by std:: counterparts.
|
2008-07-23 15:15:46 +00:00 |
Michael Hemmer
|
aa6fbc566d
|
UFDomain -> UniqueFactorizationDomain
|
2008-07-23 12:00:54 +00:00 |
Michael Hemmer
|
5385e2a7db
|
some additional comments
|
2008-07-23 11:48:06 +00:00 |
Michael Hemmer
|
8a0c74abe5
|
rm typo
|
2008-07-22 14:05:16 +00:00 |
Michael Hemmer
|
082d2d2942
|
rm error in html
|
2008-07-22 14:03:41 +00:00 |
Michael Kerber
|
f54753100a
|
Added forward
|
2008-07-22 13:44:30 +00:00 |
Michael Hemmer
|
e6b5312842
|
changes interface of Square_free_factorization and utcf version such that
output iterator uses std::pair, oi is returned.
|
2008-07-22 13:34:06 +00:00 |
Sylvain Pion
|
79864c0c8e
|
Remove Arity_tag.
|
2008-07-22 12:29:01 +00:00 |
Michael Hemmer
|
b67232dc3d
|
- Sign_at/Sign_at_homogeneous/Compare are Null_functor if
ICoeff is not RealEmbeddable
- simplified layout for tests
|
2008-07-22 08:25:53 +00:00 |
Michael Kerber
|
92a0d3cc1d
|
Added include
|
2008-07-22 06:57:30 +00:00 |
Michael Hemmer
|
6494a05ccc
|
minor changes (reduce runtime)
|
2008-07-21 11:59:07 +00:00 |
Michael Hemmer
|
7a988070a1
|
changes as suggested by review of Bernd Gaertner
- more comments for each functor
- typos
- rm PolynomialToolBox
|
2008-07-21 11:43:18 +00:00 |
Michael Hemmer
|
c788e0182f
|
added Substitute(_homogeneous)
rm related operators from Evaluate
|
2008-07-17 15:52:15 +00:00 |
Michael Hemmer
|
7212a143dd
|
added Functor Substitute
resolves ambiguities in Evaluate
|
2008-07-17 11:44:05 +00:00 |
Michael Hemmer
|
6801fb35c3
|
fixed typo
|
2008-07-16 14:15:53 +00:00 |
Michael Hemmer
|
1570772295
|
wrap up
added several TODOs
|
2008-07-16 14:07:28 +00:00 |
Michael Hemmer
|
96a229ad3c
|
added functor Divides, required by IntegralDomain
|
2008-07-16 09:45:36 +00:00 |
Ophir Setter
|
908f229fb9
|
fix compilation error in expensive assert
|
2008-07-10 11:02:47 +00:00 |
Michael Kerber
|
9951c26b57
|
Added myself as an author
|
2008-07-04 09:15:30 +00:00 |
Michael Kerber
|
707683939e
|
Documented subresultant-related functors
|
2008-07-04 09:08:36 +00:00 |
Michael Hemmer
|
83bd92972c
|
added Substitute + test
|
2008-07-02 07:56:33 +00:00 |
Michael Kerber
|
c86378c04e
|
a little bit of documentation
|
2008-07-01 16:04:31 +00:00 |
Michael Kerber
|
23562082ec
|
Moved functions from CGAL to CGAL::CGALi
|
2008-06-27 13:22:47 +00:00 |
Michael Kerber
|
239c86d7ca
|
Added functor Sturm_habicht_sequence_with_cofactors in Polynomial_traits
|
2008-06-27 10:17:54 +00:00 |
Michael Kerber
|
5af98f25dc
|
Moved code to compute subresultants and sturm-habicht-sequences into Polynomial-package
|
2008-06-27 10:03:35 +00:00 |
Michael Kerber
|
6794adacb8
|
New functors for subresultants and sturm-habicht-sequences
|
2008-06-27 10:02:52 +00:00 |
Michael Kerber
|
bbbee0317a
|
renamed polynomial_subresultants->polynomial_subresultant_matrix (more specific)
|
2008-06-26 12:37:54 +00:00 |
Michael Kerber
|
2a960fd908
|
Extended Simple_matrix-class (it's still simple though)
|
2008-06-26 12:35:04 +00:00 |
Michael Hemmer
|
8cdd64235c
|
rm wrong fwd of gcd in namespace CGAL
|
2008-05-20 07:19:32 +00:00 |
Michael Hemmer
|
6fd78e1dcd
|
rm warning for ;;
|
2008-05-16 07:47:45 +00:00 |
Michael Hemmer
|
56dd45d2b7
|
avoid casts in evaluate
|
2008-05-13 13:56:16 +00:00 |
Sebastian Limbach
|
995e1796e4
|
div_utcf calls adapted to new interface (bool-parameter dropped).
|
2008-05-13 10:02:40 +00:00 |
Sebastian Limbach
|
1a5342299c
|
minimal layout changes
|
2008-05-08 09:06:30 +00:00 |
Sebastian Limbach
|
7c18b6d5db
|
"inline" added to avoid linking problems
|
2008-05-08 09:05:47 +00:00 |
Fernando Cacciola
|
f93437ca22
|
Removed *unmodified* auto-generated CMakeLists.txt (now created by create_internal_release)
|
2008-05-05 14:01:55 +00:00 |
Michael Hemmer
|
158ebff7f0
|
set braces to avoid warnings
|
2008-04-29 15:04:23 +00:00 |
Michael Hemmer
|
8a393d5188
|
clean up interface: rm unused parameter
|
2008-04-29 14:57:27 +00:00 |
Michael Hemmer
|
6debf02b48
|
Chinise_remainder_traits is a class (not a struct)
|
2008-04-29 14:14:49 +00:00 |
Michael Hemmer
|
1e06c97c3e
|
this is going to be the new resultant method using interpolation
TODO: use modular arithmetic
|
2008-04-15 12:41:11 +00:00 |
Michael Hemmer
|
e572d6e9d2
|
added operator <<
|
2008-04-14 10:32:12 +00:00 |