Feature request: [D] as notation for class of D

[mahrud]

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 *-

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).

[pzinn]

funny, I had the same thought for a different reason, I wanted to define q-numbers, something like

[ZZ] := n -> (q^n-1)//(q-1)

[mahrud]

We'd have to be careful that this doesn't break I^[n] for frobenius powers, but otherwise it seems fine to me!