As proposed in the phonecall I closed the multiple roles bug and opened
two new ones:
#23 for sorting out big associative operators
#24 for lifting ops for A operators.
--
----------------------------------------------------------------------
Prof. Dr. Michael Kohlhase, Office: Research 1, Room 62
Professor of Computer Science Campus Ring 12,
School of Engineering & Science D-28759 Bremen, Germany
Jacobs University Bremen* tel/fax: +49 421 200-3140/-493140
[EMAIL PROTECTED] http://kwarc.info/kohlhase
skype: m.kohlhase * International University Bremen until Feb. 2007
----------------------------------------------------------------------
--- Begin Message ---
#23: sort out symbols for associative binary operators, e.g. union
---------------------------+------------------------------------------------
Reporter: kohlhase | Owner: jhd
Type: proposal | Status: new
Priority: blocker | Milestone: CD3 Draft1
Component: MathML CDs | Version:
Keywords: | Include_gantt: 0
Dependencies: | Due_assign: YYYY/MM/DD
Due_close: YYYY/MM/DD |
---------------------------+------------------------------------------------
MathML allowed big operators for associative operators like union. We need
a general template how to deal with these symbols.
--
Ticket URL: <https://trac.kwarc.info/OM3/ticket/23>
OpenMath <http://www.openmath.org>
The development of the OpenMath Standard and Content Dictionaries.
--- End Message ---
--- Begin Message ---
#23: sort out symbols for associative binary operators, e.g. union
----------------------------+-----------------------------------------------
Reporter: kohlhase | Owner: jhd
Type: proposal | Status: new
Priority: blocker | Milestone: CD3 Draft1
Component: MathML CDs | Version:
Resolution: | Keywords:
Include_gantt: 0 | Dependencies:
Due_assign: YYYY/MM/DD | Due_close: YYYY/MM/DD
----------------------------+-----------------------------------------------
Old description:
> MathML allowed big operators for associative operators like union. We
> need a general template how to deal with these symbols.
New description:
MathML allowed big operators for associative operators like union. We need
a general template how to deal with these symbols.
In the phone call today, we distinguished three symbols that we will
probably need. They are the same from the deep semantics but different on
a representational level.
For set union, we have
union = [EMAIL PROTECTED] (the nary-associative union operator)
union-coll = [EMAIL PROTECTED] (from the Eindhoven CDs).
union-expr = [EMAIL PROTECTED] (the binding operator over expression with a
bvar).
all of these names are just for the local discussion. The first two have
the natural role "application" the latter role "binding".
For union-expr, the MathML WG tentatively suggested the name
[EMAIL PROTECTED]
We need to decide what good names for these symbols should be, and into
which content dictionaries they should go.
--
Ticket URL: <https://trac.kwarc.info/OM3/ticket/23#comment:1>
OpenMath <http://www.openmath.org>
The development of the OpenMath Standard and Content Dictionaries.
--- End Message ---
--- Begin Message ---
#23: sort out symbols for associative binary operators, e.g. union
----------------------------+-----------------------------------------------
Reporter: kohlhase | Owner: jhd
Type: proposal | Status: new
Priority: blocker | Milestone: CD3 Draft1
Component: MathML CDs | Version:
Resolution: | Keywords:
Include_gantt: 0 | Dependencies:
Due_assign: YYYY/MM/DD | Due_close: YYYY/MM/DD
----------------------------+-----------------------------------------------
Old description:
> MathML allowed big operators for associative operators like union. We
> need a general template how to deal with these symbols.
>
> In the phone call today, we distinguished three symbols that we will
> probably need. They are the same from the deep semantics but different on
> a representational level.
>
> For set union, we have
>
> union = [EMAIL PROTECTED] (the nary-associative union operator)
> union-coll = [EMAIL PROTECTED] (from the Eindhoven CDs).
> union-expr = [EMAIL PROTECTED] (the binding operator over expression with
> a bvar).
>
> all of these names are just for the local discussion. The first two have
> the natural role "application" the latter role "binding".
>
> For union-expr, the MathML WG tentatively suggested the name
> [EMAIL PROTECTED]
>
> We need to decide what good names for these symbols should be, and into
> which content dictionaries they should go.
New description:
MathML allowed big operators for associative operators like union. We need
a general template how to deal with these symbols.
In the phone call today, we distinguished three symbols that we will
probably need. They are the same from the deep semantics but different on
a representational level.
For set union, we have
union = [EMAIL PROTECTED] (the nary-associative union operator)
union-coll = [EMAIL PROTECTED] (from the Eindhoven CDs).
union-expr = [EMAIL PROTECTED] (the binding operator over expression with a
bvar).
all of these names are just for the local discussion. The first two have
the natural role "application" the latter role "binding".
For union-expr, the MathML WG tentatively suggested the name
[EMAIL PROTECTED]
We need to decide what good names for these symbols should be, and into
which content dictionaries they should go.
Comment (by kohlhase):
Replying to [ticket:23 kohlhase]:
> We need to decide what good names for these symbols should be, and into
which content dictionaries they should go.
I think they should all go into set1, we should not have more than one CD
per topic in the MathML set.
--
Ticket URL: <https://trac.kwarc.info/OM3/ticket/23#comment:2>
OpenMath <http://www.openmath.org>
The development of the OpenMath Standard and Content Dictionaries.
--- End Message ---
--- Begin Message ---
#23: sort out symbols for associative binary operators, e.g. union
----------------------------+-----------------------------------------------
Reporter: kohlhase | Owner: jhd
Type: proposal | Status: new
Priority: blocker | Milestone: CD3 Draft1
Component: MathML CDs | Version:
Resolution: | Keywords:
Include_gantt: 0 | Dependencies:
Due_assign: YYYY/MM/DD | Due_close: YYYY/MM/DD
----------------------------+-----------------------------------------------
Comment (by kohlhase):
James Davenport suggested that we have a general lifting operator (see
issue #24) for the associative operators and that we have three symbols
(for all aspects), whereever the concepts are widely used in Math (e.g.
evidenced by the fact that LaTeX has a \big operator), and add FMPs
(DefMPs if that flies, see issue #5) that define the -coll and -exp
symbols in terms of the simple ones.
--
Ticket URL: <https://trac.kwarc.info/OM3/ticket/23#comment:3>
OpenMath <http://www.openmath.org>
The development of the OpenMath Standard and Content Dictionaries.
--- End Message ---
--- Begin Message ---
#24: Lifting Operators for associative operators.
-----------------------------+----------------------------------------------
Reporter: kohlhase | Owner: kohlhase
Type: proposal | Status: new
Priority: blocker | Milestone: MathML3CD Draft1
Component: OM3 Standard | Version:
Keywords: | Include_gantt: 0
Dependencies: | Due_assign: YYYY/MM/DD
Due_close: YYYY/MM/DD |
-----------------------------+----------------------------------------------
James Davenport suggested that we introduce new lifting operators that
lift associative operators to their -coll and -expr forms.
For instance we have the
DefMP: union-coll := lift-collection(union)
FMP: lift-collection(O,O(A,B)) = O(lift-collection(O,A),lift-
collection(O,B))
for the only assiciative operators we will need a lift-list operator and
for the ACI operators a lift-collection
Furthermore, we will need a pair of lifting operator for making -exp
operators.
--
Ticket URL: <https://trac.kwarc.info/OM3/ticket/24>
OpenMath <http://www.openmath.org>
The development of the OpenMath Standard and Content Dictionaries.
--- End Message ---
_______________________________________________
Om3 mailing list
[email protected]
http://openmath.org/mailman/listinfo/om3
