#1280 - Rotated hyperrectangle

[schillic]

Closes #1280.

• This implementation is not closed under translation. Maybe add another field offset?
• tests
• docs

The name RotatedHyperrectangle may be misleading. The matrix does not have to be a rotation matrix (not even invertible). I am open to suggestions.

[mforets]

The name RotatedHyperrectangle may be misleading. The matrix does not have to be a rotation matrix (not even invertible). I am open to suggestions.

The set is a special case of a lazy LinearMap. It a special case of a Star. In #2554 we implemented the new star set type and in #2578 we removed it and instead chose to use an alias for the lazy type instead of defining a new type. Perhaps we should do the same with the RotatedHyperrectangle.

[schillic]

I had thought about this as well. The benefit of having it as a separate type is the functionality that comes with inheriting from AbstractZonotope. And it can be used in all methods that take an AbstractZonotope as input (for example in reachability algorithms).