HalfSpace: revise docs entries, shorten docs, shorten signatures, move and fix isdisjoint method
#637
| Job | Run time |
|---|---|
| 4m 59s | |
| 4m 59s |