Brahmagupta_identity loading ...