annotate .cms/lib/codemirror/mode/yacas/index.html @ 1:1d486627aa1e draft default tip

24.10
author Coffee CMS <info@coffee-cms.ru>
date Sat, 12 Oct 2024 02:51:39 +0000
parents 78edf6b517a0
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
1 <!doctype html>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
2
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
3 <title>CodeMirror: yacas mode</title>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
4 <meta charset="utf-8"/>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
5 <link rel=stylesheet href="../../doc/docs.css">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
6
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
7 <link rel=stylesheet href=../../lib/codemirror.css>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
8 <script src=../../lib/codemirror.js></script>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
9 <script src=../../addon/edit/matchbrackets.js></script>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
10 <script src=yacas.js></script>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
11 <style type=text/css>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
12 .CodeMirror {border-top: 1px solid black; border-bottom: 1px solid black;}
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
13 </style>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
14 <div id=nav>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
15 <a href="https://codemirror.net/5"><h1>CodeMirror</h1><img id=logo src="../../doc/logo.png" alt=""></a>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
16
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
17 <ul>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
18 <li><a href="../../index.html">Home</a>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
19 <li><a href="../../doc/manual.html">Manual</a>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
20 <li><a href="https://github.com/codemirror/codemirror5">Code</a>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
21 </ul>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
22 <ul>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
23 <li><a href="../index.html">Language modes</a>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
24 <li><a class=active href="#">yacas</a>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
25 </ul>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
26 </div>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
27
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
28 <article>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
29 <h2>yacas mode</h2>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
30
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
31
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
32 <textarea id="yacasCode">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
33 // example yacas code
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
34 Graph(edges_IsList) <-- [
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
35 Local(v, e, f, t);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
36
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
37 vertices := {};
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
38
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
39 ForEach (e, edges) [
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
40 If (IsList(e), e := Head(e));
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
41 {f, t} := Tail(Listify(e));
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
42
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
43 DestructiveAppend(vertices, f);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
44 DestructiveAppend(vertices, t);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
45 ];
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
46
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
47 Graph(RemoveDuplicates(vertices), edges);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
48 ];
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
49
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
50 10 # IsGraph(Graph(vertices_IsList, edges_IsList)) <-- True;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
51 20 # IsGraph(_x) <-- False;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
52
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
53 Edges(Graph(vertices_IsList, edges_IsList)) <-- edges;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
54 Vertices(Graph(vertices_IsList, edges_IsList)) <-- vertices;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
55
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
56 AdjacencyList(g_IsGraph) <-- [
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
57 Local(l, vertices, edges, e, op, f, t);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
58
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
59 l := Association'Create();
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
60
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
61 vertices := Vertices(g);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
62 ForEach (v, vertices)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
63 Association'Set(l, v, {});
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
64
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
65 edges := Edges(g);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
66
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
67 ForEach(e, edges) [
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
68 If (IsList(e), e := Head(e));
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
69 {op, f, t} := Listify(e);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
70 DestructiveAppend(Association'Get(l, f), t);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
71 If (String(op) = "<->", DestructiveAppend(Association'Get(l, t), f));
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
72 ];
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
73
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
74 l;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
75 ];
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
76 </textarea>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
77
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
78 <script>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
79 var yacasEditor = CodeMirror.fromTextArea(document.getElementById('yacasCode'), {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
80 mode: 'text/x-yacas',
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
81 lineNumbers: true,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
82 matchBrackets: true
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
83 });
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
84 </script>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
85
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
86 <p><strong>MIME types defined:</strong> <code>text/x-yacas</code> (yacas).</p>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
87 </article>