[Mathlib-develop] Constants defined in operator classes

[mark <msp...@ya...>]

Hi

I've defined a set of constants in the different operator classes which=20
contain instances of those classes.

So instead of writing=20
new AddSubOperatorToken('+')

it's now possible to write
AddSubOperatorToken.add

which will reduce the number of objects that need to be created.

Best Regards

Mark

__________________________________________________
Do You Yahoo!?
Everything you'll ever need on one web page
from News and Sport to Email and Music Charts
http://uk.my.yahoo.com