FriCAS Code

rename axiom to fricas in code and documentation

AXIOM env variable --> FRICAS
AXIOMEDITOR --> FRICASEDITOR
AXIOMsys --> FRICASsys
axiom-wiki --> fricas-wiki
axiom --> fricas in message file s2-us.msgs
axiom-xl --> aldor
A# --> Aldor

The following changes require a newer Aldor compiler.
At least 13e5b90eecc79ec6704efb333c4c100187520e80 from 30-Jul-2019.
Before that the name libfricas was not treated correctly by Aldor.
libaxiom.al --> libfricas.al
axiom.as --> fricas.as

Generate conditions on defaults, and foreign import in new compiler

Share more code between makefiles

Also, enable generation of Makefile2&3 via Makefile

Make clean should use rm -f

That way it will always succeed, even if the files don't exist.

add multivariate "easy types"

Thanks Peter Broadbery

A type is called "easy" if all of its arguments are only required to be
of type Type. Before, we only counted univariate types. Now, also
multivariate type constructors are considered. This results in smaller
cliques.

add dependencies for files coming from Aldor source tree

generalize Matrix in Aldor interface

Fix build problems due to .fricas.input

fix aldor compilation

After generalization of the coefficient domain of polynomials from
Ring to Join(SemiRng, AbelianMonoid)
(r1933 "Generalize polynomials to semirings", 2015-08-21 02:41:11),
also the initlist must be generalized.

fix location of git mirror of svn repository