IntegrationResultFunctions2(E, F)

intaux.spad line 165 [edit on github]

• E : Field
• F : Field

Internally used by the integration packages.

map : (Mapping(F, E), IntegrationResult(E)) -> IntegrationResult(F)

map(f, ire) is undocumented

map : (Mapping(F, E), Union(E, "failed")) -> Union(F, "failed")

map(f, ue) is undocumented

map : (Mapping(F, E), Union(Record(mainpart : E, limitedlogs : List(Record(coeff : E, logand : E))), "failed")) -> Union(Record(mainpart : F, limitedlogs : List(Record(coeff : F, logand : F))), "failed")

map(f, ufe) is undocumented

map : (Mapping(F, E), Union(Record(ratpart : E, coeff : E), "failed")) -> Union(Record(ratpart : F, coeff : F), "failed")

map(f, ure) is undocumented