Saturday, February 1, 2014

Algebraic structures and symbols

When I first constructed my system for dealing with algebraic structures I only provide support for structures with a pair of operations like rings and fields which were numbered so there were no symbols involved.
  • <= comparison
  • + addition
  • * multiplication
  • c composition
  • d differentiation
  • m metric
  • w weight
The first five of the above symbols are used for ordered differential composition rings like those of transseries. The second two describing metric and weighting functions subsume what was previously provided by the weighted hypergraphs system. Vector spaces will also be provided with the scalar multiplication operation being denoted by the symbol s for now.

No comments:

Post a Comment