-- Calculations for the right-most vertex of Type V calculations

S=QQ[a5, a4, a3, a2, MonomialOrder=>{Weights => {16, 16, 9, 9}},Global=>false];

-- We write the Numerator of the j-invariant
jC1Num=256*a5^6*a4^6*a3^6 - 768*a5^6*a4^6*a3^5*a2 - 768*a5^6*a4^5*a3^6*a2 - 768*a5^5*a4^6*a3^6*a2 + 1536*a5^6*a4^6*a3^4*a2^2 + 768*a5^6*a4^5*a3^5*a2^2 + 768*a5^5*a4^6*a3^5*a2^2 + 1536*a5^6*a4^4*a3^6*a2^2 + 768*a5^5*a4^5*a3^6*a2^2 + 1536*a5^4*a4^6*a3^6*a2^2 - 1792*a5^6*a4^6*a3^3*a2^3 - 768*a5^6*a4^5*a3^4*a2^3 - 768*a5^5*a4^6*a3^4*a2^3 - 768*a5^6*a4^4*a3^5*a2^3 + 3072*a5^5*a4^5*a3^5*a2^3 - 768*a5^4*a4^6*a3^5*a2^3 - 1792*a5^6*a4^3*a3^6*a2^3 - 768*a5^5*a4^4*a3^6*a2^3 - 768*a5^4*a4^5*a3^6*a2^3 - 1792*a5^3*a4^6*a3^6*a2^3 + 1536*a5^6*a4^6*a3^2*a2^4 - 768*a5^6*a4^5*a3^3*a2^4 - 768*a5^5*a4^6*a3^3*a2^4 + 2304*a5^6*a4^4*a3^4*a2^4 - 2304*a5^5*a4^5*a3^4*a2^4 + 2304*a5^4*a4^6*a3^4*a2^4 - 768*a5^6*a4^3*a3^5*a2^4 - 2304*a5^5*a4^4*a3^5*a2^4 - 2304*a5^4*a4^5*a3^5*a2^4 - 768*a5^3*a4^6*a3^5*a2^4 + 1536*a5^6*a4^2*a3^6*a2^4 - 768*a5^5*a4^3*a3^6*a2^4 + 2304*a5^4*a4^4*a3^6*a2^4 - 768*a5^3*a4^5*a3^6*a2^4 + 1536*a5^2*a4^6*a3^6*a2^4 - 768*a5^6*a4^6*a3*a2^5 + 768*a5^6*a4^5*a3^2*a2^5 + 768*a5^5*a4^6*a3^2*a2^5 - 768*a5^6*a4^4*a3^3*a2^5 + 3072*a5^5*a4^5*a3^3*a2^5 - 768*a5^4*a4^6*a3^3*a2^5 - 768*a5^6*a4^3*a3^4*a2^5 - 2304*a5^5*a4^4*a3^4*a2^5 - 2304*a5^4*a4^5*a3^4*a2^5 - 768*a5^3*a4^6*a3^4*a2^5 + 768*a5^6*a4^2*a3^5*a2^5 + 3072*a5^5*a4^3*a3^5*a2^5 - 2304*a5^4*a4^4*a3^5*a2^5 + 3072*a5^3*a4^5*a3^5*a2^5 + 768*a5^2*a4^6*a3^5*a2^5 - 768*a5^6*a4*a3^6*a2^5 + 768*a5^5*a4^2*a3^6*a2^5 - 768*a5^4*a4^3*a3^6*a2^5 - 768*a5^3*a4^4*a3^6*a2^5 + 768*a5^2*a4^5*a3^6*a2^5 - 768*a5*a4^6*a3^6*a2^5 + 256*a5^6*a4^6*a2^6 - 768*a5^6*a4^5*a3*a2^6 - 768*a5^5*a4^6*a3*a2^6 + 1536*a5^6*a4^4*a3^2*a2^6 + 768*a5^5*a4^5*a3^2*a2^6 + 1536*a5^4*a4^6*a3^2*a2^6 - 1792*a5^6*a4^3*a3^3*a2^6 - 768*a5^5*a4^4*a3^3*a2^6 - 768*a5^4*a4^5*a3^3*a2^6 - 1792*a5^3*a4^6*a3^3*a2^6 + 1536*a5^6*a4^2*a3^4*a2^6 - 768*a5^5*a4^3*a3^4*a2^6 + 2304*a5^4*a4^4*a3^4*a2^6 - 768*a5^3*a4^5*a3^4*a2^6 + 1536*a5^2*a4^6*a3^4*a2^6 - 768*a5^6*a4*a3^5*a2^6 + 768*a5^5*a4^2*a3^5*a2^6 - 768*a5^4*a4^3*a3^5*a2^6 - 768*a5^3*a4^4*a3^5*a2^6 + 768*a5^2*a4^5*a3^5*a2^6 - 768*a5*a4^6*a3^5*a2^6 + 256*a5^6*a3^6*a2^6 - 768*a5^5*a4*a3^6*a2^6 + 1536*a5^4*a4^2*a3^6*a2^6 - 1792*a5^3*a4^3*a3^6*a2^6 + 1536*a5^2*a4^4*a3^6*a2^6 - 768*a5*a4^5*a3^6*a2^6 + 256*a4^6*a3^6*a2^6;

