GenerateEllipticIntegrals(F, UP, UPUP, R)

intspec.spad line 1 [edit on github]

• F : Field
• UP : UnivariatePolynomialCategory(F)
• UPUP : UnivariatePolynomialCategory(Fraction(UP))
• R : Join(Field, MonogenicAlgebra(Fraction(UP), UPUP))

This package provides support functions for generating elliptic integrals.

fsqrt : F -> F

fsqrt(f) should be local but conditional

gen_ef : (F, UP, R, R) -> Union(Record(result1 : Fraction(UP), result2 : F), "failed")

gen_ef(f_var, f_pol, cfr, cer) produces linear combination

get_elliptics : (Mapping(UP, UP), F) -> List(Record(f_form : R, e_form : R, f_var : F, f_pol : UP))

get_elliptics(der, x) tries to find elliptic forms on R x is expression for variable of integration in F