Vim-magma is a vim plugin for the Magma computer algebra system. Vim-magma supports syntax highlighting and indentation for Magma.
These instructions assume you use a bundler (e.g. Vim-Plug). In this case you should place following line in your vim config:
Plug 'petRUShka/vim-magma'
- vimcmdline: send lines from Vim to interpreter (Magma and vim-magma are supported see vimcmdline#95);
The list of built-ins used is generated by
$ echo "ListSignatures(Any);" | MAGMA_USER_SPEC="" magma -b | tail -n+3 | grep "^[A-z]" | cut -f1 -d\( | sort -u > magma-builtins
The file magma-builtins
very useful for completion. Press Ctrl-X/Ctrl-O
in insert mode to force completion.
That trick is stolen from magma-mode, see build_completion_table.sh.
You may find this list also useful for rlwrap. Use it with magma -f magma-builtins
or install to ~/.magma_completions
.
Originally placed at http://www.cryptojedi.org/programming/index.shtml.