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.