Category:Fōrmulæ: Difference between revisions
m
no edit summary
mNo edit summary |
mNo edit summary |
||
Line 24:
| 2 + (3 × 5) || Starting expression
|-
| 2 + 15 || [http://
|-
| 17 || [http://
|-
| 17 || Final result, no rule can be applied
Line 37:
The Fōrmulæ project works in a different way. We do not only create rewriting rules, It provides an specification with which anybody can write —in a regular programming language— rewriting rules that can be also published. It converts the process of creating rewriting rules to a colaborative one.
=== Fōrmulæ
As you can see, the number of rules are always increasing and they need to be documented. The [http://
The
=== Expression visualization ===
Line 51:
It means that anybody can write code to define how an expression is to be shown. It is called a visualization rule. Moreover, there can be multiple visualization rules for a specific expression, although only one can be used at the same time.
It is very common that these visualization rules show expression as humans do. It is usually called [https://en.wikipedia.org/wiki/Prettyprint pretty-print]. Moreover, different visualization rules can also written to match science field, localization (see [http://
Entries in the
=== Expression edition ===
Line 59:
The Fōrmulæ framework also defines a specification to edit (create or modify) symbolic expressions, called edition rules.
Entries in the
=== Fōrmulæ packages ===
Line 117:
=== Fōrmulæ front-ends ===
[[File:FormulaeDesktopExample.png|thumb|link=http://
There must be a program where symbolic expressions are created, visualized, edited and where to apply the rewriting rules. It is a front-end. Anyone can write such a program, according to the Fōrmulæ specification.
Line 163:
| [http://www.formulae.org www.formulae.org] || Main page. Official repository of the library, Desktop program, packages and source code.
|-
| [http://
|}
|