This is interesting. I guess one way to represent numbers with units is as Laurent monomials with the number as coefficient and the units as symbols. This seems to fit in the framework for symbolic expressions. There will be various predefined relations between these monomials like 1000*m = 1*km.
A user could then define functions that take such symbolic expressions as arguments and also return such symbolic expressions, instead of numbers. Such functions need to abide certain laws, like that an exponential always gets a dimensionless symbolic expression or an angle RAD/DEG. Integration and differentiation should then also get their unit- counter parts, as well as differential equations, matrices etc. It sounds like quite a lot of work to implement such a unit-calculus... David's suggestion to use Unum sounds like a more realistic one. --~--~---------~--~----~------------~-------~--~----~ To post to this group, send email to sage-support@googlegroups.com To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options, visit this group at http://groups.google.com/group/sage-support URLs: http://www.sagemath.org -~----------~----~----~----~------~----~------~--~---