euclid-parser:解析几何证明语言以构建图表说明

时间:2024-07-26 13:44:30
【文件属性】:

文件名称:euclid-parser:解析几何证明语言以构建图表说明

文件大小:18KB

文件格式:ZIP

更新时间:2024-07-26 13:44:30

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)

网友评论