Division monoids and wheels

Stream: maths

[Yaël Dillies]

I can't help seeing the parallel between docs#division_monoid and wheels. Are wheels useful for anything?

[Violeta Hernández]

You can define a wheel of fractions from any field (?) that behaves relatively nicely

[Violeta Hernández]

But really 90% of the times I see wheels mentioned, some 13 year old kid is trying to divide by 0

[Damiano Testa]

Until you mentioned docs#division_monoid with your refactor, I had never heard of it "in maths". Wheels, I only found out now by following your link. Maybe they are useful, but I have certainly never used them!

[Damiano Testa]

Also, I use the projective line a lot and wheels have never showed up in what I do.