3 ms·
I think C++'s (std::chrono::time_point, std::chrono::time_delta) together make a torsor. The group G is std::chrono::time_delta and the set is std::chrono::time
by markisus 4y ago
I think C++'s (std::chrono::time_point, std::chrono::time_delta) together make a torsor. The group G is std::chrono::time_delta and the set is std::chrono::time_point. Both the group action (time_point + time_delta) and the group operation (time_delta + time_delta) are declared here https://en.cppreference.com/w/cpp/chrono/time_point/operator_arith2 https://en.cppreference.com/w/cpp/chrono/time_point/operator....
- endgame 4y agoQuite likely - see this discussion on whether to reify an explicit torsor concept in the design of Haskell's time libraries: https://old.reddit.com/r/haskell/comments/j9hfnd/torsors_in_the_time_library/ https://old.reddit.com/r/haskell/comments/j9hfnd/torsors_in_...