Rework extended integration


git-svn-id: https://fricas.svn.sourceforge.net/svnroot/fricas/trunk@1829 b0c55286-4f34-0410-a049-a1e7e93b0762
Minor documentation and whitespace fixes


git-svn-id: https://fricas.svn.sourceforge.net/svnroot/fricas/trunk@1830 b0c55286-4f34-0410-a049-a1e7e93b0762
Add 'coefficients' and 'series'


git-svn-id: https://fricas.svn.sourceforge.net/svnroot/fricas/trunk@1831 b0c55286-4f34-0410-a049-a1e7e93b0762
Fix 'totalDegreeSorted'.


git-svn-id: https://fricas.svn.sourceforge.net/svnroot/fricas/trunk@1832 b0c55286-4f34-0410-a049-a1e7e93b0762
fix "series" of UnivariateLaurentSeriesConstructor

Q ==> Fraction Integer
R ==> Record(k: Integer, c: Q)
L ==> UnivariateLaurentSeries(Q, 'z, 0)
l: List R := [[n, n/1]$R for n in 1..7|n~=5]
series(l)$L

Result:
  before
                  2     3     4
            z + 2z  + 3z  + 4z

  after
                  2     3     4     6     7
            z + 2z  + 3z  + 4z  + 6z  + 7z

git-svn-id: https://fricas.svn.sourceforge.net/svnroot/fricas/trunk@1833 b0c55286-4f34-0410-a049-a1e7e93b0762
fix RootFSSplit argument

Before this patch, the aldor compilation of libaxiom.al gave:

aldor -Wname=axiom -Mno-abbrev -Mpreview -Y al -L
AxiomLib=axiom_RFSSPLIT -fao=ao/RFSSPLIT.ao ap/RFSSPLIT.ap
(Message Preview)
"ap/RFSSPLIT.ap", line 11:
                (|Declare| |#2| (|Apply| |FunctionSpace| |#1|)))
.........................................................^
[L11 C58] #1 (Error) Argument 1 of `FunctionSpace' did not match any
possible parameter type.
    The rejected type is Join(IntegralDomain, RetractableTo(Integer)) with .
    Expected type Comparable.

git-svn-id: https://fricas.svn.sourceforge.net/svnroot/fricas/trunk@1834 b0c55286-4f34-0410-a049-a1e7e93b0762
Allow use of GMP for more targets


git-svn-id: https://fricas.svn.sourceforge.net/svnroot/fricas/trunk@1835 b0c55286-4f34-0410-a049-a1e7e93b0762
Add 'prodiag'


git-svn-id: https://fricas.svn.sourceforge.net/svnroot/fricas/trunk@1836 b0c55286-4f34-0410-a049-a1e7e93b0762
Disable unsound propagation of target type in 'pushDownTargetInfo'


git-svn-id: https://fricas.svn.sourceforge.net/svnroot/fricas/trunk@1837 b0c55286-4f34-0410-a049-a1e7e93b0762