Units of Measurement

[rus...@gmail.com]

Hello,

Does FriCAS support units of measurement?

I've only found this 15 year old discussion: http://fricas-wiki.math.uni.wroc.pl/UnitsAndDimensions

Was there any progress?

Best regards,

Roustam

[Ralf Hemmecke]

Hi Roustam,

On 9/2/20 5:03 PM, rus...@gmail.com wrote:
>
> Hello,
>
> Does FriCAS support units of measurement?
>
> I've only found this 15 year old discussion:
> http://fricas-wiki.math.uni.wroc.pl/UnitsAndDimensions
>
> Was there any progress?

No, not that I know of. In order to get something like this into FriCAS,
it needs three things

1) Someone who is interested and continues to ask for such a feature,
2) a discussion here at fricas-devel to find a good design,
3) someone, who is able and willing to implement it.

Would you like to take part in all of the three items?

I somehow think that an implementation should be rather simple, at least
the basic functionality. We can take a set of variables (see
https://en.wikipedia.org/wiki/International_System_of_Units)

s, m, kg, A, K, mol, cd

and implement a unit system as Laurent polynomials over these variables
or rather as the multiplicative group of these variables together with a
prefactor from a certain ring (e.g. Float) and extend this group by a
(restricted) addition where x+y can only be done if x and y agree in the
powerproduct part of their variables.

Clearly, if one wants other systems of units like CGS, then one
implements the same domain as above just with other variable names.

The real work then is to add conversion factors if one transforms an
element of one unit system to another unit system.

Sounds like an easy exercise to learn programming in FriCAS.

Or do you want something else? What?

Ralf

[Kurt Pagani]

Maybe this is what you're looking for?

http://fricas-wiki.math.uni.wroc.pl/SandBoxPQTY?root=SandBox


deprecated, but should work:
https://github.com/nilqed/PhysQty
https://nilqed.github.io/PhysQty/ (doc)

latest:
https://github.com/nilqed/spadlib/tree/master/pqty
https://github.com/nilqed/spadlib/blob/master/pqty/src/pqty.spad

> --
> You received this message because you are subscribed to the Google Groups
> "FriCAS - computer algebra system" group.
> To unsubscribe from this group and stop receiving emails from it, send an email
> to fricas-devel...@googlegroups.com
> <mailto:fricas-devel...@googlegroups.com>.
> To view this discussion on the web visit
> https://groups.google.com/d/msgid/fricas-devel/54928507-81f5-4ca2-abf5-822286fd626an%40googlegroups.com
> <https://groups.google.com/d/msgid/fricas-devel/54928507-81f5-4ca2-abf5-822286fd626an%40googlegroups.com?utm_medium=email&utm_source=footer>.