login  home  contents  what's new  discussion  bug reports     help  links  subscribe  changes  refresh  edit
FriCAS language
Type Equivalence  ← ↑  

UserInterface
  
last edited 2 years ago by test

Edit detail for UserInterface revision 14 of 16
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16
Editor: test
Time: 2022/11/07 19:05:26 GMT+0
Note: aaa 
added:

From test Mon Nov 7 19:05:26 +0000 2022
From: test
Date: Mon, 07 Nov 2022 19:05:26 +0000
Subject: aaa
Message-ID: <20221107190526+0000@fricas-wiki.math.uni.wroc.pl>

<!DOCTYPE html>
<html>
<body style="background-color:red;">
</body>
</html>

There are several options to interact with FriCAS?:

  • Native axiom user interface
    • readline functionality for line editing, arrow keys
    • "ascii text" rendering of mathematics
    • multi-line input
    • tab-completion
  • Emacs
    • FriCAS? bundles efricas script which starts FriCAS? inside Emacs using special editing mode
    • There is a usable gnu-emacs mode for axiom with some nice features as highlighting and write-protecting of output, the possibility of marking parts of the output in colors, etc. There remains some work to do, but it is certainly usable for production work.
    • For programming, there is an emacs mode for Aldor that provides syntax highlighting and automatic indentation, and interacts well with ALLPROSE.
  • TeXmacs?
    • include FriCAS? commands and formatted output in mathematical documents
  • [jFriCAS]? https://github.com/fricas/jfricas
    • user interface using web browser and Jupyter
  • [jEdit]? http://www.jedit.org

    jEdit is a mature and well-designed programmer's text editor with over 7 years of development behind it. While jEdit beats many expensive development tools for features and ease of use, it is released as free software with full source code, provided under the terms of the GNU General Public License.

    • runs on Mac OS X, OS/2, Unix (linux), VMS and Windows
    • Folding and outlining for selectively hiding or expanding complex parts of of the text or program code - Works with both SPAD indented (pile) code and Aldor block structures
    • supports file transfer and remote edit via SSH using SSH2 and SFTP
    • allows the user to run text from a buffer through an external process and capture the output (Hey, just like emacs :). - Works with FriCAS?! And on Windows too.
    • very extensible and under active development
  • Syntax Highlighting for VI
    • FriCASInVim?

--test, Mon, 07 Nov 2022 18:58:55 +0000 reply

aaa --test, Mon, 07 Nov 2022 19:01:07 +0000 reply

test