Group law on the neutral component of the Jacobian of a real curve of genus 2 having many real components Explicit endomorphism of the Jacobian of a hyperelliptic function field of genus \(2\) using base field operations 