[#AMATH-354] imports should be grouped

ActiveMath

imports should be grouped

Created: 2004-07-09 14:07 Updated: 2006-12-08 14:12

Component/s:

Authoring

Affects Version/s:

None

Fix Version/s:

1.0

Time Tracking:

Not Specified

Issue Links:

depends-on

This issue depends-on:

~~AMATH-938~~ streamed MBase

Description

« Hide

In order to use the facilities of jEdit, where several lines can be collapsed to a single line, it would be nice (=produce better readable *oqmath files) to have a possibility to include the imports like

into surrounding tags like

Cannot those tags be easily defined (I mean they need to do nothing, they just help to be able to collapse all the <imports>-lines in jEdit into one single <importssection>-line)

All

Comments

Work Log

Change History

Version Control

FishEye

Crucible

Related Builds

Sort Order:

Ascending order - Click to sort in descending order

[ Permlink | « Hide ]

Christian Groß - 2004-07-16 17:07

Since this was the only unassigned issue, it seems better to change this. Thus I am assigning it to you, Paul, being the jEdit guru...

Maybe you know somebody else who could solve this.

[ Permlink | « Hide ]

Paul Libbrecht - 2004-07-16 23:07

Shahid, could the be working in LuceneMBase, it doesn't seem to work for now:
supplementary to have the possibility to have imports as direct children of the theory element, it would be nice to have the imports be considered when it's inside something, for example an omgroup.

Here's an example that didn't work:

<theory id="blop">
<omgroup>
<imports from="mbase://openmath-cds/arith1"/>
<imports from="mbase://LeAM_calculus/DiffDeriv"/>
</omgroup>
<definition id="grouin" for="arith1/plus">
<metadata><Title> Grouin </Title> </metadata>
<CMP>GROUIN</CMP>
</definition>
</theory>

thank you.

paul

[ Permlink | « Hide ]

Shahid Manzoor - 2004-07-18 17:07

Now lucene recongnize imports element inside any OmdocElemen

[ Permlink | « Hide ]

Shahid Manzoor - 2004-07-19 13:07

I made the support for imports in different way. below is a example

<definition id="grouin" for="arith1/plus">
<metadata><Title> Grouin </Title> </metadata>
<CMP>GROUIN</CMP>
</definition>
</omgroup>
</theory>

In the example presented in the issue I understood that the scope of imports statement is finished when omgroup element is closed and defination element is not inside the omgroup element.

Now you can write imports inside the definition element. Lucene will accept it but dtd does not accept it.

Shahid

[ Permlink | « Hide ]

Christian Groß - 2004-07-19 13:07

Sorry, I should have made the example more clear. I wanted the imports available even after the group is closed again. I included the file deriv.oqmath into CVS (dictionary 6_Content/LeAM_calculus/oqmath) to give an example where this grouping does not work. So, I wnat something like:

<definition id="grouping" for="arith1/plus">
<metadata><Title>Grouping</Title></metadata>
<CMP>GROUPING</CMP>
</definition>
</theory>

So, at the moment, this still does not work.

[ Permlink | « Hide ]

Shahid Manzoor - 2004-07-19 13:07

I have fixed it to work in omgroup.

[ Permlink | « Hide ]

Christian Groß - 2004-07-19 15:07

Well, running ant on the build.html file in jEdit produces 1100 error messages for the file "deriv.oqmath" mentioned above. Yet it seems that the omdoc file created by this process is okay, since the content is presented as always.

So is this now just a problem of the dtd's or of jEdit that I obtain all these error messages? As long as I have these, I can't use this improvement because I already had plenty of error messages before...

Nevertheless, thanks for this first step to the improvement.

[ Permlink | « Hide ]

Paul Libbrecht - 2006-10-13 14:10

This will certainly be solved in slumb, and is actually among the tests.
paul

[ Permlink | « Hide ]

Paul Libbrecht - 2006-12-08 14:12

This is fixed and runs in slumb and lucenembase I believe.
paul