|
Filtered_rational
|
Remove casts to Sign.
|
2008-04-09 13:09:17 +00:00 |
|
Kernel
|
Hmmmmm, demo works here
|
2007-08-23 15:34:09 +00:00 |
|
Rational
|
Remove casts to Sign.
|
2008-04-09 13:09:17 +00:00 |
|
Simple_interval_root.h
|
Remove casts to Sign.
|
2008-04-09 13:09:17 +00:00 |
|
Sturm_root_rep.h
|
Remove casts to Sign.
|
2008-04-09 13:09:17 +00:00 |