<p>This package defines a mapping between the JSON markup language and GAP. The built-in datatypes of GAP provide an easy mapping to and from JSON. This package uses the following mapping between GAP and JSON.</p>
<ul>
<li><p>JSON lists are mapped to GAP lists</p>
</li>
<li><p>JSON dictionaries are mapped to GAP records</p>
</li>
<li><p>JSON strings are mapped to GAP strings</p>
</li>
<li><p>Integers are mapped to GAP integers, non-integer numbers are mapped to Floats</p>
</li>
<li><p>true, false and null are mapped to true, false and fail respectively</p>
</li>
</ul>
<p>Note that this library is *NOT* intended to provide a general purpose library for transmitting any GAP object. If you wish to do this, look at the openmath package, or IO_Pickle in the IO package.</p>
<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ GapToJsonStream</code>( <var class="Arg">stream</var>, <var class="Arg">value</var> )</td><td class="tdright">( function )</td></tr></table></div>
<p>Converts the <var class="Arg">value</var> to JSON, and outputs it to <var class="Arg">stream</var>. This function disables GAP's usual line splitting while JSON is being outputted.
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung ist noch experimentell.
