Develop a parser for arbitrary expressions in the calc engine

[mcooley]

Problem Statement Currently, Calculator executes all operations in immediate mode--press an operator, get a new answer. For multiple scenarios, it would be useful for the user to enter an expression like "(5 + 2) * 3" and have Calculator parse and compute the result.

Evidence or User Insights Several proposed features could leverage this work:

• Expression paste #344 (includes some prototype code which could be useful for this effort)
• History editing #163
• Input via ink or voice #24, #288
• Editing expressions in scientific calculator #520

Proposal Add code and tests to the calc engine to parse mathematical expressions as strings.

Goals

• A developer can use the CalcManager library to convert an expression into a numerical result
• Expressions support order of operations, e.g. "(5 + 2) * 3" = 21
• Expressions support evaluation of functions, e.g. "sqrt(4)"
  • Functions are implemented for as many existing calculator operators as possible
  • Each function has a thoughtful name informed by similar systems
• Expressions are evaluated using the arbitrary-precision engine
• When invalid expressions are passed to the engine, error information is returned which could be used to construct a helpful error message
• Parsing and evaluation is deterministic, and ideally not locale-dependent
• The parser can find expressions embedded in natural language sentences with loose syntax (e.g. "what is the square root of sin(3 - 2)" evaluates to "what is the square root of [expression tree]"), for future use in voice input scenarios

Non-Goals

• Integrate expression parsing with the Calculator UI (tracked by other issues)
• Natural language intent recognition, e.g. "what is the square root of 4" evaluating to "sqrt(4)"

Requested Assignment I'm happy to help with this, but would be great for someone else to implement.

[ghost]

This pitch looks like it has everything it needs for review. In the meantime, we'll keep this idea open for discussion so the community has the chance to provide feedback. Check out our New Feedback Process for more info on the user-centered process we follow for new feature development.

[ghost]

This pitch looks like it has everything it needs for review. In the meantime, we'll keep this idea open for discussion so the community has the chance to provide feedback. Check out our New Feedback Process for more info on the user-centered process we follow for new feature development.

[MicrosoftIssueBot]

This is your friendly Microsoft Issue Bot. I've seen this issue come in and have gone to tell a human about it.

[rudyhuyn]

For information, I already built an expression parser to improve the PasteManager and managing a lot of operations not currently supported (ln, log, sqrt, etc...) and already covering all your needs (history edition, ink, edition in scientific):

https://github.com/microsoft/calculator/issues/344 (and proto-PR here: https://github.com/rudyhuyn/calculator/tree/AddExpressionParser)

Don't hesitate to take a look

[leduyquang753]

If this will be implemented, I suggest making the mathematical operators customizable, as they are regional, cultural and personal preferences. For example, I would write "16 + 28 × 5 – 27 ÷ 3" as "16 + 78.5 – 27:3".

[ghost]

We reviewed the pitch and would love to explore this idea further! The pitch is a great start, but there are still some open questions. I am moving this issue into planning to iron out some of those details and I created calculator-specs/expressionParser to track progress. A human will follow up with some feedback on your pitch shortly. Keep in mind that not all ideas that make it into the planning phase are guaranteed to make it to release. For more information on next steps, check out our spec workflow.

[grochocki]

Overall, this seems like a great improvement! A couple comments/questions:

• NLP is listed as a goal, and while we should should keep this in mind, we don't feel it is strictly necessary here.
• Unsure if we can pull off being truly locale-independent, but definitely worth a try
• Can/should error-handling be split off as a separate issue?

I suggest making the mathematical operators customizable, as they are regional, cultural and personal preferences.

@leduyquang753 I am not sure I understand your example; can you clarify? I agree we should support any standard input methods, but I don't think it makes sense to support custom operator input assignment.

[rudyhuyn]

I agree, custom operators will require a lot more work (including a dialog to modify them) and can create many issues with shortcuts or when new features will be added to the Calculator.

@leduyquang753 Based on your example, when you write "personal preferences", I suppose you don't mean Users can select a random character but "the user must be able to use the symbols of his/her/their choice from among the official symbols".

If it's the case, I agree with that, all official symbols should be supported, it's the case of the proto I wrote some months ago. Of course, except when they create a conflict.

The goal should be to allow a user to copy & paste a formula from a website, whatever the language of the website and make it work without any modification. For example:

Multiplication:

• ×
• *
• ⋅ (note: this is not the period symbol, already used as a decimal separator in some languages)
• probably not x (the letter X, this one is questionable because can be also used in formula and hexadecimal notation)

Division:

• / (slash)
• ⁄ (solidus)
• ÷ (obelus, used widely in Europe and probably other countries)
• : (used in some Eastern Europe countries) - we will need to check if this symbol isn't used for something else in some regions

[leduyquang753]

⋅ (note: this is not the period symbol, already used as a decimal separator in some languages)

Actually Vietnam uses the period to indicate multiplication (officially used in education, textbook images can be included if needed). In order not to create conflicts (if the decimal separator is already period), a check can be easily implemented.

[HowardWolosky]

It may be worthwhile to review what @rudyhuyn started in #344 when working through the spec'ing for this issue.

[crutkas]

Like to state, PowerToys would very much like this :)

[crutkas]

is there a list of expressions this will support? Example: bin2dec or arcsin

[gounaman]

so like is anything happening with this?