Interval Arithmetic in GiNaC

[C T L O'Dwyer]

I was wondering if GiNaC has support for interval arithmetic, and if not,
then how to add it (would it just be a new numeric type with it's own
rules?) or are there any other packages out there that can be combined
with GiNaC? I need symbolic manipulation for my project, but I also need
to be able to check very quickly if a given value exists in an interval.

THx, Carl O'Dwyer
cs1ctlo at bath.ac.uk