From 633a62deb0c753e5ea1e8768dba839c01fb31d4f Mon Sep 17 00:00:00 2001 From: narodnik Date: Wed, 20 Jul 2022 13:00:09 +0200 Subject: [PATCH] add explicit homogenization step --- script/research/ec/intersection-multiplicity.sage | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/script/research/ec/intersection-multiplicity.sage b/script/research/ec/intersection-multiplicity.sage index 1acf0835e..f9a18deb9 100644 --- a/script/research/ec/intersection-multiplicity.sage +++ b/script/research/ec/intersection-multiplicity.sage @@ -7,7 +7,9 @@ Q = E(10, 26) C = E.defining_polynomial() R. = PolynomialRing(K) -f = y - Q[1] * z +f = y - Q[1] +# Homogenize f +f = z^f.degree() * f(x/z, y/z, 1) P. = ProjectiveSpace(K, 2) X = P.subscheme([C(x, y, z)])