Does sage have analog of magma function IsIsomorphic?

asked 2012-12-26 07:56:53 +0100

petRUShka gravatar image

updated 2017-01-08 12:09:16 +0100

FrédéricC gravatar image

Does Sage have analog of magma function IsIsomorphic for curves

IsIsomorphic(C, D) : Crv, Crv -> BoolElt,MapSch

Given irreducible curves C and D this function returns true is C and D are isomorphic over their common base field. If so, it also returns a scheme map giving an isomorphism between them. The curves C and D must be reduced. Currently the function requires that the curves are not both genus 0 nor both genus 1 unless the base field is finite.

or IsIsomorphic for hyperelliptic curves?

IsIsomorphic(C1, C2) : CrvHyp, CrvHyp -> BoolElt, MapIsoSch

SetVerbose("CrvHypIso", n):         Maximum: 3

This function returns true if and only if the hyperelliptic curves C1 and C2 are isomorphic over their common base field. If the curves are isomorphic, an isomorphism is returned.

edit retag flag offensive close merge delete