Edit File by line

<!doctype html>

[0] Fix | Delete

[1] Fix | Delete

<title>CodeMirror: Mathematica mode</title>

[2] Fix | Delete

[3] Fix | Delete

[4] Fix | Delete

[5] Fix | Delete

[6] Fix | Delete

[7] Fix | Delete

[8] Fix | Delete

[9] Fix | Delete

[10] Fix | Delete

.CodeMirror {border-top: 1px solid black; border-bottom: 1px solid black;}

[11] Fix | Delete

</style>

[12] Fix | Delete

[13] Fix | Delete

<a href="http://codemirror.net"><h1>CodeMirror</h1><img id=logo src="../../doc/logo.png"></a>

[14] Fix | Delete

[15] Fix | Delete

<ul>

[16] Fix | Delete

[17] Fix | Delete

<li><a href="../../doc/manual.html">Manual</a>

[18] Fix | Delete

[19] Fix | Delete

</ul>

[20] Fix | Delete

<ul>

[21] Fix | Delete

<li><a href="../index.html">Language modes</a>

[22] Fix | Delete

<li><a class=active href="#">Mathematica</a>

[23] Fix | Delete

</ul>

[24] Fix | Delete

</div>

[25] Fix | Delete

[26] Fix | Delete

[27] Fix | Delete

<h2>Mathematica mode</h2>

[28] Fix | Delete

[29] Fix | Delete

[30] Fix | Delete

[31] Fix | Delete

(* example Mathematica code *)

[32] Fix | Delete

(* Dualisiert wird anhand einer Polarität an einer

[33] Fix | Delete

Quadrik $x^t Q x = 0$ mit regulärer Matrix $Q$ (also

[34] Fix | Delete

mit $det(Q) \neq 0$), z.B. die Identitätsmatrix.

[35] Fix | Delete

$p$ ist eine Liste von Polynomen - ein Ideal. *)

[36] Fix | Delete

dualize::"singular" = "Q must be regular: found Det[Q]==0.";

[37] Fix | Delete

dualize[ Q_, p_ ] := Block[

[38] Fix | Delete

{ m, n, xv, lv, uv, vars, polys, dual },

[39] Fix | Delete

If[Det[Q] == 0,

[40] Fix | Delete

Message[dualize::"singular"],

[41] Fix | Delete

m = Length[p];

[42] Fix | Delete

n = Length[Q] - 1;

[43] Fix | Delete

xv = Table[Subscript[x, i], {i, 0, n}];

[44] Fix | Delete

lv = Table[Subscript[l, i], {i, 1, m}];

[45] Fix | Delete

uv = Table[Subscript[u, i], {i, 0, n}];

[46] Fix | Delete

(* Konstruiere Ideal polys. *)

[47] Fix | Delete

If[m == 0,

[48] Fix | Delete

polys = Q.uv,

[49] Fix | Delete

polys = Join[p, Q.uv - Transpose[Outer[D, p, xv]].lv]

[50] Fix | Delete

];

[51] Fix | Delete

(* Eliminiere die ersten n + 1 + m Variablen xv und lv

[52] Fix | Delete

aus dem Ideal polys. *)

[53] Fix | Delete

vars = Join[xv, lv];

[54] Fix | Delete

dual = GroebnerBasis[polys, uv, vars];

[55] Fix | Delete

(* Ersetze u mit x im Ergebnis. *)

[56] Fix | Delete

ReplaceAll[dual, Rule[u, x]]

[57] Fix | Delete

]

[58] Fix | Delete

]

[59] Fix | Delete

</textarea>

[60] Fix | Delete

[61] Fix | Delete

[62] Fix | Delete

var mathematicaEditor = CodeMirror.fromTextArea(document.getElementById('mathematicaCode'), {

[63] Fix | Delete

mode: 'text/x-mathematica',

[64] Fix | Delete

lineNumbers: true,

[65] Fix | Delete

matchBrackets: true

[66] Fix | Delete

});

[67] Fix | Delete

</script>

[68] Fix | Delete

[69] Fix | Delete

<p><strong>MIME types defined:</strong> <code>text/x-mathematica</code> (Mathematica).</p>

[70] Fix | Delete

</article>

[71] Fix | Delete

[72] Fix | Delete