You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Very frequently in math, given an object (say divisor) D and an equivalence relation D~D', we denote the equivalency class with [D]. I think it would be cool if we could define methods on [T], for instance:
[Divisor] := D -> -* the class of D in the class group *-
As a potentially far fetched extension, allowing (a,b] and [a,b) to produce half open intervals would be useful (both [a,b] and (a,b) work fine and can be interpreted appropriately by methods, so that's not a concern).
The text was updated successfully, but these errors were encountered:
Very frequently in math, given an object (say divisor) D and an equivalence relation D~D', we denote the equivalency class with [D]. I think it would be cool if we could define methods on
[T]
, for instance:How hard would this be?
Related: #1978
As a potentially far fetched extension, allowing
(a,b]
and[a,b)
to produce half open intervals would be useful (both[a,b]
and(a,b)
work fine and can be interpreted appropriately by methods, so that's not a concern).The text was updated successfully, but these errors were encountered: