# Difference between revisions of "Interactive JessieScript"

### Possible elements:

Construction Description
A(1,1) Point with name 'A' at position (1,1)
ZY(0.5|1) Point with name 'ZY' at position (0.5,1)
]AB[ straight line through points A and B
[AB[ ray through points A and B, stopping at A
]AB] ray through points A and B, stopping at B
[AB] segment through points A and B
g=[AB] segment through points A and B, named by 'g'
k(A,1) circle with midpoint A and radius 1
k(A,B) circle with midpoint A through point B on the circle line
k(A,[BC]) circle with midpoint A and radius defined by the length of the (not necessarily existing) segement [BC]
k_1=k(A,1) circle with midpoint A and radius 1, named by 'k_1'

The different elements have to be separated by semicolon.

### The JavaScript code

var board, construction = [];
board = JXG.JSXGraph.initBoard('box', {grid:true, boundingbox:[-1,6,11,-3], keepaspectratio:true, axis:true});

function construct() {
var t = document.getElementById('input').value;
construction.push(board.construct(t));
}
{"ft_lang_label":"__label__en","ft_lang_prob":0.70986307,"math_prob":0.972425,"size":1763,"snap":"2020-24-2020-29","text_gpt3_token_len":506,"char_repetition_ratio":0.12734509,"word_repetition_ratio":0.09417041,"special_character_ratio":0.30799773,"punctuation_ratio":0.19710144,"nsfw_num_words":0,"has_unicode_error":false,"math_prob_llama3":0.9769355,"pos_list":[0],"im_url_duplicate_count":[null],"WARC_HEADER":"{\"WARC-Type\":\"response\",\"WARC-Date\":\"2020-05-27T13:21:22Z\",\"WARC-Record-ID\":\"<urn:uuid:91f141c7-ea65-48a2-a884-cf6907da924d>\",\"Content-Length\":\"24565\",\"Content-Type\":\"application/http; msgtype=response\",\"WARC-Warcinfo-ID\":\"<urn:uuid:24b03495-8ab0-411c-a6be-2b2cb83590dc>\",\"WARC-Concurrent-To\":\"<urn:uuid:e863d868-4211-4ea1-8ec5-02cff901b547>\",\"WARC-IP-Address\":\"132.180.198.114\",\"WARC-Target-URI\":\"https://jsxgraph.org/wiki/index.php?title=Interactive_JessieScript&diff=prev&oldid=3845\",\"WARC-Payload-Digest\":\"sha1:SZHIDBZPIHSFHDRMAT7R7QNTGZHOANDD\",\"WARC-Block-Digest\":\"sha1:DKP4DKDQJQ7VDLQTCZXED6AFFURNUBH6\",\"WARC-Identified-Payload-Type\":\"text/html\",\"warc_filename\":\"/cc_download/warc_2020/CC-MAIN-2020-24/CC-MAIN-2020-24_segments_1590347394074.44_warc_CC-MAIN-20200527110649-20200527140649-00174.warc.gz\"}"}