DDF.Vector

class Group r g

class Vector r v

minus2

mult1

mult2

divide2

invert1

minus1

divide1

recip

recip1

toFreeVector1