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(a)bath.ac.uk