[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] | [List Home]

*Subject*: **RE: [office-formula] Expression Calculation: expression = formula?**

*From*:**robert_weir@us.ibm.com***To*: <dennis.hamilton@acm.org>*Date*: Tue, 26 Jan 2010 13:04:18 -0500

Question: is the '=' essential for OpenFormula? In other words, is is used for all uses of formulas? Or is it something specific to the table:formula attribute in Part 1? -Rob "Dennis E. Hamilton" <dennis.hamilton@acm.org> wrote on 01/26/2010 12:19:27 PM: > > My understanding is that formula is the super class in the send that it > allows any expression to the right of the "=". That expression becomes the > whole expression of the formula. > > The syntactic definition should make this clear. There should be nothing in > the syntax for expression that has a constituent named formula. > > - Dennis > > -----Original Message----- > From: Patrick Durusau [mailto:patrick@durusau.net] > Sent: Tuesday, January 26, 2010 07:41 > To: robert_weir@us.ibm.com > Cc: office-formula > Subject: Re: [office-formula] Expression Calculation: expression = formula? > > Rob, > > robert_weir@us.ibm.com wrote: > > Patrick Durusau <patrick@durusau.net> wrote on 01/23/2010 10:20:48 AM: > > > >> I am trying to work out a normative statement from current 2.2 > >> Expression Calculation. > >> > >> I stumble over sentences like: "Any formula is an expression that > >> produces a result." > >> > >> So, is an expression that doesn't produce a result not a formula? > >> > > > > I guess the question is: Is this intended to be a definition or a > > constraint? > > > > The definition of "formula" ought to be done in terms of match a > > non-terminal identifier in the BNF grammar. In other words, it is defined > > > syntactically. > > > > If it is meant to be a constraint then it is a constraint on the Evaluator > > > (formula processor) not the formula itself. > > > > > I am not sure why it appears under 3 Types but the opening line of 3.1 > General says: > > > OpenFormula expressions, including formulas, always produce a value. > > > I read the relationship between expressions and formulas to be the one > Dennis points out, that any expression prepended by one or two "=" signs > is a formula. And matches the formula BNF. Anything that matches the > expression production but not prepended by one or two "=" signs is an > expression. > > What is confusing is that the text appears at points to treat > expressions as a superclass that includes all formulas. > > Actually I think they are distinct classes by definition. > > To restate the opening sentence of 3.1 (assuming it were placed > somewhere else in the document): > > "Evaluation of OpenFormula expressions and formulas shall produce a value." > > Whether we want that as a constraint on evaluators is another question. > > Hope you are having a great day! > > Patrick > > > > > > > -Rob > > > > > >> Or are the terms expression and formula meant to be interchangeable in > >> all cases? > >> > >> My operating assumption is that they are equivalent. > >> > >> So, why not just pick one? I am indifferent to which one. > >> > >> I have several questions but will separate them for clarity's sake. > >> > >> Hope everyone is having a great weekend! > >> > >> Patrick > >> > >> -- > >> Patrick Durusau > >> patrick@durusau.net > >> Chair, V1 - US TAG to JTC 1/SC 34 > >> Convener, JTC 1/SC 34/WG 3 (Topic Maps) > >> Editor, OpenDocument Format TC (OASIS), Project Editor ISO/IEC 26300 > >> Co-Editor, ISO/IEC 13250-1, 13250-5 (Topic Maps) > >> > >> > >> --------------------------------------------------------------------- > >> To unsubscribe from this mail list, you must leave the OASIS TC that > >> generates this mail. Follow this link to all your TCs in OASIS at: > >> https://www.oasis-open.org/apps/org/workgroup/portal/my_workgroups.php > >> > >> > > > > > > --------------------------------------------------------------------- > > To unsubscribe from this mail list, you must leave the OASIS TC that > > generates this mail. Follow this link to all your TCs in OASIS at: > > https://www.oasis-open.org/apps/org/workgroup/portal/my_workgroups.php > > > > > > > > -- > Patrick Durusau > patrick@durusau.net > Chair, V1 - US TAG to JTC 1/SC 34 > Convener, JTC 1/SC 34/WG 3 (Topic Maps) > Editor, OpenDocument Format TC (OASIS), Project Editor ISO/IEC 26300 > Co-Editor, ISO/IEC 13250-1, 13250-5 (Topic Maps) > > > --------------------------------------------------------------------- > To unsubscribe from this mail list, you must leave the OASIS TC that > generates this mail. Follow this link to all your TCs in OASIS at: > https://www.oasis-open.org/apps/org/workgroup/portal/my_workgroups.php >

**Follow-Ups**:**RE: [office-formula] Expression Calculation: expression = formula?***From:*"Dennis E. Hamilton" <dennis.hamilton@acm.org>

**RE: [office-formula] Expression Calculation: expression = formula?***From:*"Andreas J. Guelzow" <aguelzow@pyrshep.ca>

**References**:**Expression Calculation: expression = formula?***From:*Patrick Durusau <patrick@durusau.net>

**Re: [office-formula] Expression Calculation: expression = formula?***From:*robert_weir@us.ibm.com

**Re: [office-formula] Expression Calculation: expression = formula?***From:*Patrick Durusau <patrick@durusau.net>

**RE: [office-formula] Expression Calculation: expression = formula?***From:*"Dennis E. Hamilton" <dennis.hamilton@acm.org>

[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] | [List Home]