search

affeldt-aist / coq-robot

Mathematics of Rigid Body Transformationss using Coq and MathComp
26 stars 2 forks source link

pure dual quat means no scalar part #19

Closed affeldt-aist closed 3 years ago

affeldt-aist commented 3 years ago

it seems that /pure/ means "no scalar part" @thery

thery commented 3 years ago

perfect