books/bookvol10.1, bookvolbib add interval arithmetic

Show detailed equations for Spad interval work.