[CLOSED] Wiki Page: Arithemetic Rule Semantics

[eriq-augustine]

Issue by eriq-augustine
Friday Nov 04, 2016 at 03:59 GMT
Originally opened as eriq-augustine#10

---

Make a page for 2.0 arithmetic rule semantics.
Include this data:

2.0 Arithmetic Rule Semantics

• (Rule is two parts: expression and selects)
• Eash sum variable can be used once per expression.
  • ie. each sum variable must have a unique id.
• A select may only appear on a rule with a sum variable.
• The only valid things that can appear in the select are:
  • Constants
  • Variables apearing in the associated arithmetic expression
  • The single sum variable that was defined as the argument
• Cardinality can only be taken on a sum variable.
  • Cardinality cannot be in a select.
• Builtin Coefficient Functions

[eriq-augustine]

Comment by eriq-augustine
Sunday Nov 27, 2016 at 02:51 GMT

---

The information is being captured on this page: https://github.com/eriq-augustine/psl/wiki/Rule-Specification

[eriq-augustine]

Comment by eriq-augustine
Sunday Nov 27, 2016 at 03:06 GMT

---

This page needs more examples and maybe some well-formatted grammar snippets.

[eriq-augustine]

Comment by eriq-augustine
Wednesday Jun 28, 2017 at 22:02 GMT

---

The Rule Specification page is not in fighting shape.