OASIS Mailing List ArchivesView the OASIS mailing list archive below
or browse/search using MarkMail.

# office-formula message

[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
> >>
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
> > 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