Binormal(C, t) コマンドは、R^3 内の曲線に対する陪法線ベクトルの方向にあるベクトルの計算を行います。通常、このベクトルは正規化されておらず、TNBFrame(C, t, output=['B']) の出力とは異なることに注意して下さい。

曲線は、ベクトル、またはベクトル値の手続きとして指定できます。この設定により、返されるオブジェクトの型が決まります。しかし、この曲線は厳密に3つの成分を持たなくてはなりません。すなわち、このベクトルまたはベクトル値の手続きで表現する曲線は、 R^3 内にあるということです。

t が指定されない場合には、この関数は、C の成分を用いて適切な変数名を決定しようと試みます。これを行うには、C の成分に含まれる型 name の不定元を全てチェックし、定数であると決定されたものを削除します。

結果の集合が単独の成分からなる場合には、その成分が変数名となります。複数の成分がある場合には、エラーが起こります。

C について座標系の属性が指定されている場合には、曲線はその座標系で解釈されます。それ以外の場合には、曲線は現在のデフォルト座標系にある曲線として解釈されます。その2つに互換性がない場合には、エラーが起こります。

with(VectorCalculus):

Warning, the assigned names <,> and <|> now have a global
binding
Warning, these protected names have been redefined and
unprotected: *, +, ., Vector, diff, int, limit, series

Binormal( <cos(t),sin(t),t>, t );

Binormal( <exp(-t)*cos(t), exp(-t)*sin(t), t> ):
simplify(%);

B := Binormal( t -> <t,t^2,t^3> ):

simplify(B(t));

SetCoordinates( 'cylindrical' );

simplify(Binormal( <a,t,t> )) assuming a::And(positive,constant);