]> gitweb.factorcode.org Git - factor.git/blob - basis/units/si/si.factor
Merge branch 'master' of git://factorcode.org/git/factor
[factor.git] / basis / units / si / si.factor
1 USING: kernel math math.constants sequences units ;
2 IN: units.si
3
4 ! SI Conversions
5 ! http://physics.nist.gov/cuu/Units/
6
7 ! Length
8 : m ( n -- dimensioned ) { m } { } <dimensioned> ;
9
10 ! Mass
11 : kg ( n -- dimensioned ) { kg } { } <dimensioned> ;
12
13 ! Time
14 : s ( n -- dimensioned ) { s } { } <dimensioned> ;
15
16 ! Electric current
17 : A ( n -- dimensioned ) { A } { } <dimensioned> ;
18
19 ! Temperature
20 : K ( n -- dimensioned ) { K } { } <dimensioned> ;
21
22 ! Amount of substance
23 : mol ( n -- dimensioned ) { mol } { } <dimensioned> ;
24
25 ! Luminous intensity
26 : cd ( n -- dimensioned ) { cd } { } <dimensioned> ;
27
28 ! SI derived units
29 : m^2 ( n -- dimensioned ) { m m } { } <dimensioned> ;
30 : m^3 ( n -- dimensioned ) { m m m } { } <dimensioned> ;
31 : m/s ( n -- dimensioned ) { m } { s } <dimensioned> ;
32 : m/s^2 ( n -- dimensioned ) { m } { s s } <dimensioned> ;
33 : 1/m ( n -- dimensioned ) { } { m } <dimensioned> ;
34 : kg/m^3 ( n -- dimensioned ) { kg } { m m m } <dimensioned> ;
35 : A/m^2 ( n -- dimensioned ) { A } { m m } <dimensioned> ;
36 : A/m ( n -- dimensioned ) { A } { m } <dimensioned> ;
37 : mol/m^3 ( n -- dimensioned ) { mol } { m m m } <dimensioned> ;
38 : cd/m^2 ( n -- dimensioned ) { cd } { m m } <dimensioned> ;
39 : kg/kg ( n -- dimensioned ) { kg } { kg } <dimensioned> ;
40
41 ! Radians are really m/m, and steradians are m^2/m^2
42 ! but they need to be in reduced form here.
43 : radians ( n -- radian ) scalar ;
44 : sr ( n -- steradian ) scalar ;
45
46 : Hz ( n -- hertz ) { } { s } <dimensioned> ;
47 : N ( n -- newton ) { kg m } { s s } <dimensioned> ;
48 : Pa ( n -- pascal ) { kg } { m s s } <dimensioned> ;
49 : J ( n -- joule ) { m m kg } { s s } <dimensioned> ;
50 : W ( n -- watt ) { m m kg } { s s s } <dimensioned> ;
51 : C ( n -- coulomb ) { s A } { } <dimensioned> ;
52 : V ( n -- volt ) { m m kg } { s s s A } <dimensioned> ;
53 : F ( n -- farad ) { s s s s A A } { m m kg } <dimensioned> ;
54 : ohm ( n -- ohm ) { m m kg } { s s s A A } <dimensioned> ;
55 : S ( n -- siemens ) { s s s A A } { m m kg } <dimensioned> ;
56 : Wb ( n -- weber ) { m m kg } { s s A } <dimensioned> ;
57 : T ( n -- tesla ) { kg } { s s A } <dimensioned> ;
58 : H ( n -- henry ) { m m kg } { s s A A } <dimensioned> ;
59 : deg-C ( n -- Celsius ) 27315/100 + { K } { } <dimensioned> ;
60 : lm ( n -- lumen ) { m m cd } { m m } <dimensioned> ;
61 : lx ( n -- lux ) { m m cd } { m m m m  } <dimensioned> ;
62 : Bq ( n -- becquerel ) { } { s } <dimensioned> ;
63 : Gy ( n -- gray ) { m m } { s s } <dimensioned> ;
64 : Sv ( n -- sievert ) { m m } { s s } <dimensioned> ;
65 : kat ( n -- katal ) { mol } { s } <dimensioned> ;
66
67 ! Extensions to the SI
68 : arc-deg ( n -- x ) pi 180 / * radians ;
69 : arc-min ( n -- x ) pi 10800 / * radians ;
70 : arc-sec ( n -- x ) pi 648000 / * radians ;
71 : L ( n -- liter ) 1/1000 * m^3 ;
72 : tons ( n -- metric-ton ) 1000 * kg ;
73 : Np ( n -- neper ) { } { } <dimensioned> ;
74 : B ( n -- bel ) 1.151292546497023 * Np ;
75 : eV ( n -- electronvolt ) 1.60218e-19 * J ;
76 : u ( n -- unified-atomic-mass-unit ) 1.66054e-27 * kg ;
77
78 ! au has error of 30m, according to wikipedia
79 : au ( n -- astronomical-unit ) 149597870691 * m ;
80
81 : a ( n -- are ) 100 * m^2 ;
82 : ha ( n -- hectare ) 10000 * m^2 ;
83 : bar ( n -- bar ) 100000 * Pa ;
84 : b ( n -- barn ) 1/10000000000000000000000000000 * m^2 ;
85 : Ci ( n -- curie ) 37000000000 * Bq ;
86 : R ( -- dimensioned ) 258/10000 { s A } { kg } <dimensioned> ;
87 : rad ( n -- dimensioned ) 100 / Gy ;
88
89 ! roentgen equivalent man, equal to one roentgen of X-rays
90 : roentgen-equivalent-man ( n -- dimensioned ) 100 / Sv ;
91
92 ! inaccurate, use calendar where possible
93 : minutes ( n -- dimensioned ) 60 * s ;
94 : hours ( n -- dimensioned ) 60 * minutes ;
95 : days ( n -- dimensioned ) 24 * hours ;
96
97 ! Y Z E P T G M k h da 1 d c m mu n p f a z y
98 : yotta ( n -- x ) 1000000000000000000000000 * ;
99 : zetta ( n -- x ) 1000000000000000000000 * ;
100 : exa   ( n -- x ) 1000000000000000000 * ;
101 : peta  ( n -- x ) 1000000000000000 * ;
102 : tera  ( n -- x ) 1000000000000 * ;
103 : giga  ( n -- x ) 1000000000 * ;
104 : mega  ( n -- x ) 1000000 * ;
105 : kilo  ( n -- x ) 1000 * ;
106 : hecto ( n -- x ) 100 * ;
107 : deca  ( n -- x ) 10 * ;
108 : deci  ( n -- x ) 10 / ;
109 : centi ( n -- x ) 100 / ;
110 : milli ( n -- x ) 1000 / ;
111 : micro ( n -- x ) 1000000 / ;
112 : nano  ( n -- x ) 1000000000 / ;
113 : pico  ( n -- x ) 1000000000000 / ;
114 : femto ( n -- x ) 1000000000000000 / ;
115 : atto  ( n -- x ) 1000000000000000000 / ;
116 : zepto ( n -- x ) 1000000000000000000000 / ;
117 : yocto ( n -- x ) 1000000000000000000000000 / ;
118
119 : km ( n -- dimensioned ) kilo m ;
120 : cm ( n -- dimensioned ) centi m ;
121 : mm ( n -- dimensioned ) milli m ;
122 : nm ( n -- dimensioned ) nano m ;
123 : g ( n -- dimensioned ) milli kg ;
124 : ms ( n -- dimensioned ) milli s ;
125 : angstrom ( n -- dimensioned ) 10 / nm ;