is the main FriCAS program. It does not include graphics or
hyperdoc browsing. Under Linux FriCAS is usually started
via a script called fricas that also starts other processes
such as sman (the socket manager), clef (line editing),
graphics, and hyperdoc in addition to FRICASsys.