[01:48:52] *** Quits: sirdancealot (~sirdancea@236.152.broadband3.iol.cz) (Ping timeout: 240 seconds) [03:15:29] *** Quits: drbean (~drbean@124.219.83.42) (Read error: Connection reset by peer) [10:44:03] *** Joins: sirdancealot (~sirdancea@236.152.broadband3.iol.cz) [11:04:32] *** Quits: sirdancealot (~sirdancea@236.152.broadband3.iol.cz) (Ping timeout: 244 seconds) [11:40:24] *** Joins: sirdancealot (~sirdancea@236.152.broadband3.iol.cz) [12:26:24] *** Quits: sirdancealot (~sirdancea@236.152.broadband3.iol.cz) (Ping timeout: 260 seconds) [12:50:18] *** Joins: drbean (~drbean@124.219.83.42) [13:43:24] *** Joins: sirdancealot (~sirdancea@109.107.211.244) [14:45:05] *** Joins: Putti (~Putti@unaffiliated/putti) [14:46:54] was there a grammar in gf that defined possible mathematical sentences (like 5 = -2) ? [14:50:21] I mean like there is gf resources for natural languages like swedish is there one for the language of mathematics? [15:16:59] there's this thing, http://cloud.grammaticalframework.org/minibar/minibar.html choose MathBar [15:17:18] you can make sentences like [15:17:19] e plus i are equal to e [15:17:33] and it shows in the latex format as e + i = e [15:17:39] this one has no numbers, but they would be easy to add [15:17:52] where I can see the whole grammar? [15:19:07] a good first guess is https://github.com/GrammaticalFramework/gf-contrib [15:19:10] there are some math grammarsr [15:19:45] actually the MathText looks even better, it has numbers [15:19:50] such luxury [15:20:08] thanks! :) [15:24:58] oh, another question, do you know any tool to convert gf grammar to context free grammar? I mean the form that looks like S -> AS where A and S are intermediate symbols and then there can be terminal symbols. [15:25:45] Lol, maybe GF itself could be used to make that ? :D [15:27:12] yes :) pg -printer="bnf" [15:27:23] and you get a context-free grammar [15:27:39] you get an ugly thing like [15:27:40] VP ::= VP_1_0 [15:27:40] VP ::= VP_1_1 [15:27:40] VP ::= VP_1_10 [15:27:40] VP ::= VP_1_11 [15:27:40] VP ::= VP_1_2 [15:27:41] VP ::= VP_1_3 [15:27:41] VP ::= VP_1_4 [15:27:42] VP ::= VP_1_5 [15:27:42] VP ::= VP_1_6 [15:27:43] VP ::= VP_1_7 [15:27:43] VP ::= VP_1_8 [15:27:44] VP ::= VP_1_9 [15:27:45] and so on [15:27:59] but that ugly thing can be easily edited then :) [15:28:33] *** Quits: annaaerinteenbot (~annaaerin@cse-principia.cse.chalmers.se) (Ping timeout: 265 seconds) [15:28:35] as for ease of editing, the original GF grammar is definitely easier! every time you add a new parameter, you get new underlying VP_x [15:28:52] and you have to update all rules that use VPs and so on [15:29:00] but in GF, you don't have to change barely anything in the code [15:29:30] but definitely, it's nice to see how it actually gets translated under the hood [15:29:41] makes one appreciate more the nice abstraction level in GF ^^ [15:29:47] parallel multiple ftw! [15:29:48] :-D [15:34:59] inariksit, cool! I think I will use GF for this project of mine (thinking of generating all (not all.. there needs to be some sort of limiting) symbolic math sentences and then evaluating them and comparing if some of them are the same and then end result would be new calculation formulas. [15:37:50] does it only consist of mathematical expressions, or also natural languag? [15:38:31] if it's only maths, then context free sounds like a good idea, I was maybe getting too much carried away [15:39:02] have you heard of this tool? http://bnfc.digitalgrammars.com/ [15:39:21] inariksit, only math expressions, like 5x / 2. I would limit the amount of symbols like x. Maybe just to even having only x. [15:39:51] inariksit, nope, I will have a look ! :) [15:40:02] aha right, so then BNFC would be definitely fine! [15:40:20] no need for fancy parameters or gender agreement or whatnot [15:40:37] yup! [16:17:34] *** Quits: Putti (~Putti@unaffiliated/putti) (Ping timeout: 255 seconds) [16:59:26] *** Joins: drbean_ (~drbean@124.219.83.41) [17:02:43] *** Quits: drbean (~drbean@124.219.83.42) (Ping timeout: 265 seconds) [18:24:52] *** Quits: sirdancealot (~sirdancea@109.107.211.244) (Ping timeout: 240 seconds) [21:04:58] *** Joins: sirdancealot (~sirdancea@210.14.broadband15.iol.cz) [23:44:49] *** Quits: sirdancealot (~sirdancea@210.14.broadband15.iol.cz) (Ping timeout: 260 seconds) [23:57:03] *** Joins: sirdancealot (~sirdancea@109.107.211.244)