Add R. Rioboo's cylindrical algebraic decomposition.


git-svn-id: https://fricas.svn.sourceforge.net/svnroot/fricas/trunk@1804 b0c55286-4f34-0410-a049-a1e7e93b0762
Texmacs interface encodes scheme Cork symbols as unicode characters

git-svn-id: https://fricas.svn.sourceforge.net/svnroot/fricas/trunk@1805 b0c55286-4f34-0410-a049-a1e7e93b0762
Fix signature of 'degree' in DeRhamComplex.


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


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