-- eta relations -- g1:=e5^6-e1^5*e25-5*e1^4*e25^2-15*e1^3*e25^3-25*e1^2*e25^4-25*e1*e25^5; -- Somos eta relations -- x25_6_30:=-e5^6+e1^5*e25+5*e1^4*e25^2+15*e1^3*e25^3+25*e1^2*e25^4+25*e1*e25^5; -- Relation relations -- relationRelations := [_ x25_6_30+g1];