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: (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