% symbol

Hello everyone,

I’m working on a collection for low level mathematics.

In a file, I had to use the symbol % (and ‰ too).

I’ve looked to this file to find the symbol definition:

http://svn.activemath.org/LeAM-calculus/LeAM_calculus/oqmath/notations.qmath

and I found this:

Symbol: % OP_FACT "basics_symbols:percent"

So I integrated it in my oqmath file:

<?QMath Symbol: % OP_FACT "basics_symbols:percent"?>

and finally, I added this import:

<imports from="mbase://LeAM_calculus/basics_symbols/percent"/>

The problem is that I don’t want to work with LeAM_calculus collection, mainly for a problem of performances. The % symbol doesn’t exist in the current CDs of ActiveMath SVN.

What is the solution to use the % as symbol?

Thank you for your help!

Adrien

Trackback URL for this post:

http://eds.activemath.org/de/trackback/149

Maybe extracting LeAM_calculus symbols as a collection ?

Adrien,

I agree it would be the way to be able to reference LeAM content directly but for now I agree it imposes a significant load; we’re working on this.

Wouldn’t it be a way to have another collection containing only the symbols of LeAM content ?

Would LeAM content authors agree on making LeAM_symbols collection? I even know of an amount of symbols that were created for macsyma and would also find their way in such a collection.

comments welcome.

paul

— polx — recycled mathematician —

LeAM_symbols is born

Hello,

I have now made a first draft of LeAM_symbols:

http://svn.activemath.org/LeAM-calculus/LeAM_symbols/

it is a complete and faithful copy of LeAM_calculus/symbols.oqmath with references back to LeAM_calculus absolutized. Along with LeAM_calculus the collections’ references work fine, I believe you can rely on this.

However, to take advantage of the whole LeAM_calculus, I still need to reformulate the latter to use the symbols in LeAM_symbols.

paul

LeAM_calculus symbols collection

I have no objection if you want to create such a collection that consists of the symbols only.

thanks

Ok fine, thanks!

Now how do you want to proceed?

the process

Everything is working now. Here is the process I used to reach the goal:

1) Add the LeAMsymbols Collection in /content (http://svn.activemath.org/LeAM-calculus/LeAMsymbols/)

2) Add the % symbol in the notation.qmath file: Symbol: % OP_FACT “basics:percent”

3) Add the import in the file where the symbol is used:

4) Build of the new collection LeAM_symbols

5) Shutdown ActiveMath

6) Copy the content-descriptor of LeAM_calculus in /conf

7) Restart ActiveMath

May be, you will have to do an “installActivemath”.

Adrien