Go over operator characters... #71
Conversation
rocky
force-pushed
the
more-operator-tweaks
branch
from
a3c366f to
ed35350
Compare
| @@ -5003,13 +4992,15 @@ Information: | |||
| is-letter-like: false | |||
| operator-name: Information | |||
|
|
|||
| # While one might think that Integral is an WL operator, it is not. | |||
There was a problem hiding this comment.
Precedence of Integration Operators
Forms such as involve two operators: [[Integral]](https://reference.wolfram.com/language/ref/ character/Integral.html)
and [[DifferentialD]](https://reference.wolfram.com/language/ref/character/DifferentialD.html).
The former has a precedence just above , while the latter has one > just below Power.
The precedence of determines when needs to be parenthesized, while the precedence of determines when needs to be parenthesized. Note that the form does not involve , and therefore behaves like a normal prefix operator in this case.
∮, [∲](https://> reference.wolfram.com/language/ref/character/ClockwiseContourIntegral.html) and
∯ work the same as ∫.
See "Two-Dimensional Input Forms" for two‐dimensional input forms associated with integration operators.
(from https://reference.wolfram.com/language/tutorial/OperatorInputForms.html)
There was a problem hiding this comment.
Ok. Thanks for the information and corrections.
I will revise this and the spelling corrections below soon. The thing about Integral then is that its "arity" is special- neither Prefix, Postfix, Infix, or MatchFix. I'll create a new category "Compound" (following WL docs) then.
and add more information in operators YAML
test/test_general_yaml_sanity.py
Outdated
| @@ -180,7 +182,7 @@ def test_unicode_operators(): | |||
| operator_name = v["operator-name"] | |||
| assert ( | |||
| k == operator_name | |||
| ), f"Section name {k} should match operator-name {operator_name} when a section has an operator" | |||
| ), f"Section name {k} should match operator-name {operator_name} or be exlicitly excluded when a section has an operator" | |||
mathics_scanner/data/operators.yml
Outdated
| # Precedence-corrected: the value used in Mathics3. | ||
| # WolframLangageData: a value returned using WolframLangageData[???] | ||
|
|
||
| # WolframLangageData: a "PrecedenceRanks" value returned using: |
| # Precedence-corrected: the value used in Mathics3. | ||
| # WolframLangageData: a value returned using WolframLangageData[???] | ||
|
|
||
| # WolframLangageData: a "PrecedenceRanks" value returned using: |
their arity, and operatorness. Also fix spelling mistakes caught by mmatera
rocky
force-pushed
the
more-operator-tweaks
branch
from
ed35350 to
16adc20
Compare
* Go over operator characters... and add more information in operators YAML * Go over Integrals... their arity, and operatorness. Also fix spelling mistakes caught by mmatera
and add more information in operators YAML