【文件属性】:
文件名称:euclid-parser:解析几何证明语言以构建图表说明
文件大小:18KB
文件格式:ZIP
更新时间:2021-07-06 19:57:50
JavaScript
euclid 解析器
解析几何证明语言以获取图表构建说明。 使用。 玩语法。
安装
npm install euclid-parser
或者:
git clone https://github.com/anandthakker/euclid-parser.git
cd euclid-parser
npm install
用法
var parser = require ( 'euclid-parser' ) ;
var input = [
'let a be the point (1,2)' ,
'let b = (3, 4)' ,
'let s be the segment from a to b' ,
'let t be the line determined by a and b' ,
'let o be the circle with center a c
【文件预览】:
euclid-parser-master
----grammar.pegjs(4KB)
----.travis.yml(38B)
----LICENSE(1KB)
----test()
--------point.txt(84B)
--------comment.json(160B)
--------basic-tests.js(1KB)
--------line.txt(209B)
--------circle.json(2KB)
--------intersection.txt(307B)
--------comment.txt(69B)
--------segment.txt(293B)
--------inline.json(3KB)
--------segment.json(3KB)
--------inline.txt(190B)
--------circle.txt(176B)
--------line.json(2KB)
--------intersection.json(3KB)
--------point.json(777B)
----README.md(3KB)
----.gitignore(587B)
----index.js(65KB)
----package.json(809B)