Skip to content

Commit a1b67ce

Browse files
RunDevelopmentRunDevelopment
authored
Added support for Magma (CAS) (#3055)
1 parent 23cd9b6 commit a1b67ce

15 files changed

+387
-2
lines changed

‎components.js

+1-1
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

‎components.json

+4
Original file line numberDiff line numberDiff line change
@@ -783,6 +783,10 @@
783783
"title": "Lua",
784784
"owner": "Golmote"
785785
},
786+
"magma": {
787+
"title": "Magma (CAS)",
788+
"owner": "RunDevelopment"
789+
},
786790
"makefile": {
787791
"title": "Makefile",
788792
"owner": "Golmote"

‎components/prism-magma.js

+35
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,35 @@
1+
Prism.languages.magma = {
2+
'output': {
3+
pattern: /^(>.*(?:\r(?:\n|(?!\n))|\n))(?!>)(?:.+|(?:\r(?:\n|(?!\n))|\n)(?!>).*)(?:(?:\r(?:\n|(?!\n))|\n)(?!>).*)*/m,
4+
lookbehind: true,
5+
greedy: true
6+
},
7+
8+
'comment': {
9+
pattern: /\/\/.*|\/\*[\s\S]*?\*\//,
10+
greedy: true
11+
},
12+
'string': {
13+
pattern: /(^|[^\\"])"(?:[^\r\n\\"]|\\.)*"/,
14+
lookbehind: true,
15+
greedy: true
16+
},
17+
18+
// http://magma.maths.usyd.edu.au/magma/handbook/text/82
19+
'keyword': /\b(?:_|adj|and|assert|assert2|assert3|assigned|break|by|case|cat|catch|clear|cmpeq|cmpne|continue|declare|default|delete|diff|div|do|elif|else|end|eq|error|eval|exists|exit|for|forall|forward|fprintf|freeze|function|ge|gt|if|iload|import|in|intrinsic|is|join|le|load|local|lt|meet|mod|ne|not|notadj|notin|notsubset|or|print|printf|procedure|quit|random|read|readi|repeat|require|requirege|requirerange|restore|return|save|sdiff|select|subset|then|time|to|try|until|vprint|vprintf|vtime|when|where|while|xor)\b/,
20+
'boolean': /\b(?:false|true)\b/,
21+
22+
'generator': {
23+
pattern: /\b[a-z_]\w*(?=\s*<)/i,
24+
alias: 'class-name'
25+
},
26+
'function': /\b[a-z_]\w*(?=\s*\()/i,
27+
28+
'number': {
29+
pattern: /(^|[^\w.]|\.\.)(?:\d+(?:\.\d*)?|\.\d+)(?:[eE][+-]?\d+)?(?:_[a-z]?)?(?=$|[^\w.]|\.\.)/,
30+
lookbehind: true
31+
},
32+
33+
'operator': /->|[-+*/^~!|#=]|:=|\.\./,
34+
'punctuation': /[()[\]{}<>,;.:]/
35+
};

‎components/prism-magma.min.js

+1
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

‎examples/prism-magma.html

+34
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,34 @@
1+
<h2>Full example</h2>
2+
<pre><code>// Source: http://magma.maths.usyd.edu.au/magma/handbook/text/115#963
3+
> D := Denominator;
4+
> N := Numerator;
5+
> farey := function(n)
6+
> f := [ RationalField() | 0, 1/n ];
7+
> p := 0;
8+
> q := 1;
9+
> while p/q lt 1 do
10+
> p := ( D(f[#f-1]) + n) div D(f[#f]) * N(f[#f]) - N(f[#f-1]);
11+
> q := ( D(f[#f-1]) + n) div D(f[#f]) * D(f[#f]) - D(f[#f-1]);
12+
> Append(~f, p/q);
13+
> end while;
14+
> return f;
15+
> end function;
16+
> function farey(n)
17+
> if n eq 1 then
18+
> return [RationalField() | 0, 1 ];
19+
> else
20+
> f := farey(n-1);
21+
> i := 0;
22+
> while i lt #f-1 do
23+
> i +:= 1;
24+
> if D(f[i]) + D(f[i+1]) eq n then
25+
> Insert( ~f, i+1, (N(f[i]) + N(f[i+1]))/(D(f[i]) + D(f[i+1])));
26+
> end if;
27+
> end while;
28+
> return f;
29+
> end if;
30+
> end function;
31+
> farey := func&lt; n |
32+
> Sort(Setseq({ a/b : a in { 0..n }, b in { 1..n } | a le b }))>;
33+
> farey(6);
34+
[ 0, 1/6, 1/5, 1/4, 1/3, 2/5, 1/2, 3/5, 2/3, 3/4, 4/5, 5/6, 1 ]</code></pre>

‎plugins/show-language/prism-show-language.js

+1
Original file line numberDiff line numberDiff line change
@@ -137,6 +137,7 @@
137137
"llvm": "LLVM IR",
138138
"log": "Log file",
139139
"lolcode": "LOLCODE",
140+
"magma": "Magma (CAS)",
140141
"md": "Markdown",
141142
"markup-templating": "Markup templating",
142143
"matlab": "MATLAB",

‎plugins/show-language/prism-show-language.min.js

+1-1
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

‎tests/languages/magma/boolean_feature.test

+9
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,9 @@
1+
true
2+
false
3+
4+
----------------------------------------------------
5+
6+
[
7+
["boolean", "true"],
8+
["boolean", "false"]
9+
]

‎tests/languages/magma/comment_feature.test

+13
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,13 @@
1+
// comment
2+
3+
/*
4+
comment
5+
*/
6+
7+
----------------------------------------------------
8+
9+
[
10+
["comment", "// comment"],
11+
12+
["comment", "/*\r\n comment\r\n */"]
13+
]

‎tests/languages/magma/generator_feature.test

+36
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,36 @@
1+
G<a, b> := Group<a, b | a^2 = b^3 = a^b*b^2>;
2+
3+
----------------------------------------------------
4+
5+
[
6+
["generator", "G"],
7+
["punctuation", "<"],
8+
"a",
9+
["punctuation", ","],
10+
" b",
11+
["punctuation", ">"],
12+
["operator", ":="],
13+
["generator", "Group"],
14+
["punctuation", "<"],
15+
"a",
16+
["punctuation", ","],
17+
" b ",
18+
["operator", "|"],
19+
" a",
20+
["operator", "^"],
21+
["number", "2"],
22+
["operator", "="],
23+
" b",
24+
["operator", "^"],
25+
["number", "3"],
26+
["operator", "="],
27+
" a",
28+
["operator", "^"],
29+
"b",
30+
["operator", "*"],
31+
"b",
32+
["operator", "^"],
33+
["number", "2"],
34+
["punctuation", ">"],
35+
["punctuation", ";"]
36+
]

‎tests/languages/magma/keyword_feature.test

+177
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,177 @@
1+
_;
2+
adj;
3+
and;
4+
assert;
5+
assert2;
6+
assert3;
7+
assigned;
8+
break;
9+
by;
10+
case;
11+
cat;
12+
catch;
13+
clear;
14+
cmpeq;
15+
cmpne;
16+
continue;
17+
declare;
18+
default;
19+
delete;
20+
diff;
21+
div;
22+
do;
23+
elif;
24+
else;
25+
end;
26+
eq;
27+
error;
28+
eval;
29+
exists;
30+
exit;
31+
for;
32+
forall;
33+
forward;
34+
fprintf;
35+
freeze;
36+
function;
37+
ge;
38+
gt;
39+
if;
40+
iload;
41+
import;
42+
in;
43+
intrinsic;
44+
is;
45+
join;
46+
le;
47+
load;
48+
local;
49+
lt;
50+
meet;
51+
mod;
52+
ne;
53+
not;
54+
notadj;
55+
notin;
56+
notsubset;
57+
or;
58+
print;
59+
printf;
60+
procedure;
61+
quit;
62+
random;
63+
read;
64+
readi;
65+
repeat;
66+
require;
67+
requirege;
68+
requirerange;
69+
restore;
70+
return;
71+
save;
72+
sdiff;
73+
select;
74+
subset;
75+
then;
76+
time;
77+
to;
78+
try;
79+
until;
80+
vprint;
81+
vprintf;
82+
vtime;
83+
when;
84+
where;
85+
while;
86+
xor;
87+
88+
----------------------------------------------------
89+
90+
[
91+
["keyword", "_"], ["punctuation", ";"],
92+
["keyword", "adj"], ["punctuation", ";"],
93+
["keyword", "and"], ["punctuation", ";"],
94+
["keyword", "assert"], ["punctuation", ";"],
95+
["keyword", "assert2"], ["punctuation", ";"],
96+
["keyword", "assert3"], ["punctuation", ";"],
97+
["keyword", "assigned"], ["punctuation", ";"],
98+
["keyword", "break"], ["punctuation", ";"],
99+
["keyword", "by"], ["punctuation", ";"],
100+
["keyword", "case"], ["punctuation", ";"],
101+
["keyword", "cat"], ["punctuation", ";"],
102+
["keyword", "catch"], ["punctuation", ";"],
103+
["keyword", "clear"], ["punctuation", ";"],
104+
["keyword", "cmpeq"], ["punctuation", ";"],
105+
["keyword", "cmpne"], ["punctuation", ";"],
106+
["keyword", "continue"], ["punctuation", ";"],
107+
["keyword", "declare"], ["punctuation", ";"],
108+
["keyword", "default"], ["punctuation", ";"],
109+
["keyword", "delete"], ["punctuation", ";"],
110+
["keyword", "diff"], ["punctuation", ";"],
111+
["keyword", "div"], ["punctuation", ";"],
112+
["keyword", "do"], ["punctuation", ";"],
113+
["keyword", "elif"], ["punctuation", ";"],
114+
["keyword", "else"], ["punctuation", ";"],
115+
["keyword", "end"], ["punctuation", ";"],
116+
["keyword", "eq"], ["punctuation", ";"],
117+
["keyword", "error"], ["punctuation", ";"],
118+
["keyword", "eval"], ["punctuation", ";"],
119+
["keyword", "exists"], ["punctuation", ";"],
120+
["keyword", "exit"], ["punctuation", ";"],
121+
["keyword", "for"], ["punctuation", ";"],
122+
["keyword", "forall"], ["punctuation", ";"],
123+
["keyword", "forward"], ["punctuation", ";"],
124+
["keyword", "fprintf"], ["punctuation", ";"],
125+
["keyword", "freeze"], ["punctuation", ";"],
126+
["keyword", "function"], ["punctuation", ";"],
127+
["keyword", "ge"], ["punctuation", ";"],
128+
["keyword", "gt"], ["punctuation", ";"],
129+
["keyword", "if"], ["punctuation", ";"],
130+
["keyword", "iload"], ["punctuation", ";"],
131+
["keyword", "import"], ["punctuation", ";"],
132+
["keyword", "in"], ["punctuation", ";"],
133+
["keyword", "intrinsic"], ["punctuation", ";"],
134+
["keyword", "is"], ["punctuation", ";"],
135+
["keyword", "join"], ["punctuation", ";"],
136+
["keyword", "le"], ["punctuation", ";"],
137+
["keyword", "load"], ["punctuation", ";"],
138+
["keyword", "local"], ["punctuation", ";"],
139+
["keyword", "lt"], ["punctuation", ";"],
140+
["keyword", "meet"], ["punctuation", ";"],
141+
["keyword", "mod"], ["punctuation", ";"],
142+
["keyword", "ne"], ["punctuation", ";"],
143+
["keyword", "not"], ["punctuation", ";"],
144+
["keyword", "notadj"], ["punctuation", ";"],
145+
["keyword", "notin"], ["punctuation", ";"],
146+
["keyword", "notsubset"], ["punctuation", ";"],
147+
["keyword", "or"], ["punctuation", ";"],
148+
["keyword", "print"], ["punctuation", ";"],
149+
["keyword", "printf"], ["punctuation", ";"],
150+
["keyword", "procedure"], ["punctuation", ";"],
151+
["keyword", "quit"], ["punctuation", ";"],
152+
["keyword", "random"], ["punctuation", ";"],
153+
["keyword", "read"], ["punctuation", ";"],
154+
["keyword", "readi"], ["punctuation", ";"],
155+
["keyword", "repeat"], ["punctuation", ";"],
156+
["keyword", "require"], ["punctuation", ";"],
157+
["keyword", "requirege"], ["punctuation", ";"],
158+
["keyword", "requirerange"], ["punctuation", ";"],
159+
["keyword", "restore"], ["punctuation", ";"],
160+
["keyword", "return"], ["punctuation", ";"],
161+
["keyword", "save"], ["punctuation", ";"],
162+
["keyword", "sdiff"], ["punctuation", ";"],
163+
["keyword", "select"], ["punctuation", ";"],
164+
["keyword", "subset"], ["punctuation", ";"],
165+
["keyword", "then"], ["punctuation", ";"],
166+
["keyword", "time"], ["punctuation", ";"],
167+
["keyword", "to"], ["punctuation", ";"],
168+
["keyword", "try"], ["punctuation", ";"],
169+
["keyword", "until"], ["punctuation", ";"],
170+
["keyword", "vprint"], ["punctuation", ";"],
171+
["keyword", "vprintf"], ["punctuation", ";"],
172+
["keyword", "vtime"], ["punctuation", ";"],
173+
["keyword", "when"], ["punctuation", ";"],
174+
["keyword", "where"], ["punctuation", ";"],
175+
["keyword", "while"], ["punctuation", ";"],
176+
["keyword", "xor"], ["punctuation", ";"]
177+
]

‎tests/languages/magma/number_feature.test

+17
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,17 @@
1+
123
2+
-123
3+
4+
1.234
5+
6+
0..100
7+
8+
----------------------------------------------------
9+
10+
[
11+
["number", "123"],
12+
["operator", "-"], ["number", "123"],
13+
14+
["number", "1.234"],
15+
16+
["number", "0"], ["operator", ".."], ["number", "100"]
17+
]

‎tests/languages/magma/operator_feature.test

+25
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,25 @@
1+
+ - * / ^ ~ !
2+
=
3+
:= -> ..
4+
| #
5+
6+
----------------------------------------------------
7+
8+
[
9+
["operator", "+"],
10+
["operator", "-"],
11+
["operator", "*"],
12+
["operator", "/"],
13+
["operator", "^"],
14+
["operator", "~"],
15+
["operator", "!"],
16+
17+
["operator", "="],
18+
19+
["operator", ":="],
20+
["operator", "->"],
21+
["operator", ".."],
22+
23+
["operator", "|"],
24+
["operator", "#"]
25+
]

0 commit comments

Comments
 (0)