IntegrationResultFunctions2(E, F)

intaux.spad line 165 [edit on github]

• E: Field

• F: Field

Internally used by the integration packages Author: Manuel Bronstein Date Created: 1987 Keywords: integration.

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

map(f, ire) undocumented

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

map(f, ue) undocumented

map: (E -> F, 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) undocumented

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

map(f, ure) undocumented