A Weil descent is for creating a hyperelliptic curve cover for making discrete logarithm easier on a class of curve. The aim is for a given curve to create a hyperelleptic curve which is equivalent.
In magma this is very simple : just use the Weil_descent
function. But as I no longer have a license, what’s the equivalent SageMath function ?