IntegrationResultFunctions2(E, F)ΒΆ

intaux.spad line 165

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