13 Jan
2012
13 Jan
'12
2:31 a.m.
Yves Parès
uvector is deprecated, its functionnalities has been ported into vector.
Yes, but a Ratio a instance hasn't been ported. I admit that I have overlooked the “deprecated” warning, and agree that it is better to write an instance by yourself than use a deprecated package. Dead things should stay dead.