documentation for angle operators outsourced from crease_pattern_classes