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