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
-~----------~----~----~----~------~----~------~--~---

Reply via email to