ParametricIntegration(R, F)¶
intpar.spad line 1517 [edit on github]
R: Join(GcdDomain, Comparable, CharacteristicZero, RetractableTo Integer, LinearlyExplicitOver Integer)
F: Join(AlgebraicallyClosedField, TranscendentalFunctionCategory, FunctionSpace R)
undocumented
- extendedint: (F, Symbol, List F) -> Record(particular: Union(Record(ratpart: F, coeffs: Vector F), failed), basis: List Record(ratpart: F, coeffs: Vector F))
extendedint(f, x, [g1, ..., gn])
returns solution of the systemf = dh/dx + c1*g1 + ... + cn*gn
and and a basis of the associated homogeneous systemdh/dx + c1*g1 + ... + cn*gn = 0
. Solutions are in the field generated by kernels off
andg1
, …,gn
.
- extendedint: (F, Symbol, List Kernel F, List F) -> Record(particular: Union(Record(ratpart: F, coeffs: Vector F), failed), basis: List Record(ratpart: F, coeffs: Vector F))
extendedint(f, x, [k1, ..., kn], [g1, ..., gn])
is like extendedint(f
, [k1
, …,kn
], [g1
, …,gn
]) but looks for solutions in the field generated byk1
, …,kn
.