conjugate and RootOf
Series and Limit Computations
The conjugate command now has extended support for RootOf expressions. You can now find the conjugate of the following:
RootOf expressions with a numerical selector and real coefficients
The following examples return unevaluated in Maple 2015 and earlier.
For indefinite integrals, sums, and products, as well as for differentiations, the eval command now supports an additive change of the variable.
Maple 2016 includes a new C implementation of the F4 algorithm for computing Gröbner bases, replacing FGb. The new code is generally faster and uses multiple threads. The benchmarks below show real time on a quad core Intel Core i5 4590 3.3 GHz computer using a logarithmic scale. The new code supports primes up to 231−1, an increase over FGb's 16-bit primes. To compute over the rationals, Maple uses Chinese remaindering and rational reconstruction.
Maple 2016 includes improved handling of "product over RootOf" cases. The following example returns unevaluated in Maple 2015 and earlier:
∏R = RootOfz2−2x−RootOfz2−R,z
A number of improvements were made to series and limit computations in Maple.
The following series and asymptotic functions were added:
Asymptotic expansions of Airy functions at −∞
Series and asymptotic expansions of hypergeometric functions
Series expansions of abs and signum in the real case
Series expansion of GAMMA function at a symbolic pole
Asymptotic expansion of incomplete GAMMA function w.r.t. the parameter
Asymptotic expansion of Hurwitz Zeta function
Series and asymptotic expansions of harmonic numbers
Series expansions of ln and related functions with a logarithmic branch cut depending on a real parameter were improved.
Finally, limit computations of oscillating functions were improved.
New Series Expansions
The following series expansions could not be computed in earlier versions of Maple:
F1 2 functions at 1
The case where the lower parameter minus the sum of the upper parameters is an integer is supported.
The Γ function at a symbolic pole.
seriesΓx,x=n,3 assuming n∷nonposint