| [ < ] | [ > ] | [ << ] | [上] | [ >> ] | [冒頭] | [目次] | [見出し] | [ ? ] |
| 53.1 Introduction to ezunits | ||
| 53.2 Introduction to physical_constants | ||
| 53.3 Functions and Variables for ezunits |
| [ < ] | [ > ] | [ << ] | [上] | [ >> ] | [冒頭] | [目次] | [見出し] | [ ? ] |
ezunitsは次元量を扱うためのパッケージです。
次元解析のいくつかの関数を含みます。
ezunitsは次元量と単位変換に関する算術演算を実行できます。
組み込み単位は国際単位系 (SI)と US慣習単位系を含み、他の単位が宣言できます。
physical_constants、物理定数のコレクションも参照してください。
load(ezunits)はこのパッケージをロードします。
demo(ezunits)はいくつかの例を表示します。
便利な関数 known_unitsは組み込みとユーザー宣言単位のリストを返し、そして、
display_known_unit_conversionsは可読性の高いフォーマットで
既知の変換一式を表示します。
式 a ` bは無次元量を示す aと次元単位 bで次元量を表します。
そのように宣言することなしに、シンボルを単位として使うことができます;
単位シンボルはいかなる特別なプロパティを持つ必要はありません。
式 a ` bの量と単位はそれぞれ、 qty関数と
units関数で抽出することができます。
シンボルは、指定された量か指定された単位か両方を持つ次元量であると宣言することができます。
式 a ` b `` cは
単位 bから単位 cに変換します。
ezunitsは SI基本単位、 SI組立単位、いくつかの非
SI単位に関する組み込み変換を持っています。
まだ ezunitsが知らない単位変換は宣言することができます。
ezunitsが知っている単位変換は
組み込み変換とユーザー定義の変換から構成されるグローバル変数
known_unit_conversionsで指定されます。
単位の積や商、冪に関する変換は知られている単位変換の組から演繹されます。
Maximaは一般的に、
厳密でない数(浮動小数点数か多倍長浮動小数点数)より厳密な数(整数か有理数)を好むので、
次元量でそれらが現れた時、 ezunitsは厳密な数を保護します。
組み込み単位変換すべては厳密な数で表現されます;
宣言された変換で厳密でない数は厳密なものに強制的に変換されます。
単位の表示のために優先される系はありません;
変換を明示的に示さない限り、入力単位を他の単位に変換しません。
ezunitsは前置詞 m-, k-, M, G-(ミリ-, キロ-, メガ-, ギガ-)を
SI基本単位や SI組立単位に適用された際、認識しますが、
そのような前置詞は明示的な変換で示された時だけ適用されます。
次元量に対する算術演算子はそのような演算子の慣例的な規則で実行されます。
y is nondimensional.
ezunitsは和の中の単位が同じ次元を持つことを要求しません;
そんな項は足さられず、エラーは報告されません。
ezunitsは初等的な次元解析関数を含みます。
すなわち、次元量の基本的な次元と基本的な単位、無次元量と自然単位系の計算です。
次元解析の関数は Barton Willisが書いた別のパッケージの類似の関数から焼き直されました。
次元解析のために基本的な次元のリストと基本的な単位の連想リストは保持されます; デフォルトでは、基本的な次元は、長さ、質量、時刻、電荷、温度、量であり、 基本的な単位は関連したSI単位で、他の基本的な次元や単位を宣言できます。
Categories: Physical units · Share packages · Package ezunits
| [ < ] | [ > ] | [ << ] | [上] | [ >> ] | [冒頭] | [目次] | [見出し] | [ ? ] |
physical_constantsは物理定数のコレクションです。
CODATA 2006 推奨値 (http://physics.nist.gov/constants)からコピーしました。
load(physical_constants)はこのパッケージをロードし、
まだロードされていないなら ezunitsもロードします。
物理定数は定数値のプロパティを持つシンボルとして表されます。
定数値は ezunitsが表すように次元量です。
関数 constvalueは定数値を取りに行きます;
定数値はシンボルの普通の値ではなく、 constvalueが値を取りに行くまで
物理定数のシンボルは評価される式の中でシンボルのままです。
physical_constantsはある補助情報、すなわち、それぞれの定数の記述文字列、
数値の誤差の見積もり、 TeX表示のためのプロパティを含みます。
物理定数を識別するためにそれぞれのシンボルは
physical_constantプロパティを持ちます;
なので、 propvars(physical_constant)はそんなシンボルすべてのリストを表示します。
physical_constants以下の定数を含みます。
%c真空中の光速度
%mu_0真空の透磁率
%e_0真空の誘電率
%Z_0真空の特性インピーダンス
%GNewtonの重力定数
%hPlanck定数
%h_barPlanck定数
%m_PPlanck質量
%T_PPlanck温度
%l_PPlanck長
%t_PPlanck時間
%%e電気素量
%Phi_0磁束量子
%G_0コンダクタンス量子
%K_JJosephson定数
%R_Kvon Klitzing定数
%mu_BBohr磁子
%mu_N核磁子
%alpha微細構造定数
%R_infRydberg定数
%a_0Bohr半径
%E_hHartreeエネルギー
%ratio_h_me循環量子
%m_e電子質量
%N_AAvogadro数
%m_u原子質量定数
%FFaraday定数
%R気体定数
%%kBoltzmann定数
%V_m理想気体のモル体積
%n_0Loschmidt定数
%ratio_S0_RSackur-Tetrode定数 (絶対エントロピー定数)
%sigmaStefan-Boltzmann定数
%c_1第一放射定数
%c_1Lスペクトル放射強度の第一放射定数
%c_2第二放射定数
%bWien変位則定数
%b_primeWien変位則定数
参考文献: http://physics.nist.gov/constants
例:
physical_constant プロパティを持つすべてのシンボルのリスト。
(%i1) load (physical_constants)$ (%i2) propvars (physical_constant); (%o2) [%c, %mu_0, %e_0, %Z_0, %G, %h, %h_bar, %m_P, %T_P, %l_P, %t_P, %%e, %Phi_0, %G_0, %K_J, %R_K, %mu_B, %mu_N, %alpha, %R_inf, %a_0, %E_h, %ratio_h_me, %m_e, %N_A, %m_u, %F, %R, %%k, %V_m, %n_0, %ratio_S0_R, %sigma, %c_1, %c_1L, %c_2, %b, %b_prime]
物理定数 %cのプロパティ。
(%i1) load (physical_constants)$
(%i2) constantp (%c);
(%o2) true
(%i3) get (%c, description);
(%o3) speed of light in vacuum
(%i4) constvalue (%c);
m
(%o4) 299792458 ` -
s
(%i5) get (%c, RSU);
(%o5) 0
(%i6) tex (%c);
$$c$$
(%o6) false
1ポンドの質量に等価なエネルギー。
シンボル %cは constvalueが値を取りにいくまでシンボルのままです。
(%i1) load (physical_constants)$
(%i2) m * %c^2;
2
(%o2) %c m
(%i3) %, m = 1 ` lbm;
2
(%o3) %c ` lbm
(%i4) constvalue (%);
2
lbm m
(%o4) 89875517873681764 ` ------
2
s
(%i5) E : % `` J;
Computing conversions to base units; may take a moment.
366838848464007200
(%o5) ------------------ ` J
9
(%i6) E `` GJ;
458548560580009
(%o6) --------------- ` GJ
11250000
(%i7) float (%);
(%o7) 4.0759872051556356e+7 ` GJ
Categories: Physical units · Share packages · Package physical_constants
| [ < ] | [ > ] | [ << ] | [上] | [ >> ] | [冒頭] | [目次] | [見出し] | [ ? ] |
次元量演算子。
式 a ` bは次元量を表します。
aは無次元量を表し、 bは次元単位を表します。
シンボルは宣言せずに単位として使うことができます;
単位シンボルは特別なプロパティを持つ必要はありません。
式 a ` bの量と単位はそれぞれ、
qtyと units関数で抽出することができます。
次元量の算術演算子は演算子の慣例規則に従って実行されます。
yが無次元の時 x^y ` a^yに等しい。
ezunitsは和の中の単位が同じ次元であることを要求しません;
そのような項は一緒には足されませんし、エラーは報告されません。
load(ezunits)はこの演算子をイネーブルにします。
例:
SI (国際単位系) 単位。
(%i1) load (ezunits)$ (%i2) foo : 10 ` m; (%o2) 10 ` m (%i3) qty (foo); (%o3) 10 (%i4) units (foo); (%o4) m (%i5) dimensions (foo); (%o5) length
"慣習"単位。
(%i1) load (ezunits)$
(%i2) bar : x ` acre;
(%o2) x ` acre
(%i3) dimensions (bar);
2
(%o3) length
(%i4) fundamental_units (bar);
2
(%o4) m
アドホック単位。
(%i1) load (ezunits)$
(%i2) baz : 3 ` sheep + 8 ` goat + 1 ` horse;
(%o2) 8 ` goat + 3 ` sheep + 1 ` horse
(%i3) subst ([sheep = 3*goat, horse = 10*goat], baz);
(%o3) 27 ` goat
(%i4) baz2 : 1000`gallon/fortnight;
gallon
(%o4) 1000 ` ---------
fortnight
(%i5) subst (fortnight = 14*day, baz2);
500 gallon
(%o5) --- ` ------
7 day
次元量の算術演算子
(%i1) load (ezunits)$
(%i2) 100 ` kg + 200 ` kg;
(%o2) 300 ` kg
(%i3) 100 ` m^3 - 100 ` m^3;
3
(%o3) 0 ` m
(%i4) (10 ` kg) * (17 ` m/s^2);
kg m
(%o4) 170 ` ----
2
s
(%i5) (x ` m) / (y ` s);
x m
(%o5) - ` -
y s
(%i6) (a ` m)^2;
2 2
(%o6) a ` m
Categories: Package ezunits
単位変換演算子。
式 a ` b `` cは単位 bを単位 cに変換します。
ezunitsには SI基本単位、 SI組立単位、いくつかの非
SI単位のための組み込み変換があります。
ezunitsがまだ知らない単位変換は宣言することができます。
ezunitsが知っている単位変換はグローバル変数
known_unit_conversionsに明記されます。
それは組み込みとユーザー定義の変換を含みます。
単位の積、商、べきの変換は既知の単位変換一式から演繹されます。
単位の表示のためにより好まれる系はありません;
変換が明示的に示されない限り、入力単位は他の単位に変換されません。
ezunitsは、変換が明示的に示されない限り、
前置詞 (milli-, centi-, deci-, etc)で単位を整理しようとしません。
load(ezunits)はこの演算子を有効にします。
例:
既知の単位変換一式。
(%i1) load (ezunits)$
(%i2) display2d : false$
(%i3) known_unit_conversions;
(%o3) {acre = 4840*yard^2,Btu = 1055*J,cfm = feet^3/minute,
cm = m/100,day = 86400*s,feet = 381*m/1250,ft = feet,
g = kg/1000,gallon = 757*l/200,GHz = 1000000000*Hz,
GOhm = 1000000000*Ohm,GPa = 1000000000*Pa,
GWb = 1000000000*Wb,Gg = 1000000*kg,Gm = 1000000000*m,
Gmol = 1000000*mol,Gs = 1000000000*s,ha = hectare,
hectare = 100*m^2,hour = 3600*s,Hz = 1/s,inch = feet/12,
km = 1000*m,kmol = 1000*mol,ks = 1000*s,l = liter,
lbf = pound_force,lbm = pound_mass,liter = m^3/1000,
metric_ton = Mg,mg = kg/1000000,MHz = 1000000*Hz,
microgram = kg/1000000000,micrometer = m/1000000,
micron = micrometer,microsecond = s/1000000,
mile = 5280*feet,minute = 60*s,mm = m/1000,
mmol = mol/1000,month = 2629800*s,MOhm = 1000000*Ohm,
MPa = 1000000*Pa,ms = s/1000,MWb = 1000000*Wb,
Mg = 1000*kg,Mm = 1000000*m,Mmol = 1000000000*mol,
Ms = 1000000*s,ns = s/1000000000,ounce = pound_mass/16,
oz = ounce,Ohm = s*J/C^2,
pound_force = 32*ft*pound_mass/s^2,
pound_mass = 200*kg/441,psi = pound_force/inch^2,
Pa = N/m^2,week = 604800*s,Wb = J/A,yard = 3*feet,
year = 31557600*s,C = s*A,F = C^2/J,GA = 1000000000*A,
GC = 1000000000*C,GF = 1000000000*F,GH = 1000000000*H,
GJ = 1000000000*J,GK = 1000000000*K,GN = 1000000000*N,
GS = 1000000000*S,GT = 1000000000*T,GV = 1000000000*V,
GW = 1000000000*W,H = J/A^2,J = m*N,kA = 1000*A,
kC = 1000*C,kF = 1000*F,kH = 1000*H,kHz = 1000*Hz,
kJ = 1000*J,kK = 1000*K,kN = 1000*N,kOhm = 1000*Ohm,
kPa = 1000*Pa,kS = 1000*S,kT = 1000*T,kV = 1000*V,
kW = 1000*W,kWb = 1000*Wb,mA = A/1000,mC = C/1000,
mF = F/1000,mH = H/1000,mHz = Hz/1000,mJ = J/1000,
mK = K/1000,mN = N/1000,mOhm = Ohm/1000,mPa = Pa/1000,
mS = S/1000,mT = T/1000,mV = V/1000,mW = W/1000,
mWb = Wb/1000,MA = 1000000*A,MC = 1000000*C,
MF = 1000000*F,MH = 1000000*H,MJ = 1000000*J,
MK = 1000000*K,MN = 1000000*N,MS = 1000000*S,
MT = 1000000*T,MV = 1000000*V,MW = 1000000*W,
N = kg*m/s^2,R = 5*K/9,S = 1/Ohm,T = J/(m^2*A),V = J/C,
W = J/s}
基本単位変換。
(%i1) load (ezunits)$
(%i2) 1 ` ft `` m;
Computing conversions to base units; may take a moment.
381
(%o2) ---- ` m
1250
(%i3) %, numer;
(%o3) 0.3048 ` m
(%i4) 1 ` kg `` lbm;
441
(%o4) --- ` lbm
200
(%i5) %, numer;
(%o5) 2.205 ` lbm
(%i6) 1 ` W `` Btu/hour;
720 Btu
(%o6) --- ` ----
211 hour
(%i7) %, numer;
Btu
(%o7) 3.412322274881517 ` ----
hour
(%i8) 100 ` degC `` degF;
(%o8) 212 ` degF
(%i9) -40 ` degF `` degC;
(%o9) (- 40) ` degC
(%i10) 1 ` acre*ft `` m^3;
60228605349 3
(%o10) ----------- ` m
48828125
(%i11) %, numer;
3
(%o11) 1233.48183754752 ` m
フィートとメートルを相互に強制変換。
(%i1) load (ezunits)$
(%i2) 100 ` m + 100 ` ft;
(%o2) 100 ` m + 100 ` ft
(%i3) (100 ` m + 100 ` ft) `` ft;
Computing conversions to base units; may take a moment.
163100
(%o3) ------ ` ft
381
(%i4) %, numer;
(%o4) 428.0839895013123 ` ft
(%i5) (100 ` m + 100 ` ft) `` m;
3262
(%o5) ---- ` m
25
(%i6) %, numer;
(%o6) 130.48 ` m
基本次元と基本単位を見つけるための次元解析
(%i1) load (ezunits)$
(%i2) foo : 1 ` acre * ft;
(%o2) 1 ` acre ft
(%i3) dimensions (foo);
3
(%o3) length
(%i4) fundamental_units (foo);
3
(%o4) m
(%i5) foo `` m^3;
Computing conversions to base units; may take a moment.
60228605349 3
(%o5) ----------- ` m
48828125
(%i6) %, numer;
3
(%o6) 1233.48183754752 ` m
宣言された単位変換。
(%i1) load (ezunits)$
(%i2) declare_unit_conversion (MMBtu = 10^6*Btu, kW = 1000*W);
(%o2) done
(%i3) declare_unit_conversion (kWh = kW*hour, MWh = 1000*kWh,
bell = 1800*s);
(%o3) done
(%i4) 1 ` kW*s `` MWh;
Computing conversions to base units; may take a moment.
1
(%o4) ------- ` MWh
3600000
(%i5) 1 ` kW/m^2 `` MMBtu/bell/ft^2;
1306449 MMBtu
(%o5) ---------- ` --------
8242187500 2
bell ft
Categories: Package ezunits
パッケージ physical_constantsが宣言した定数の1つの値と単位を表示します。
パッケージは物理定数やパッケージ ezunitsの中で宣言された新しい定数を含みます。
(declare_constvalueを参照してください。)
constvalueが認識する定数は
numervalで宣言された値や
constantpが認識する値と区別されることに注意してください。
例:
物理定数の定数値。
(%i1) load (physical_constants)$
(%i2) constvalue (%G);
3
m
(%o2) 6.67428 ` -----
2
kg s
(%i3) get ('%G, 'description);
(%o3) Newtonian constant of gravitation
Categories: Package ezunits
パッケージ ezunitsの中で使われる定数の値を宣言します。
この関数は load(ezunits)でロードしなければいけません。
例:
(%i1) load (ezunits)$
(%i2) declare_constvalue (FOO, 100 ` lbm / acre);
lbm
(%o2) 100 ` ----
acre
(%i3) FOO * (50 ` acre);
(%o3) 50 FOO ` acre
(%i4) constvalue (%);
(%o4) 5000 ` lbm
Categories: Package ezunits
declare_constvalueの効果を戻します。
この関数は load(ezunits)でロードしなければいけません。
Categories: Package ezunits
次元量 xの単位を返します。 もし xが無次元なら 1を返します。
xは文字通り次元式 a ` bかもしれませんし、
declare_unitsを介して宣言された単位を持つシンボルかもしれませんし、
それらの一方または両方を含む式かもしれません。
この関数は load(ezunits)でロードしなければいけません。
例:
(%i1) load (ezunits)$
(%i2) foo : 100 ` kg;
(%o2) 100 ` kg
(%i3) bar : x ` m/s;
m
(%o3) x ` -
s
(%i4) units (foo);
(%o4) kg
(%i5) units (bar);
m
(%o5) -
s
(%i6) units (foo * bar);
kg m
(%o6) ----
s
(%i7) units (foo / bar);
kg s
(%o7) ----
m
(%i8) units (foo^2);
2
(%o8) kg
Categories: Package ezunits
unitsが aの単位 uを返さなければいけないことを宣言します。
ここで uは式です。
この関数は load(ezunits)でロードしなければいけません。
例:
(%i1) load (ezunits)$
(%i2) units (aa);
(%o2) 1
(%i3) declare_units (aa, J);
(%o3) J
(%i4) units (aa);
(%o4) J
(%i5) units (aa^2);
2
(%o5) J
(%i6) foo : 100 ` kg;
(%o6) 100 ` kg
(%i7) units (aa * foo);
(%o7) kg J
Categories: Package ezunits
次元量 xの無次元パーツを返します。 もし xが無次元なら xを返します。 xは文字通り次元式 a ` bかも知れませんし、 宣言された量のシンボルかもしれませんし、 それらの一方または両方を含む式かもしれません。
この関数は load(ezunits)でロードしなければいけません。
例:
(%i1) load (ezunits)$
(%i2) foo : 100 ` kg;
(%o2) 100 ` kg
(%i3) qty (foo);
(%o3) 100
(%i4) bar : v ` m/s;
m
(%o4) v ` -
s
(%i5) foo * bar;
kg m
(%o5) 100 v ` ----
s
(%i6) qty (foo * bar);
(%o6) 100 v
Categories: Package ezunits
qtyが シンボル aの xを返さなければいけないことを宣言します。
ここで xは無次元量です。
この関数は load(ezunits)でロードしなければいけません。
例:
(%i1) load (ezunits)$
(%i2) declare_qty (aa, xx);
(%o2) xx
(%i3) qty (aa);
(%o3) xx
(%i4) qty (aa^2);
2
(%o4) xx
(%i5) foo : 100 ` kg;
(%o5) 100 ` kg
(%i6) qty (aa * foo);
(%o6) 100 xx
Categories: Package ezunits
もし
xが文字通り次元式か、次元的と宣言されたシンボルか、主演算子が次元的宣言された式なら、
trueを返します。
それ以外なら、 unitpは falseを返します。
load(ezunits)はこの関数を返します。
例:
文字通り次元式へ適用された unitp。
(%i1) load (ezunits)$ (%i2) unitp (100 ` kg); (%o2) true
次元的と宣言されたシンボルへ適用された unitp。
(%i1) load (ezunits)$ (%i2) unitp (foo); (%o2) false (%i3) declare (foo, dimensional); (%o3) done (%i4) unitp (foo); (%o4) true
主演算子が次元的と宣言された式に適用された unitp。
(%i1) load (ezunits)$ (%i2) unitp (bar (x, y, z)); (%o2) false (%i3) declare (bar, dimensional); (%o3) done (%i4) unitp (bar (x, y, z)); (%o4) true
Categories: Package ezunits
式 u = v, ... を単位変換演算子 ``が知っている単位変換のリストに追加します。 uと vはともにその中のいかなる変数も単位である乗法の項か、文字通り次元式です。
現状では、それぞれの式の左辺が(乗法式でなく)ただの単位か、 1に等しい量とただの単位である単位の文字通り次元式であるような 変換を表現する必要があります。 この限定は将来のバージョンで緩和されるかもしれません。
known_unit_conversionsは既知の単位変換のリストです。
この関数は load(ezunits)でロードしなければいけません。
例:
乗法項の等式で表現された単位変換。
(%i1) load (ezunits)$
(%i2) declare_unit_conversion (nautical_mile = 1852 * m,
fortnight = 14 * day);
(%o2) done
(%i3) 100 ` nautical_mile / fortnight `` m/s;
Computing conversions to base units; may take a moment.
463 m
(%o3) ---- ` -
3024 s
文字通り次元式の等式で表現された単位変換。
(%i1) load (ezunits)$ (%i2) declare_unit_conversion (1 ` fluid_ounce = 2 ` tablespoon); (%o2) done (%i3) declare_unit_conversion (1 ` tablespoon = 3 ` teaspoon); (%o3) done (%i4) 15 ` fluid_ounce `` teaspoon; Computing conversions to base units; may take a moment. (%o4) 90 ` teaspoon
Categories: Package ezunits
a_1, ..., a_nがそれぞれ、次元 d_1, ..., d_nを持つと宣言します。
a_kそれぞれはシンボルかシンボルのリストです。 もしリストなら a_k内のすべてのシンボルは次元 d_kを持つように宣言されます。
load(ezunits)はこれらの関数をロードします。
例:
(%i1) load (ezunits) $
(%i2) declare_dimensions ([x, y, z], length, [t, u], time);
(%o2) done
(%i3) dimensions (y^2/u);
2
length
(%o3) -------
time
(%i4) fundamental_units (y^2/u);
0 errors, 0 warnings
2
m
(%o4) --
s
Categories: Package ezunits
declare_dimensionsの効果を戻します。
この関数は load(ezunits)でロードしなければいけません。
Categories: Package ezunits
declare_fundamental_dimensionsは基本次元を宣言します。
シンボル d_1, d_2, d_3,
... は、もしそれらがまだリストの中にないなら、基本次元のリストに追加されます。
remove_fundamental_dimensionsは
declare_fundamental_dimensionsの効果を戻します。
fundamental_dimensionsは基本次元のリストです。
デフォルトでは、リストはいくつかの物理次元から成ります。
load(ezunits)はこれらの関数をロードします。
例:
(%i1) load (ezunits) $
(%i2) fundamental_dimensions;
(%o2) [length, mass, time, current, temperature, quantity]
(%i3) declare_fundamental_dimensions (money, cattle, happiness);
(%o3) done
(%i4) fundamental_dimensions;
(%o4) [length, mass, time, current, temperature, quantity,
money, cattle, happiness]
(%i5) remove_fundamental_dimensions (cattle, happiness);
(%o5) done
(%i6) fundamental_dimensions;
(%o6) [length, mass, time, current, temperature, quantity, money]
Categories: Package ezunits
declare_fundamental_unitsは u_1, ..., u_nをそれぞれ、次元
d_1, ..., d_nを持つように宣言します。
引数すべてはシンボルでなければいけません。
declare_fundamental_unitsをコールした後、
dimensions(u_k)は引数
u_1, ..., u_nそれぞれに対して d_kを返し、
fundamental_units(d_k)は引数
d_1, ..., d_nそれぞれに対して u_kを返します。
remove_fundamental_unitsは
declare_fundamental_unitsの効果を戻します。
load(ezunits)はこれらの関数をロードします。
例:
(%i1) load (ezunits) $
(%i2) declare_fundamental_dimensions (money, cattle, happiness);
(%o2) done
(%i3) declare_fundamental_units (dollar, money, goat, cattle, smile, happiness);
(%o3) [dollar, goat, smile]
(%i4) dimensions (100 ` dollar/goat/km^2);
money
(%o4) --------------
2
cattle length
(%i5) dimensions (x ` smile/kg);
happiness
(%o5) ---------
mass
(%i6) fundamental_units (money*cattle/happiness);
0 errors, 0 warnings
dollar goat
(%o6) -----------
smile
Categories: Package ezunits
dimensionsは基礎次元の積と冪で構成された式として次元量 xの次元を返します。
dimensions_as_listはそれぞれの要素が
xの次元に関して対応する基礎次元の冪を示す整数であるようなリストとして次元量
xの次元を返します。
load(ezunits)はこれらの関数をロードします。
例:
(%i1) load (ezunits)$
(%i2) dimensions (1000 ` kg*m^2/s^3);
2
length mass
(%o2) ------------
3
time
(%i3) declare_units (foo, acre*ft/hour);
acre ft
(%o3) -------
hour
(%i4) dimensions (foo);
3
length
(%o4) -------
time
(%i1) load (ezunits)$
(%i2) fundamental_dimensions;
(%o2) [length, mass, time, charge, temperature, quantity]
(%i3) dimensions_as_list (1000 ` kg*m^2/s^3);
(%o3) [2, 1, - 3, 0, 0, 0]
(%i4) declare_units (foo, acre*ft/hour);
acre ft
(%o4) -------
hour
(%i5) dimensions_as_list (foo);
(%o5) [3, 0, - 1, 0, 0, 0]
Categories: Package ezunits
fundamental_units(x)は
dimensions(x)が決定するように
xの基本次元に関連付けられた単位を返します。
xは文字通り次元式 a ` bか、
declare_unitsを介して宣言された単位を持つシンボルか
それらのいずれかもしくは両方を含む式かもしれません。
fundamental_units()は
declare_fundamental_unitsが宣言するように、
既知の基本単位すべてのリストを返します。
load(ezunits)はこの関数をロードします。
例:
(%i1) load (ezunits)$
(%i2) fundamental_units ();
(%o2) [m, kg, s, A, K, mol]
(%i3) fundamental_units (100 ` mile/hour);
m
(%o3) -
s
(%i4) declare_units (aa, g/foot^2);
g
(%o4) -----
2
foot
(%i5) fundamental_units (aa);
kg
(%o5) --
2
m
Categories: Package ezunits
次元量のリスト Lから形成できる無次元量の基底を返します。
load(ezunits)はこの関数をロードします。
例:
(%i1) load (ezunits) $
(%i2) dimensionless ([x ` m, y ` m/s, z ` s]);
0 errors, 0 warnings
0 errors, 0 warnings
y z
(%o2) [---]
x
基礎物理量から派生される無次元量。 リストの一番目の要素は微細構造定数に比例することに注意してください。
(%i1) load (ezunits) $
(%i2) load (physical_constants) $
(%i3) dimensionless([%h_bar, %m_e, %m_P, %%e, %c, %e_0]);
0 errors, 0 warnings
0 errors, 0 warnings
2
%%e %m_e
(%o3) [--------------, ----]
%c %e_0 %h_bar %m_P
Categories: Package ezunits
dimension(expr) =
dimension(v_1^e_1 ... v_n^e_n)であるような指数
e_1, ..., e_nを見つけます。
load(ezunits)はこの関数をロードします。
例:
Categories: Package ezunits
| [ << ] | [ >> ] | [冒頭] | [目次] | [見出し] | [ ? ] |
この文書は市川 雄二によって5月, 20 2015にtexi2html 1.76を用いて生成されました。