Brahmagupta's_formula loading ...