Skip to content

Latest commit

 

History

History
40 lines (22 loc) · 1.49 KB

README.md

File metadata and controls

40 lines (22 loc) · 1.49 KB

Vim magma plugin

Vim-magma is a vim plugin for the Magma computer algebra system. Vim-magma supports syntax highlighting and indentation for Magma.

Installation

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'

Vim plugins to extend Magma support (together with vim-magma)

Built-ins

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.

Credits

Originally placed at http://www.cryptojedi.org/programming/index.shtml.