-- We write the Denominator of the j-invariant
jC1Denom=a5^6*a4^6*a3^4*a2^2 + 2*a5^6*a4^5*a3^5*a2^2 + 2*a5^5*a4^6*a3^5*a2^2 + a5^6*a4^4*a3^6*a2^2 + 2*a5^5*a4^5*a3^6*a2^2 + a5^4*a4^6*a3^6*a2^2 - 2*a5^6*a4^6*a3^3*a2^3 - 4*a5^6*a4^5*a3^4*a2^3 - 4*a5^5*a4^6*a3^4*a2^3 - 4*a5^6*a4^4*a3^5*a2^3 - 6*a5^5*a4^5*a3^5*a2^3 - 4*a5^4*a4^6*a3^5*a2^3 - 2*a5^6*a4^3*a3^6*a2^3 - 4*a5^5*a4^4*a3^6*a2^3 - 4*a5^4*a4^5*a3^6*a2^3 - 2*a5^3*a4^6*a3^6*a2^3 + a5^6*a4^6*a3^2*a2^4 - 4*a5^6*a4^5*a3^3*a2^4 - 4*a5^5*a4^6*a3^3*a2^4 - 9*a5^6*a4^4*a3^4*a2^4 - 26*a5^5*a4^5*a3^4*a2^4 - 9*a5^4*a4^6*a3^4*a2^4 - 4*a5^6*a4^3*a3^5*a2^4 - 26*a5^5*a4^4*a3^5*a2^4 - 26*a5^4*a4^5*a3^5*a2^4 - 4*a5^3*a4^6*a3^5*a2^4 + a5^6*a4^2*a3^6*a2^4 - 4*a5^5*a4^3*a3^6*a2^4 - 9*a5^4*a4^4*a3^6*a2^4 - 4*a5^3*a4^5*a3^6*a2^4 + a5^2*a4^6*a3^6*a2^4 + 2*a5^6*a4^5*a3^2*a2^5 + 2*a5^5*a4^6*a3^2*a2^5 - 4*a5^6*a4^4*a3^3*a2^5 - 6*a5^5*a4^5*a3^3*a2^5 - 4*a5^4*a4^6*a3^3*a2^5 - 4*a5^6*a4^3*a3^4*a2^5 - 26*a5^5*a4^4*a3^4*a2^5 - 26*a5^4*a4^5*a3^4*a2^5 - 4*a5^3*a4^6*a3^4*a2^5 + 2*a5^6*a4^2*a3^5*a2^5 - 6*a5^5*a4^3*a3^5*a2^5 - 26*a5^4*a4^4*a3^5*a2^5 - 6*a5^3*a4^5*a3^5*a2^5 + 2*a5^2*a4^6*a3^5*a2^5 + 2*a5^5*a4^2*a3^6*a2^5 - 4*a5^4*a4^3*a3^6*a2^5 - 4*a5^3*a4^4*a3^6*a2^5 + 2*a5^2*a4^5*a3^6*a2^5 + a5^6*a4^4*a3^2*a2^6 + 2*a5^5*a4^5*a3^2*a2^6 + a5^4*a4^6*a3^2*a2^6 - 2*a5^6*a4^3*a3^3*a2^6 - 4*a5^5*a4^4*a3^3*a2^6 - 4*a5^4*a4^5*a3^3*a2^6 - 2*a5^3*a4^6*a3^3*a2^6 + a5^6*a4^2*a3^4*a2^6 - 4*a5^5*a4^3*a3^4*a2^6 - 9*a5^4*a4^4*a3^4*a2^6 - 4*a5^3*a4^5*a3^4*a2^6 + a5^2*a4^6*a3^4*a2^6 + 2*a5^5*a4^2*a3^5*a2^6 - 4*a5^4*a4^3*a3^5*a2^6 - 4*a5^3*a4^4*a3^5*a2^6 + 2*a5^2*a4^5*a3^5*a2^6 + a5^4*a4^2*a3^6*a2^6 - 2*a5^3*a4^3*a3^6*a2^6 + a5^2*a4^4*a3^6*a2^6;

-- We compute the leadingTerms of the Numerator
toString(leadTerm(1,jC1Num))
-- o4 = 256*a5^6*a4^6*a3^6-768*a5^6*a4^6*a3^5*a2+1536*a5^6*a4^6*a3^4*a2^2-1792*a5^6*a4^6*a3^3*a2^3+1536*a5^6*a4^6*a3^2*a2^4-768*a5^6*a4^6*a3*a2^5+256*a5^6*a4^6*a2^6

-- We compute the leadingTerms of the Denominator
toString(leadTerm(1,jC1Denom))
-- o5 = a5^6*a4^6*a3^4*a2^2-2*a5^6*a4^6*a3^3*a2^3+a5^6*a4^6*a3^2*a2^4