| Global Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (595 entries) |
| Notation Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (16 entries) |
| Module Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (8 entries) |
| Variable Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (78 entries) |
| Library Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (9 entries) |
| Lemma Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (288 entries) |
| Axiom Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (3 entries) |
| Constructor Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (2 entries) |
| Projection Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (4 entries) |
| Inductive Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (1 entry) |
| Section Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (25 entries) |
| Abbreviation Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (22 entries) |
| Definition Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (137 entries) |
| Record Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (2 entries) |
Global Index
A
aaAngle [projection, in OrienRepr.AxisAngle]aaAxis [projection, in OrienRepr.AxisAngle]
aa2mat [definition, in OrienRepr.AxisAngle]
aa2matM [definition, in OrienRepr.AxisAngle]
aa2matM_SO3 [definition, in OrienRepr.AxisAngle]
aa2matM_SOnP [lemma, in OrienRepr.AxisAngle]
aa2matM_det1 [lemma, in OrienRepr.AxisAngle]
aa2matM_orth [lemma, in OrienRepr.AxisAngle]
aa2matM_eq_aa2mat [lemma, in OrienRepr.AxisAngle]
aa2mat_eq_Rz [lemma, in OrienRepr.RotationMatrix3D]
aa2mat_eq_Ry [lemma, in OrienRepr.RotationMatrix3D]
aa2mat_eq_Rx [lemma, in OrienRepr.RotationMatrix3D]
aa2mat_mul_aa2mat_trans [lemma, in OrienRepr.AxisAngle]
aa2mat_neg_eq_trans [lemma, in OrienRepr.AxisAngle]
aa2mat_spec [lemma, in OrienRepr.AxisAngle]
aa2quat [definition, in OrienRepr.Quaternion]
aa2quat_quat2aa_id [lemma, in OrienRepr.Quaternion]
aa2quat_unit [lemma, in OrienRepr.Quaternion]
aa2v [definition, in OrienRepr.AxisAngle]
ab2q [definition, in OrienRepr.Quaternion]
ab2q_eq [lemma, in OrienRepr.Quaternion]
ab2q_qunit [lemma, in OrienRepr.Quaternion]
ab2q_eq_ab2q' [lemma, in OrienRepr.Quaternion]
ab2q' [definition, in OrienRepr.Quaternion]
afterRot [definition, in OrienRepr.Orien2D]
afterRot_spec [lemma, in OrienRepr.Orien2D]
angle [record, in OrienRepr.MathBase]
AngleKind [inductive, in OrienRepr.MathBase]
AngleKind_sind [definition, in OrienRepr.MathBase]
AngleKind_rec [definition, in OrienRepr.MathBase]
AngleKind_ind [definition, in OrienRepr.MathBase]
AngleKind_rect [definition, in OrienRepr.MathBase]
angle_degree [projection, in OrienRepr.MathBase]
angle_radian [projection, in OrienRepr.MathBase]
AxisAngle [record, in OrienRepr.AxisAngle]
AxisAngle [library]
a2e [definition, in OrienRepr.OrienRepr]
a2m [definition, in OrienRepr.OrienRepr]
a2m' [definition, in OrienRepr.OrienRepr]
a2q [definition, in OrienRepr.OrienRepr]
B
beforeRot [definition, in OrienRepr.Orien2D]beforeRot_spec [lemma, in OrienRepr.Orien2D]
body4rot [definition, in OrienRepr.Orien2D]
body4rot_spec [lemma, in OrienRepr.Orien2D]
body4rot_world4rot [lemma, in OrienRepr.Orien2D]
B121 [definition, in OrienRepr.EulerAngle]
B121_eq_S121 [lemma, in OrienRepr.EulerAngle]
B121_spec [lemma, in OrienRepr.EulerAngle]
B123 [definition, in OrienRepr.EulerAngle]
B123_eq_S321 [lemma, in OrienRepr.EulerAngle]
B123_Linear_spec [lemma, in OrienRepr.EulerAngle]
B123_Linear [definition, in OrienRepr.EulerAngle]
B123_SOnP [lemma, in OrienRepr.EulerAngle]
B123_spec [lemma, in OrienRepr.EulerAngle]
B131 [definition, in OrienRepr.EulerAngle]
B131_eq_S131 [lemma, in OrienRepr.EulerAngle]
B131_spec [lemma, in OrienRepr.EulerAngle]
B132 [definition, in OrienRepr.EulerAngle]
B132_eq_S231 [lemma, in OrienRepr.EulerAngle]
B132_spec [lemma, in OrienRepr.EulerAngle]
B212 [definition, in OrienRepr.EulerAngle]
B212_eq_S212 [lemma, in OrienRepr.EulerAngle]
B212_spec [lemma, in OrienRepr.EulerAngle]
B213 [definition, in OrienRepr.EulerAngle]
B213_eq_S312 [lemma, in OrienRepr.EulerAngle]
B213_spec [lemma, in OrienRepr.EulerAngle]
B231 [definition, in OrienRepr.EulerAngle]
B231_eq_S132 [lemma, in OrienRepr.EulerAngle]
B231_spec [lemma, in OrienRepr.EulerAngle]
B232 [definition, in OrienRepr.EulerAngle]
B232_eq_S232 [lemma, in OrienRepr.EulerAngle]
B232_spec [lemma, in OrienRepr.EulerAngle]
B312 [definition, in OrienRepr.EulerAngle]
B312_eq_S213 [lemma, in OrienRepr.EulerAngle]
B312_spec [lemma, in OrienRepr.EulerAngle]
B313 [definition, in OrienRepr.EulerAngle]
B313_eq_S313 [lemma, in OrienRepr.EulerAngle]
B313_spec [lemma, in OrienRepr.EulerAngle]
B321 [definition, in OrienRepr.EulerAngle]
B321_eq_S123 [lemma, in OrienRepr.EulerAngle]
B321_spec [lemma, in OrienRepr.EulerAngle]
B323 [definition, in OrienRepr.EulerAngle]
B323_eq_S323 [lemma, in OrienRepr.EulerAngle]
B323_spec [lemma, in OrienRepr.EulerAngle]
C
c1 [abbreviation, in OrienRepr.EulerAngle]c2 [abbreviation, in OrienRepr.EulerAngle]
c3 [abbreviation, in OrienRepr.EulerAngle]
cθ2 [abbreviation, in OrienRepr.Quaternion]
cψ2 [abbreviation, in OrienRepr.Quaternion]
cϕ2 [abbreviation, in OrienRepr.Quaternion]
D
Degree [constructor, in OrienRepr.MathBase]deg2rad [definition, in OrienRepr.MathBase]
E
EulerAngle [library]EulerAngle24 [section, in OrienRepr.EulerAngle]
EulerAngle24_only_half.a3 [variable, in OrienRepr.EulerAngle]
EulerAngle24_only_half.a2 [variable, in OrienRepr.EulerAngle]
EulerAngle24_only_half.a1 [variable, in OrienRepr.EulerAngle]
EulerAngle24_only_half [section, in OrienRepr.EulerAngle]
EulerAngle24.LinearizationCondition_at_Zero [section, in OrienRepr.EulerAngle]
EulerAngle24.verify_orth_keep_cross [section, in OrienRepr.EulerAngle]
EulerAngle24.θ1 [variable, in OrienRepr.EulerAngle]
EulerAngle24.θ2 [variable, in OrienRepr.EulerAngle]
EulerAngle24.θ3 [variable, in OrienRepr.EulerAngle]
euler2quat [definition, in OrienRepr.Quaternion]
euler2quat [section, in OrienRepr.Quaternion]
euler2quat_spec [lemma, in OrienRepr.Quaternion]
euler2quat_eq [lemma, in OrienRepr.Quaternion]
euler2quat.euler [variable, in OrienRepr.Quaternion]
euler2quat.qx [variable, in OrienRepr.Quaternion]
euler2quat.qy [variable, in OrienRepr.Quaternion]
euler2quat.qz [variable, in OrienRepr.Quaternion]
executability_for_symbol_derivation.A [variable, in OrienRepr.OrienRepr]
executability_for_symbol_derivation.a33 [variable, in OrienRepr.OrienRepr]
executability_for_symbol_derivation.a32 [variable, in OrienRepr.OrienRepr]
executability_for_symbol_derivation.a31 [variable, in OrienRepr.OrienRepr]
executability_for_symbol_derivation.a23 [variable, in OrienRepr.OrienRepr]
executability_for_symbol_derivation.a22 [variable, in OrienRepr.OrienRepr]
executability_for_symbol_derivation.a21 [variable, in OrienRepr.OrienRepr]
executability_for_symbol_derivation.a13 [variable, in OrienRepr.OrienRepr]
executability_for_symbol_derivation.a12 [variable, in OrienRepr.OrienRepr]
executability_for_symbol_derivation.a11 [variable, in OrienRepr.OrienRepr]
executability_for_symbol_derivation.ψ [variable, in OrienRepr.OrienRepr]
executability_for_symbol_derivation.θ [variable, in OrienRepr.OrienRepr]
executability_for_symbol_derivation.ϕ [variable, in OrienRepr.OrienRepr]
executability_for_symbol_derivation [section, in OrienRepr.OrienRepr]
e2m [definition, in OrienRepr.OrienRepr]
e2q [definition, in OrienRepr.OrienRepr]
H
HpbM [lemma, in OrienRepr.Orien2D]HpwM [lemma, in OrienRepr.Orien2D]
Hunit_n [lemma, in OrienRepr.Quaternion]
Hxb'Hyb' [lemma, in OrienRepr.Orien2D]
Hxw'Hyw' [lemma, in OrienRepr.Orien2D]
I
im2q [definition, in OrienRepr.Quaternion]im2q_qunit [lemma, in OrienRepr.Quaternion]
im2q_neq0_iff [lemma, in OrienRepr.Quaternion]
im2q_eq0_iff [lemma, in OrienRepr.Quaternion]
im2q_q2im [lemma, in OrienRepr.Quaternion]
L
LinearizationCondition [definition, in OrienRepr.EulerAngle]M
MathBase [library]mk_angle_rad [definition, in OrienRepr.MathBase]
mk_angle_deg [definition, in OrienRepr.MathBase]
m2e [definition, in OrienRepr.OrienRepr]
m2q [definition, in OrienRepr.Quaternion]
m2q_spec [lemma, in OrienRepr.Quaternion]
m2q_qunit [lemma, in OrienRepr.Quaternion]
O
OrienRepr [library]Orien2D [library]
Orien3D [library]
orth_keep_cross_c1c2 [lemma, in OrienRepr.EulerAngle]
P
p_b_w [lemma, in OrienRepr.Orien2D]p_w_b [lemma, in OrienRepr.Orien2D]
Q
qadd [definition, in OrienRepr.Quaternion]qconj [definition, in OrienRepr.Quaternion]
qconj_qunit [lemma, in OrienRepr.Quaternion]
qconj_qadd [lemma, in OrienRepr.Quaternion]
qconj_qscal [lemma, in OrienRepr.Quaternion]
qconj_qmul [lemma, in OrienRepr.Quaternion]
qconj_im2q [lemma, in OrienRepr.Quaternion]
qconj_qconj [lemma, in OrienRepr.Quaternion]
qdiv [definition, in OrienRepr.Quaternion]
qdiv_spec [lemma, in OrienRepr.Quaternion]
qdot [definition, in OrienRepr.QuaternionAdvanced]
qdot [section, in OrienRepr.QuaternionAdvanced]
qeq_if_W_Im [lemma, in OrienRepr.Quaternion]
qexp [axiom, in OrienRepr.QuaternionAdvanced]
qexp [section, in OrienRepr.QuaternionAdvanced]
qexp_qlog [axiom, in OrienRepr.QuaternionAdvanced]
qim_vunit_imply_qunit [lemma, in OrienRepr.Quaternion]
qinv [definition, in OrienRepr.Quaternion]
qinv_qscal [lemma, in OrienRepr.Quaternion]
qinv_qmul [lemma, in OrienRepr.Quaternion]
qinv_eq_qconj [lemma, in OrienRepr.Quaternion]
qlen [definition, in OrienRepr.Quaternion]
qlen_qmul_qconj_r [lemma, in OrienRepr.Quaternion]
qlen_qmul_qconj_l [lemma, in OrienRepr.Quaternion]
qlen_qconj [lemma, in OrienRepr.Quaternion]
qlen_qmul [lemma, in OrienRepr.Quaternion]
qlen_eq_iff_qlen2_eq [lemma, in OrienRepr.Quaternion]
qlen_neq0_iff [lemma, in OrienRepr.Quaternion]
qlen_eq0_iff [lemma, in OrienRepr.Quaternion]
qlen_ge0 [lemma, in OrienRepr.Quaternion]
qlen2 [definition, in OrienRepr.Quaternion]
qlen2_qscal [lemma, in OrienRepr.Quaternion]
qlen2_qmul [lemma, in OrienRepr.Quaternion]
qlen2_neq0_iff [lemma, in OrienRepr.Quaternion]
qlen2_eq0_iff [lemma, in OrienRepr.Quaternion]
qlen2_ge0 [lemma, in OrienRepr.Quaternion]
qlog [axiom, in OrienRepr.QuaternionAdvanced]
qlog [section, in OrienRepr.QuaternionAdvanced]
qmat [definition, in OrienRepr.Quaternion]
qmatL [definition, in OrienRepr.Quaternion]
qmatL_qconj [lemma, in OrienRepr.Quaternion]
qmatL_spec2 [lemma, in OrienRepr.Quaternion]
qmatL_spec1 [lemma, in OrienRepr.Quaternion]
qmatR [definition, in OrienRepr.Quaternion]
qmatR_qconj [lemma, in OrienRepr.Quaternion]
qmatR_spec2 [lemma, in OrienRepr.Quaternion]
qmatR_spec1 [lemma, in OrienRepr.Quaternion]
qmat_spec [lemma, in OrienRepr.Quaternion]
qmul [definition, in OrienRepr.Quaternion]
qmulc [definition, in OrienRepr.Quaternion]
qmul_qL_qinv_qR_qinv_comm [lemma, in OrienRepr.Quaternion]
qmul_qR_qinv_qtrans_qL_comm [lemma, in OrienRepr.Quaternion]
qmul_qL_qinv_qtrans_qL_comm [lemma, in OrienRepr.Quaternion]
qmul_qL_qR_qinv_comm [lemma, in OrienRepr.Quaternion]
qmul_imply_solve_r [lemma, in OrienRepr.Quaternion]
qmul_imply_solve_l [lemma, in OrienRepr.Quaternion]
qmul_qinv_r [lemma, in OrienRepr.Quaternion]
qmul_qinv_l [lemma, in OrienRepr.Quaternion]
qmul_qconj_r_Im0 [lemma, in OrienRepr.Quaternion]
qmul_qconj_l_Im0 [lemma, in OrienRepr.Quaternion]
qmul_qconj_comm [lemma, in OrienRepr.Quaternion]
qmul_1_r [lemma, in OrienRepr.Quaternion]
qmul_1_l [lemma, in OrienRepr.Quaternion]
qmul_qscal_r [lemma, in OrienRepr.Quaternion]
qmul_qscal_l [lemma, in OrienRepr.Quaternion]
qmul_im2q_eq [lemma, in OrienRepr.Quaternion]
qmul_qadd_distr_r [lemma, in OrienRepr.Quaternion]
qmul_qadd_distr_l [lemma, in OrienRepr.Quaternion]
qmul_comm_fail [lemma, in OrienRepr.Quaternion]
qmul_assoc [lemma, in OrienRepr.Quaternion]
qmul_qunit [lemma, in OrienRepr.Quaternion]
qmul_spec [lemma, in OrienRepr.Quaternion]
qn_eq_nq [lemma, in OrienRepr.Quaternion]
qone [definition, in OrienRepr.Quaternion]
qoneNeg [definition, in OrienRepr.Quaternion]
qopp [definition, in OrienRepr.Quaternion]
qpower [definition, in OrienRepr.QuaternionAdvanced]
qpower [section, in OrienRepr.QuaternionAdvanced]
qpower' [definition, in OrienRepr.QuaternionAdvanced]
qrot [definition, in OrienRepr.Quaternion]
qrotAxis [definition, in OrienRepr.Quaternion]
qrotAxis [section, in OrienRepr.Quaternion]
qrotAxis_twice [lemma, in OrienRepr.Quaternion]
qrotAxis_qrot [lemma, in OrienRepr.Quaternion]
qrotv [definition, in OrienRepr.Quaternion]
qrotvAxis [definition, in OrienRepr.Quaternion]
qrotvAxis_eq_qrotv [lemma, in OrienRepr.Quaternion]
qrot_qrotAxis [lemma, in OrienRepr.Quaternion]
qrot_twice_vec [lemma, in OrienRepr.Quaternion]
qrot_twice [lemma, in OrienRepr.Quaternion]
qrot_spec_method3 [section, in OrienRepr.Quaternion]
qrot_valid [lemma, in OrienRepr.Quaternion]
qrot_keep_vunit [lemma, in OrienRepr.Quaternion]
qrot_im2q_qunit [lemma, in OrienRepr.Quaternion]
qrot_im2q_vunit [lemma, in OrienRepr.Quaternion]
qrot_keep_vangle [lemma, in OrienRepr.Quaternion]
qrot_keep_vlen [lemma, in OrienRepr.Quaternion]
qrot_vnorm_comm [lemma, in OrienRepr.Quaternion]
qrot_keep_dot [lemma, in OrienRepr.Quaternion]
qrot_im2q_w0 [lemma, in OrienRepr.Quaternion]
qrot_keep_w [lemma, in OrienRepr.Quaternion]
qrot_linear_vscal [lemma, in OrienRepr.Quaternion]
qrot_linear_vadd [lemma, in OrienRepr.Quaternion]
qrot_spec1 [lemma, in OrienRepr.Quaternion]
qscal [definition, in OrienRepr.Quaternion]
qscal_eq_qmulc [lemma, in OrienRepr.Quaternion]
qscal_neq0_iff [lemma, in OrienRepr.Quaternion]
qscal_eq0_iff [lemma, in OrienRepr.Quaternion]
qscal_assoc [lemma, in OrienRepr.Quaternion]
qscal_1_l [lemma, in OrienRepr.Quaternion]
qslerp [definition, in OrienRepr.QuaternionAdvanced]
qslerp [section, in OrienRepr.QuaternionAdvanced]
qslerp_parameter [definition, in OrienRepr.QuaternionAdvanced]
qslerp_cosOmega [definition, in OrienRepr.QuaternionAdvanced]
qsqr_im2q [lemma, in OrienRepr.Quaternion]
qsqr_s2q [lemma, in OrienRepr.Quaternion]
qsub [definition, in OrienRepr.Quaternion]
quat [definition, in OrienRepr.Quaternion]
Quaternion [library]
QuaternionAdvanced [library]
quat2aa [definition, in OrienRepr.Quaternion]
quat2aa_aa2quat_id [lemma, in OrienRepr.Quaternion]
quat2aa_unit [lemma, in OrienRepr.Quaternion]
quat2euler [definition, in OrienRepr.Quaternion]
quat2euler [section, in OrienRepr.Quaternion]
quat2euler.q [variable, in OrienRepr.Quaternion]
qunit [definition, in OrienRepr.Quaternion]
qunit_qmul_qconj_r [lemma, in OrienRepr.Quaternion]
qunit_qmul_qconj_l [lemma, in OrienRepr.Quaternion]
qunit_neq0 [lemma, in OrienRepr.Quaternion]
qunit_imply_Im [lemma, in OrienRepr.Quaternion]
qunit_imply_W [lemma, in OrienRepr.Quaternion]
qunit_iff_qlen2_eq1 [lemma, in OrienRepr.Quaternion]
qzero [definition, in OrienRepr.Quaternion]
q_qunit [lemma, in OrienRepr.Quaternion]
q0 [abbreviation, in OrienRepr.Quaternion]
q1 [abbreviation, in OrienRepr.Quaternion]
q2 [abbreviation, in OrienRepr.Quaternion]
q2a [definition, in OrienRepr.OrienRepr]
q2e [definition, in OrienRepr.OrienRepr]
q2im [definition, in OrienRepr.Quaternion]
q2im_im2q [lemma, in OrienRepr.Quaternion]
q2m [definition, in OrienRepr.Quaternion]
q2m_m2q_id [lemma, in OrienRepr.Quaternion]
q2m_spec [lemma, in OrienRepr.Quaternion]
q2m_eq [lemma, in OrienRepr.Quaternion]
q3 [abbreviation, in OrienRepr.Quaternion]
R
Radian [constructor, in OrienRepr.MathBase]rad2deg [definition, in OrienRepr.MathBase]
rotaa [definition, in OrienRepr.OrienRepr]
rotaa [definition, in OrienRepr.AxisAngle]
rotaa_form1 [lemma, in OrienRepr.AxisAngle]
rotaa_spec [lemma, in OrienRepr.AxisAngle]
RotationMatrix3D [library]
rotation_derivation.main_theorem_analysis.v' [variable, in OrienRepr.Quaternion]
rotation_derivation.main_theorem_analysis.v [variable, in OrienRepr.Quaternion]
rotation_derivation.main_theorem_analysis.Hs1_gt0 [variable, in OrienRepr.Quaternion]
rotation_derivation.main_theorem_analysis.Hs0_gt0 [variable, in OrienRepr.Quaternion]
rotation_derivation.main_theorem_analysis.s2 [variable, in OrienRepr.Quaternion]
rotation_derivation.main_theorem_analysis.s1 [variable, in OrienRepr.Quaternion]
rotation_derivation.main_theorem_analysis.s0 [variable, in OrienRepr.Quaternion]
rotation_derivation.main_theorem_analysis [section, in OrienRepr.Quaternion]
rotation_derivation.v3 [variable, in OrienRepr.Quaternion]
rotation_derivation.v2 [variable, in OrienRepr.Quaternion]
rotation_derivation.about_θ [section, in OrienRepr.Quaternion]
rotation_derivation.q [variable, in OrienRepr.Quaternion]
rotation_derivation.Hangle_v01_θ [variable, in OrienRepr.Quaternion]
rotation_derivation.Hnorm_v01_n [variable, in OrienRepr.Quaternion]
rotation_derivation.Hunit_v1 [variable, in OrienRepr.Quaternion]
rotation_derivation.Hunit_v0 [variable, in OrienRepr.Quaternion]
rotation_derivation.Hbound_θ [variable, in OrienRepr.Quaternion]
rotation_derivation.v1 [variable, in OrienRepr.Quaternion]
rotation_derivation.v0 [variable, in OrienRepr.Quaternion]
rotation_derivation.n [variable, in OrienRepr.Quaternion]
rotation_derivation.θ [variable, in OrienRepr.Quaternion]
rotation_derivation [section, in OrienRepr.Quaternion]
rotByM [definition, in OrienRepr.OrienRepr]
rotByQ [definition, in OrienRepr.OrienRepr]
rotx [definition, in OrienRepr.OrienRepr]
roty [definition, in OrienRepr.OrienRepr]
rotz [definition, in OrienRepr.OrienRepr]
rot_n_eq_n [lemma, in OrienRepr.Quaternion]
rot2 [definition, in OrienRepr.Orien2D]
rot2ByQ [definition, in OrienRepr.OrienRepr]
rot2_neg_eq_trans [lemma, in OrienRepr.Orien2D]
rot2_neg_eq_inv [lemma, in OrienRepr.Orien2D]
rot2_comm [lemma, in OrienRepr.Orien2D]
rot2_eq_add [lemma, in OrienRepr.Orien2D]
rot2_trans_mul_rot2 [lemma, in OrienRepr.Orien2D]
rot2_mul_rot2_trans [lemma, in OrienRepr.Orien2D]
rot2_inv_mul_rot2 [lemma, in OrienRepr.Orien2D]
rot2_mul_rot2_inv [lemma, in OrienRepr.Orien2D]
rot2_inv_eq_trans [lemma, in OrienRepr.Orien2D]
rot2_minvtble [lemma, in OrienRepr.Orien2D]
rot2_SO2 [definition, in OrienRepr.Orien2D]
rot2_SOnP [lemma, in OrienRepr.Orien2D]
rot2_det1 [lemma, in OrienRepr.Orien2D]
rot2_orth [lemma, in OrienRepr.Orien2D]
Rsign [definition, in OrienRepr.Quaternion]
Rx [definition, in OrienRepr.RotationMatrix3D]
Rx_mul_Rx_neg [lemma, in OrienRepr.RotationMatrix3D]
Rx_neg_mul_Rx [lemma, in OrienRepr.RotationMatrix3D]
Rx_neg_eq_trans [lemma, in OrienRepr.RotationMatrix3D]
Rx_inv_eq_trans [lemma, in OrienRepr.RotationMatrix3D]
Rx_SO3 [definition, in OrienRepr.RotationMatrix3D]
Rx_SOnP [lemma, in OrienRepr.RotationMatrix3D]
Rx_det1 [lemma, in OrienRepr.RotationMatrix3D]
Rx_minvtble [lemma, in OrienRepr.RotationMatrix3D]
Rx_orth [lemma, in OrienRepr.RotationMatrix3D]
Rx_mmulv_eq_mvmul [lemma, in OrienRepr.Orien3D]
Rx_trans_spec [lemma, in OrienRepr.Orien3D]
Rx_neg_spec [lemma, in OrienRepr.Orien3D]
Rx_spec [lemma, in OrienRepr.Orien3D]
Ry [definition, in OrienRepr.RotationMatrix3D]
Ry_mul_Ry_neg [lemma, in OrienRepr.RotationMatrix3D]
Ry_neg_mul_Ry [lemma, in OrienRepr.RotationMatrix3D]
Ry_neg_eq_trans [lemma, in OrienRepr.RotationMatrix3D]
Ry_inv_eq_trans [lemma, in OrienRepr.RotationMatrix3D]
Ry_SO3 [definition, in OrienRepr.RotationMatrix3D]
Ry_SOnP [lemma, in OrienRepr.RotationMatrix3D]
Ry_det1 [lemma, in OrienRepr.RotationMatrix3D]
Ry_minvtble [lemma, in OrienRepr.RotationMatrix3D]
Ry_orth [lemma, in OrienRepr.RotationMatrix3D]
Ry_mmulv_eq_mvmul [lemma, in OrienRepr.Orien3D]
Ry_trans_spec [lemma, in OrienRepr.Orien3D]
Ry_neg_spec [lemma, in OrienRepr.Orien3D]
Ry_spec [lemma, in OrienRepr.Orien3D]
Rz [definition, in OrienRepr.RotationMatrix3D]
Rz_mul_Rz_neg [lemma, in OrienRepr.RotationMatrix3D]
Rz_neg_mul_Rz [lemma, in OrienRepr.RotationMatrix3D]
Rz_neg_eq_trans [lemma, in OrienRepr.RotationMatrix3D]
Rz_inv_eq_trans [lemma, in OrienRepr.RotationMatrix3D]
Rz_SO3 [definition, in OrienRepr.RotationMatrix3D]
Rz_SOnP [lemma, in OrienRepr.RotationMatrix3D]
Rz_det1 [lemma, in OrienRepr.RotationMatrix3D]
Rz_minvtble [lemma, in OrienRepr.RotationMatrix3D]
Rz_orth [lemma, in OrienRepr.RotationMatrix3D]
Rz_mmulv_eq_mvmul [lemma, in OrienRepr.Orien3D]
Rz_trans_spec [lemma, in OrienRepr.Orien3D]
Rz_neg_spec [lemma, in OrienRepr.Orien3D]
Rz_spec [lemma, in OrienRepr.Orien3D]
R2Euler_B123.alg2.alg_spec [lemma, in OrienRepr.EulerAngle]
R2Euler_B123.alg2.ψ' [definition, in OrienRepr.EulerAngle]
R2Euler_B123.alg2.θ' [definition, in OrienRepr.EulerAngle]
R2Euler_B123.alg2.ϕ' [definition, in OrienRepr.EulerAngle]
R2Euler_B123.alg2 [module, in OrienRepr.EulerAngle]
R2Euler_B123.alg1.alg_spec [lemma, in OrienRepr.EulerAngle]
R2Euler_B123.alg1.ψ' [definition, in OrienRepr.EulerAngle]
R2Euler_B123.alg1.θ' [definition, in OrienRepr.EulerAngle]
R2Euler_B123.alg1.ϕ' [definition, in OrienRepr.EulerAngle]
R2Euler_B123.alg1 [module, in OrienRepr.EulerAngle]
R2Euler_B123.B123_singularity_ψ [lemma, in OrienRepr.EulerAngle]
R2Euler_B123.B123_singularity_ψ_when_θ_eq_pi2_neg [lemma, in OrienRepr.EulerAngle]
R2Euler_B123.B123_singularity_ψ_when_θ_eq_pi2 [lemma, in OrienRepr.EulerAngle]
R2Euler_B123.B123_singularity_ϕ [lemma, in OrienRepr.EulerAngle]
R2Euler_B123.B123_singularity_ϕ_when_θ_eq_pi2_neg [lemma, in OrienRepr.EulerAngle]
R2Euler_B123.B123_singularity_ϕ_when_θ_eq_pi2 [lemma, in OrienRepr.EulerAngle]
R2Euler_B123.B123_θ_eq_pi2_neg [lemma, in OrienRepr.EulerAngle]
R2Euler_B123.B123_θ_eq_pi2 [lemma, in OrienRepr.EulerAngle]
R2Euler_B123.singularity [section, in OrienRepr.EulerAngle]
R2Euler_B123 [module, in OrienRepr.EulerAngle]
R2Euler_S123.alg3.euler_angles [definition, in OrienRepr.EulerAngle]
R2Euler_S123.alg3.case3_values [definition, in OrienRepr.EulerAngle]
R2Euler_S123.alg3.case3_opts_2_eq_mat1 [lemma, in OrienRepr.EulerAngle]
R2Euler_S123.alg3.case3_opts_1_eq_mat1 [lemma, in OrienRepr.EulerAngle]
R2Euler_S123.alg3.case3_cond [definition, in OrienRepr.EulerAngle]
R2Euler_S123.alg3.case2_values [definition, in OrienRepr.EulerAngle]
R2Euler_S123.alg3.find_best [definition, in OrienRepr.EulerAngle]
R2Euler_S123.alg3.case2_params [definition, in OrienRepr.EulerAngle]
R2Euler_S123.alg3.case1_values [definition, in OrienRepr.EulerAngle]
R2Euler_S123.alg3.case1_cond [definition, in OrienRepr.EulerAngle]
R2Euler_S123.alg3.sec.C [variable, in OrienRepr.EulerAngle]
R2Euler_S123.alg3.sec [section, in OrienRepr.EulerAngle]
R2Euler_S123.alg3.Rsign [definition, in OrienRepr.EulerAngle]
R2Euler_S123.alg3 [module, in OrienRepr.EulerAngle]
R2Euler_S123.alg2.alg_spec [lemma, in OrienRepr.EulerAngle]
R2Euler_S123.alg2.ψ' [definition, in OrienRepr.EulerAngle]
R2Euler_S123.alg2.θ' [definition, in OrienRepr.EulerAngle]
R2Euler_S123.alg2.ϕ' [definition, in OrienRepr.EulerAngle]
R2Euler_S123.alg2 [module, in OrienRepr.EulerAngle]
R2Euler_S123.alg1.alg_spec [lemma, in OrienRepr.EulerAngle]
R2Euler_S123.alg1.ψ' [definition, in OrienRepr.EulerAngle]
R2Euler_S123.alg1.θ' [definition, in OrienRepr.EulerAngle]
R2Euler_S123.alg1.ϕ' [definition, in OrienRepr.EulerAngle]
R2Euler_S123.alg1 [module, in OrienRepr.EulerAngle]
R2Euler_S123.S123_singularity_ψ [lemma, in OrienRepr.EulerAngle]
R2Euler_S123.S123_singularity_ψ_when_θ_eq_pi2_neg [lemma, in OrienRepr.EulerAngle]
R2Euler_S123.S123_singularity_ψ_when_θ_eq_pi2 [lemma, in OrienRepr.EulerAngle]
R2Euler_S123.S123_singularity_ϕ [lemma, in OrienRepr.EulerAngle]
R2Euler_S123.S123_singularity_ϕ_when_θ_eq_pi2_neg [lemma, in OrienRepr.EulerAngle]
R2Euler_S123.S123_singularity_ϕ_when_θ_eq_pi2 [lemma, in OrienRepr.EulerAngle]
R2Euler_S123.S123_θ_eq_pi2_neg [lemma, in OrienRepr.EulerAngle]
R2Euler_S123.S123_θ_eq_pi2 [lemma, in OrienRepr.EulerAngle]
R2Euler_S123.singularity [section, in OrienRepr.EulerAngle]
R2Euler_S123 [module, in OrienRepr.EulerAngle]
S
sin_θ2_gt0 [lemma, in OrienRepr.Quaternion]si2q [definition, in OrienRepr.Quaternion]
si2q_inj [lemma, in OrienRepr.Quaternion]
si2q_spec [lemma, in OrienRepr.Quaternion]
skewP2_eq [lemma, in OrienRepr.Orien2D]
skew2 [definition, in OrienRepr.Orien2D]
skew2_vex2 [lemma, in OrienRepr.Orien2D]
skew2_spec [lemma, in OrienRepr.Orien2D]
SOn_keep_vangle2 [lemma, in OrienRepr.Orien2D]
SOn_keep_v2cross [lemma, in OrienRepr.Orien2D]
spec_OneFrame.b [variable, in OrienRepr.Orien2D]
spec_OneFrame.b_y [variable, in OrienRepr.Orien2D]
spec_OneFrame.b_x [variable, in OrienRepr.Orien2D]
spec_OneFrame.alpha [variable, in OrienRepr.Orien2D]
spec_OneFrame.l [variable, in OrienRepr.Orien2D]
spec_OneFrame.Hneq0 [variable, in OrienRepr.Orien2D]
spec_OneFrame [section, in OrienRepr.Orien2D]
spec_TwoFrame.Hpb [variable, in OrienRepr.Orien2D]
spec_TwoFrame.Hpw [variable, in OrienRepr.Orien2D]
spec_TwoFrame.b [variable, in OrienRepr.Orien2D]
spec_TwoFrame.w [variable, in OrienRepr.Orien2D]
spec_TwoFrame.p [variable, in OrienRepr.Orien2D]
spec_TwoFrame.Hyb' [variable, in OrienRepr.Orien2D]
spec_TwoFrame.Hxb' [variable, in OrienRepr.Orien2D]
spec_TwoFrame.theta [variable, in OrienRepr.Orien2D]
spec_TwoFrame.xb'yb'_orth [variable, in OrienRepr.Orien2D]
spec_TwoFrame.yb' [variable, in OrienRepr.Orien2D]
spec_TwoFrame.xb' [variable, in OrienRepr.Orien2D]
spec_TwoFrame.xw'yw'_orth [variable, in OrienRepr.Orien2D]
spec_TwoFrame.yw' [variable, in OrienRepr.Orien2D]
spec_TwoFrame.xw' [variable, in OrienRepr.Orien2D]
spec_TwoFrame [section, in OrienRepr.Orien2D]
sqr_qlen [lemma, in OrienRepr.Quaternion]
s1 [abbreviation, in OrienRepr.EulerAngle]
S121 [definition, in OrienRepr.EulerAngle]
S121_spec [lemma, in OrienRepr.EulerAngle]
S123 [definition, in OrienRepr.EulerAngle]
S123_spec [lemma, in OrienRepr.EulerAngle]
S131 [definition, in OrienRepr.EulerAngle]
S131_spec [lemma, in OrienRepr.EulerAngle]
S132 [definition, in OrienRepr.EulerAngle]
S132_spec [lemma, in OrienRepr.EulerAngle]
s2 [abbreviation, in OrienRepr.EulerAngle]
s2q [definition, in OrienRepr.Quaternion]
s2q_spec [lemma, in OrienRepr.Quaternion]
S212 [definition, in OrienRepr.EulerAngle]
S212_spec [lemma, in OrienRepr.EulerAngle]
S213 [definition, in OrienRepr.EulerAngle]
S213_spec [lemma, in OrienRepr.EulerAngle]
S231 [definition, in OrienRepr.EulerAngle]
S231_spec [lemma, in OrienRepr.EulerAngle]
S232 [definition, in OrienRepr.EulerAngle]
S232_spec [lemma, in OrienRepr.EulerAngle]
s3 [abbreviation, in OrienRepr.EulerAngle]
S312 [definition, in OrienRepr.EulerAngle]
S312_spec [lemma, in OrienRepr.EulerAngle]
S313 [definition, in OrienRepr.EulerAngle]
S313_spec [lemma, in OrienRepr.EulerAngle]
S321 [definition, in OrienRepr.EulerAngle]
S321_spec [lemma, in OrienRepr.EulerAngle]
S323 [definition, in OrienRepr.EulerAngle]
S323_spec [lemma, in OrienRepr.EulerAngle]
sθ2 [abbreviation, in OrienRepr.Quaternion]
sψ2 [abbreviation, in OrienRepr.Quaternion]
sϕ2 [abbreviation, in OrienRepr.Quaternion]
T
test [section, in OrienRepr.MathBase]U
Unnamed_thm [definition, in OrienRepr.OrienRepr]Unnamed_thm [definition, in OrienRepr.MathBase]
V
vangle_vv' [lemma, in OrienRepr.Quaternion]vangle_add [lemma, in OrienRepr.Quaternion]
vangle_vadd [lemma, in OrienRepr.Quaternion]
vex2 [definition, in OrienRepr.Orien2D]
vex2_skew2 [lemma, in OrienRepr.Orien2D]
vlen_vv' [lemma, in OrienRepr.Quaternion]
v0_orth_n [lemma, in OrienRepr.Quaternion]
v01_eq_q [lemma, in OrienRepr.Quaternion]
v02_angle_θ [lemma, in OrienRepr.Quaternion]
v1_orth_n [lemma, in OrienRepr.Quaternion]
v12_v01_same_angle [lemma, in OrienRepr.Quaternion]
v12_v01_keep_vcross [lemma, in OrienRepr.Quaternion]
v12_v01_keep_vdot [lemma, in OrienRepr.Quaternion]
v12_eq_q [lemma, in OrienRepr.Quaternion]
v123_coplanar [lemma, in OrienRepr.Quaternion]
v13_angle_θ [lemma, in OrienRepr.Quaternion]
v2aa [definition, in OrienRepr.AxisAngle]
v2aa_spec [lemma, in OrienRepr.AxisAngle]
v2_orth_n [lemma, in OrienRepr.Quaternion]
v2_vunit [lemma, in OrienRepr.Quaternion]
v23_v12_same_angle [lemma, in OrienRepr.Quaternion]
v23_v12_keep_vcross [lemma, in OrienRepr.Quaternion]
v23_v12_keep_vdot [lemma, in OrienRepr.Quaternion]
v23_eq_q [lemma, in OrienRepr.Quaternion]
v3_orth_n [lemma, in OrienRepr.Quaternion]
v3_vunit [lemma, in OrienRepr.Quaternion]
W
world4rot [definition, in OrienRepr.Orien2D]world4rot_spec [lemma, in OrienRepr.Orien2D]
world4rot_anyOrder [lemma, in OrienRepr.Orien2D]
world4rot_twice [lemma, in OrienRepr.Orien2D]
world4rot_neg_eq_body4rot [lemma, in OrienRepr.Orien2D]
world4rot_body4rot [lemma, in OrienRepr.Orien2D]
X
xyzRPY_eq_zyxEULER.xyzEXTR_eq_zyxINTR [lemma, in OrienRepr.OrienRepr]xyzRPY_eq_zyxEULER.zyxINTR_spec [lemma, in OrienRepr.OrienRepr]
xyzRPY_eq_zyxEULER.q2_eq [lemma, in OrienRepr.OrienRepr]
xyzRPY_eq_zyxEULER.zyxINTR_spec.p'' [variable, in OrienRepr.OrienRepr]
xyzRPY_eq_zyxEULER.zyxINTR_spec.q2 [variable, in OrienRepr.OrienRepr]
xyzRPY_eq_zyxEULER.zyxINTR_spec.q1 [variable, in OrienRepr.OrienRepr]
xyzRPY_eq_zyxEULER.zyxINTR_spec.angz [variable, in OrienRepr.OrienRepr]
xyzRPY_eq_zyxEULER.zyxINTR_spec.angy [variable, in OrienRepr.OrienRepr]
xyzRPY_eq_zyxEULER.zyxINTR_spec.angx [variable, in OrienRepr.OrienRepr]
xyzRPY_eq_zyxEULER.zyxINTR_spec.p [variable, in OrienRepr.OrienRepr]
xyzRPY_eq_zyxEULER.zyxINTR_spec [section, in OrienRepr.OrienRepr]
xyzRPY_eq_zyxEULER.zyxINTR [definition, in OrienRepr.OrienRepr]
xyzRPY_eq_zyxEULER.xyzEXTR_spec [lemma, in OrienRepr.OrienRepr]
xyzRPY_eq_zyxEULER.xyzEXTR_spec.p' [variable, in OrienRepr.OrienRepr]
xyzRPY_eq_zyxEULER.xyzEXTR_spec.p2 [variable, in OrienRepr.OrienRepr]
xyzRPY_eq_zyxEULER.xyzEXTR_spec.p1 [variable, in OrienRepr.OrienRepr]
xyzRPY_eq_zyxEULER.xyzEXTR_spec.angz [variable, in OrienRepr.OrienRepr]
xyzRPY_eq_zyxEULER.xyzEXTR_spec.angy [variable, in OrienRepr.OrienRepr]
xyzRPY_eq_zyxEULER.xyzEXTR_spec.angx [variable, in OrienRepr.OrienRepr]
xyzRPY_eq_zyxEULER.xyzEXTR_spec.p [variable, in OrienRepr.OrienRepr]
xyzRPY_eq_zyxEULER.xyzEXTR_spec [section, in OrienRepr.OrienRepr]
xyzRPY_eq_zyxEULER.xyzEXTR [definition, in OrienRepr.OrienRepr]
xyzRPY_eq_zyxEULER [module, in OrienRepr.OrienRepr]
other
_ \-1 (quat_scope) [notation, in OrienRepr.Quaternion]_ \* (quat_scope) [notation, in OrienRepr.Quaternion]
_ *s _ (quat_scope) [notation, in OrienRepr.Quaternion]
_ s* _ (quat_scope) [notation, in OrienRepr.Quaternion]
_ * _ (quat_scope) [notation, in OrienRepr.Quaternion]
_ - _ (quat_scope) [notation, in OrienRepr.Quaternion]
- _ (quat_scope) [notation, in OrienRepr.Quaternion]
_ + _ (quat_scope) [notation, in OrienRepr.Quaternion]
|| _ || (quat_scope) [notation, in OrienRepr.Quaternion]
_ .Im (quat_scope) [notation, in OrienRepr.Quaternion]
_ .Z (quat_scope) [notation, in OrienRepr.Quaternion]
_ .Y (quat_scope) [notation, in OrienRepr.Quaternion]
_ .X (quat_scope) [notation, in OrienRepr.Quaternion]
_ .W (quat_scope) [notation, in OrienRepr.Quaternion]
_ 'deg [notation, in OrienRepr.MathBase]
_ 'rad [notation, in OrienRepr.MathBase]
θ [abbreviation, in OrienRepr.Quaternion]
θ_eq0_iff_v01_vcross_eq0 [lemma, in OrienRepr.Quaternion]
θ_eq0_iff_v01_vcross_len0 [lemma, in OrienRepr.Quaternion]
θ_neq0_iff_sin_θ2_neq0 [lemma, in OrienRepr.Quaternion]
θ_eq0_iff_sin_θ2_eq0 [lemma, in OrienRepr.Quaternion]
θ2 [abbreviation, in OrienRepr.Quaternion]
ψ [abbreviation, in OrienRepr.Quaternion]
ψ2 [abbreviation, in OrienRepr.Quaternion]
ϕ [abbreviation, in OrienRepr.Quaternion]
ϕ2 [abbreviation, in OrienRepr.Quaternion]
Notation Index
other
_ \-1 (quat_scope) [in OrienRepr.Quaternion]_ \* (quat_scope) [in OrienRepr.Quaternion]
_ *s _ (quat_scope) [in OrienRepr.Quaternion]
_ s* _ (quat_scope) [in OrienRepr.Quaternion]
_ * _ (quat_scope) [in OrienRepr.Quaternion]
_ - _ (quat_scope) [in OrienRepr.Quaternion]
- _ (quat_scope) [in OrienRepr.Quaternion]
_ + _ (quat_scope) [in OrienRepr.Quaternion]
|| _ || (quat_scope) [in OrienRepr.Quaternion]
_ .Im (quat_scope) [in OrienRepr.Quaternion]
_ .Z (quat_scope) [in OrienRepr.Quaternion]
_ .Y (quat_scope) [in OrienRepr.Quaternion]
_ .X (quat_scope) [in OrienRepr.Quaternion]
_ .W (quat_scope) [in OrienRepr.Quaternion]
_ 'deg [in OrienRepr.MathBase]
_ 'rad [in OrienRepr.MathBase]
Module Index
R
R2Euler_B123.alg2 [in OrienRepr.EulerAngle]R2Euler_B123.alg1 [in OrienRepr.EulerAngle]
R2Euler_B123 [in OrienRepr.EulerAngle]
R2Euler_S123.alg3 [in OrienRepr.EulerAngle]
R2Euler_S123.alg2 [in OrienRepr.EulerAngle]
R2Euler_S123.alg1 [in OrienRepr.EulerAngle]
R2Euler_S123 [in OrienRepr.EulerAngle]
X
xyzRPY_eq_zyxEULER [in OrienRepr.OrienRepr]Variable Index
E
EulerAngle24_only_half.a3 [in OrienRepr.EulerAngle]EulerAngle24_only_half.a2 [in OrienRepr.EulerAngle]
EulerAngle24_only_half.a1 [in OrienRepr.EulerAngle]
EulerAngle24.θ1 [in OrienRepr.EulerAngle]
EulerAngle24.θ2 [in OrienRepr.EulerAngle]
EulerAngle24.θ3 [in OrienRepr.EulerAngle]
euler2quat.euler [in OrienRepr.Quaternion]
euler2quat.qx [in OrienRepr.Quaternion]
euler2quat.qy [in OrienRepr.Quaternion]
euler2quat.qz [in OrienRepr.Quaternion]
executability_for_symbol_derivation.A [in OrienRepr.OrienRepr]
executability_for_symbol_derivation.a33 [in OrienRepr.OrienRepr]
executability_for_symbol_derivation.a32 [in OrienRepr.OrienRepr]
executability_for_symbol_derivation.a31 [in OrienRepr.OrienRepr]
executability_for_symbol_derivation.a23 [in OrienRepr.OrienRepr]
executability_for_symbol_derivation.a22 [in OrienRepr.OrienRepr]
executability_for_symbol_derivation.a21 [in OrienRepr.OrienRepr]
executability_for_symbol_derivation.a13 [in OrienRepr.OrienRepr]
executability_for_symbol_derivation.a12 [in OrienRepr.OrienRepr]
executability_for_symbol_derivation.a11 [in OrienRepr.OrienRepr]
executability_for_symbol_derivation.ψ [in OrienRepr.OrienRepr]
executability_for_symbol_derivation.θ [in OrienRepr.OrienRepr]
executability_for_symbol_derivation.ϕ [in OrienRepr.OrienRepr]
Q
quat2euler.q [in OrienRepr.Quaternion]R
rotation_derivation.main_theorem_analysis.v' [in OrienRepr.Quaternion]rotation_derivation.main_theorem_analysis.v [in OrienRepr.Quaternion]
rotation_derivation.main_theorem_analysis.Hs1_gt0 [in OrienRepr.Quaternion]
rotation_derivation.main_theorem_analysis.Hs0_gt0 [in OrienRepr.Quaternion]
rotation_derivation.main_theorem_analysis.s2 [in OrienRepr.Quaternion]
rotation_derivation.main_theorem_analysis.s1 [in OrienRepr.Quaternion]
rotation_derivation.main_theorem_analysis.s0 [in OrienRepr.Quaternion]
rotation_derivation.v3 [in OrienRepr.Quaternion]
rotation_derivation.v2 [in OrienRepr.Quaternion]
rotation_derivation.q [in OrienRepr.Quaternion]
rotation_derivation.Hangle_v01_θ [in OrienRepr.Quaternion]
rotation_derivation.Hnorm_v01_n [in OrienRepr.Quaternion]
rotation_derivation.Hunit_v1 [in OrienRepr.Quaternion]
rotation_derivation.Hunit_v0 [in OrienRepr.Quaternion]
rotation_derivation.Hbound_θ [in OrienRepr.Quaternion]
rotation_derivation.v1 [in OrienRepr.Quaternion]
rotation_derivation.v0 [in OrienRepr.Quaternion]
rotation_derivation.n [in OrienRepr.Quaternion]
rotation_derivation.θ [in OrienRepr.Quaternion]
R2Euler_S123.alg3.sec.C [in OrienRepr.EulerAngle]
S
spec_OneFrame.b [in OrienRepr.Orien2D]spec_OneFrame.b_y [in OrienRepr.Orien2D]
spec_OneFrame.b_x [in OrienRepr.Orien2D]
spec_OneFrame.alpha [in OrienRepr.Orien2D]
spec_OneFrame.l [in OrienRepr.Orien2D]
spec_OneFrame.Hneq0 [in OrienRepr.Orien2D]
spec_TwoFrame.Hpb [in OrienRepr.Orien2D]
spec_TwoFrame.Hpw [in OrienRepr.Orien2D]
spec_TwoFrame.b [in OrienRepr.Orien2D]
spec_TwoFrame.w [in OrienRepr.Orien2D]
spec_TwoFrame.p [in OrienRepr.Orien2D]
spec_TwoFrame.Hyb' [in OrienRepr.Orien2D]
spec_TwoFrame.Hxb' [in OrienRepr.Orien2D]
spec_TwoFrame.theta [in OrienRepr.Orien2D]
spec_TwoFrame.xb'yb'_orth [in OrienRepr.Orien2D]
spec_TwoFrame.yb' [in OrienRepr.Orien2D]
spec_TwoFrame.xb' [in OrienRepr.Orien2D]
spec_TwoFrame.xw'yw'_orth [in OrienRepr.Orien2D]
spec_TwoFrame.yw' [in OrienRepr.Orien2D]
spec_TwoFrame.xw' [in OrienRepr.Orien2D]
X
xyzRPY_eq_zyxEULER.zyxINTR_spec.p'' [in OrienRepr.OrienRepr]xyzRPY_eq_zyxEULER.zyxINTR_spec.q2 [in OrienRepr.OrienRepr]
xyzRPY_eq_zyxEULER.zyxINTR_spec.q1 [in OrienRepr.OrienRepr]
xyzRPY_eq_zyxEULER.zyxINTR_spec.angz [in OrienRepr.OrienRepr]
xyzRPY_eq_zyxEULER.zyxINTR_spec.angy [in OrienRepr.OrienRepr]
xyzRPY_eq_zyxEULER.zyxINTR_spec.angx [in OrienRepr.OrienRepr]
xyzRPY_eq_zyxEULER.zyxINTR_spec.p [in OrienRepr.OrienRepr]
xyzRPY_eq_zyxEULER.xyzEXTR_spec.p' [in OrienRepr.OrienRepr]
xyzRPY_eq_zyxEULER.xyzEXTR_spec.p2 [in OrienRepr.OrienRepr]
xyzRPY_eq_zyxEULER.xyzEXTR_spec.p1 [in OrienRepr.OrienRepr]
xyzRPY_eq_zyxEULER.xyzEXTR_spec.angz [in OrienRepr.OrienRepr]
xyzRPY_eq_zyxEULER.xyzEXTR_spec.angy [in OrienRepr.OrienRepr]
xyzRPY_eq_zyxEULER.xyzEXTR_spec.angx [in OrienRepr.OrienRepr]
xyzRPY_eq_zyxEULER.xyzEXTR_spec.p [in OrienRepr.OrienRepr]
Library Index
A
AxisAngleE
EulerAngleM
MathBaseO
OrienReprOrien2D
Orien3D
Q
QuaternionQuaternionAdvanced
R
RotationMatrix3DLemma Index
A
aa2matM_SOnP [in OrienRepr.AxisAngle]aa2matM_det1 [in OrienRepr.AxisAngle]
aa2matM_orth [in OrienRepr.AxisAngle]
aa2matM_eq_aa2mat [in OrienRepr.AxisAngle]
aa2mat_eq_Rz [in OrienRepr.RotationMatrix3D]
aa2mat_eq_Ry [in OrienRepr.RotationMatrix3D]
aa2mat_eq_Rx [in OrienRepr.RotationMatrix3D]
aa2mat_mul_aa2mat_trans [in OrienRepr.AxisAngle]
aa2mat_neg_eq_trans [in OrienRepr.AxisAngle]
aa2mat_spec [in OrienRepr.AxisAngle]
aa2quat_quat2aa_id [in OrienRepr.Quaternion]
aa2quat_unit [in OrienRepr.Quaternion]
ab2q_eq [in OrienRepr.Quaternion]
ab2q_qunit [in OrienRepr.Quaternion]
ab2q_eq_ab2q' [in OrienRepr.Quaternion]
afterRot_spec [in OrienRepr.Orien2D]
B
beforeRot_spec [in OrienRepr.Orien2D]body4rot_spec [in OrienRepr.Orien2D]
body4rot_world4rot [in OrienRepr.Orien2D]
B121_eq_S121 [in OrienRepr.EulerAngle]
B121_spec [in OrienRepr.EulerAngle]
B123_eq_S321 [in OrienRepr.EulerAngle]
B123_Linear_spec [in OrienRepr.EulerAngle]
B123_SOnP [in OrienRepr.EulerAngle]
B123_spec [in OrienRepr.EulerAngle]
B131_eq_S131 [in OrienRepr.EulerAngle]
B131_spec [in OrienRepr.EulerAngle]
B132_eq_S231 [in OrienRepr.EulerAngle]
B132_spec [in OrienRepr.EulerAngle]
B212_eq_S212 [in OrienRepr.EulerAngle]
B212_spec [in OrienRepr.EulerAngle]
B213_eq_S312 [in OrienRepr.EulerAngle]
B213_spec [in OrienRepr.EulerAngle]
B231_eq_S132 [in OrienRepr.EulerAngle]
B231_spec [in OrienRepr.EulerAngle]
B232_eq_S232 [in OrienRepr.EulerAngle]
B232_spec [in OrienRepr.EulerAngle]
B312_eq_S213 [in OrienRepr.EulerAngle]
B312_spec [in OrienRepr.EulerAngle]
B313_eq_S313 [in OrienRepr.EulerAngle]
B313_spec [in OrienRepr.EulerAngle]
B321_eq_S123 [in OrienRepr.EulerAngle]
B321_spec [in OrienRepr.EulerAngle]
B323_eq_S323 [in OrienRepr.EulerAngle]
B323_spec [in OrienRepr.EulerAngle]
E
euler2quat_spec [in OrienRepr.Quaternion]euler2quat_eq [in OrienRepr.Quaternion]
H
HpbM [in OrienRepr.Orien2D]HpwM [in OrienRepr.Orien2D]
Hunit_n [in OrienRepr.Quaternion]
Hxb'Hyb' [in OrienRepr.Orien2D]
Hxw'Hyw' [in OrienRepr.Orien2D]
I
im2q_qunit [in OrienRepr.Quaternion]im2q_neq0_iff [in OrienRepr.Quaternion]
im2q_eq0_iff [in OrienRepr.Quaternion]
im2q_q2im [in OrienRepr.Quaternion]
M
m2q_spec [in OrienRepr.Quaternion]m2q_qunit [in OrienRepr.Quaternion]
O
orth_keep_cross_c1c2 [in OrienRepr.EulerAngle]P
p_b_w [in OrienRepr.Orien2D]p_w_b [in OrienRepr.Orien2D]
Q
qconj_qunit [in OrienRepr.Quaternion]qconj_qadd [in OrienRepr.Quaternion]
qconj_qscal [in OrienRepr.Quaternion]
qconj_qmul [in OrienRepr.Quaternion]
qconj_im2q [in OrienRepr.Quaternion]
qconj_qconj [in OrienRepr.Quaternion]
qdiv_spec [in OrienRepr.Quaternion]
qeq_if_W_Im [in OrienRepr.Quaternion]
qim_vunit_imply_qunit [in OrienRepr.Quaternion]
qinv_qscal [in OrienRepr.Quaternion]
qinv_qmul [in OrienRepr.Quaternion]
qinv_eq_qconj [in OrienRepr.Quaternion]
qlen_qmul_qconj_r [in OrienRepr.Quaternion]
qlen_qmul_qconj_l [in OrienRepr.Quaternion]
qlen_qconj [in OrienRepr.Quaternion]
qlen_qmul [in OrienRepr.Quaternion]
qlen_eq_iff_qlen2_eq [in OrienRepr.Quaternion]
qlen_neq0_iff [in OrienRepr.Quaternion]
qlen_eq0_iff [in OrienRepr.Quaternion]
qlen_ge0 [in OrienRepr.Quaternion]
qlen2_qscal [in OrienRepr.Quaternion]
qlen2_qmul [in OrienRepr.Quaternion]
qlen2_neq0_iff [in OrienRepr.Quaternion]
qlen2_eq0_iff [in OrienRepr.Quaternion]
qlen2_ge0 [in OrienRepr.Quaternion]
qmatL_qconj [in OrienRepr.Quaternion]
qmatL_spec2 [in OrienRepr.Quaternion]
qmatL_spec1 [in OrienRepr.Quaternion]
qmatR_qconj [in OrienRepr.Quaternion]
qmatR_spec2 [in OrienRepr.Quaternion]
qmatR_spec1 [in OrienRepr.Quaternion]
qmat_spec [in OrienRepr.Quaternion]
qmul_qL_qinv_qR_qinv_comm [in OrienRepr.Quaternion]
qmul_qR_qinv_qtrans_qL_comm [in OrienRepr.Quaternion]
qmul_qL_qinv_qtrans_qL_comm [in OrienRepr.Quaternion]
qmul_qL_qR_qinv_comm [in OrienRepr.Quaternion]
qmul_imply_solve_r [in OrienRepr.Quaternion]
qmul_imply_solve_l [in OrienRepr.Quaternion]
qmul_qinv_r [in OrienRepr.Quaternion]
qmul_qinv_l [in OrienRepr.Quaternion]
qmul_qconj_r_Im0 [in OrienRepr.Quaternion]
qmul_qconj_l_Im0 [in OrienRepr.Quaternion]
qmul_qconj_comm [in OrienRepr.Quaternion]
qmul_1_r [in OrienRepr.Quaternion]
qmul_1_l [in OrienRepr.Quaternion]
qmul_qscal_r [in OrienRepr.Quaternion]
qmul_qscal_l [in OrienRepr.Quaternion]
qmul_im2q_eq [in OrienRepr.Quaternion]
qmul_qadd_distr_r [in OrienRepr.Quaternion]
qmul_qadd_distr_l [in OrienRepr.Quaternion]
qmul_comm_fail [in OrienRepr.Quaternion]
qmul_assoc [in OrienRepr.Quaternion]
qmul_qunit [in OrienRepr.Quaternion]
qmul_spec [in OrienRepr.Quaternion]
qn_eq_nq [in OrienRepr.Quaternion]
qrotAxis_twice [in OrienRepr.Quaternion]
qrotAxis_qrot [in OrienRepr.Quaternion]
qrotvAxis_eq_qrotv [in OrienRepr.Quaternion]
qrot_qrotAxis [in OrienRepr.Quaternion]
qrot_twice_vec [in OrienRepr.Quaternion]
qrot_twice [in OrienRepr.Quaternion]
qrot_valid [in OrienRepr.Quaternion]
qrot_keep_vunit [in OrienRepr.Quaternion]
qrot_im2q_qunit [in OrienRepr.Quaternion]
qrot_im2q_vunit [in OrienRepr.Quaternion]
qrot_keep_vangle [in OrienRepr.Quaternion]
qrot_keep_vlen [in OrienRepr.Quaternion]
qrot_vnorm_comm [in OrienRepr.Quaternion]
qrot_keep_dot [in OrienRepr.Quaternion]
qrot_im2q_w0 [in OrienRepr.Quaternion]
qrot_keep_w [in OrienRepr.Quaternion]
qrot_linear_vscal [in OrienRepr.Quaternion]
qrot_linear_vadd [in OrienRepr.Quaternion]
qrot_spec1 [in OrienRepr.Quaternion]
qscal_eq_qmulc [in OrienRepr.Quaternion]
qscal_neq0_iff [in OrienRepr.Quaternion]
qscal_eq0_iff [in OrienRepr.Quaternion]
qscal_assoc [in OrienRepr.Quaternion]
qscal_1_l [in OrienRepr.Quaternion]
qsqr_im2q [in OrienRepr.Quaternion]
qsqr_s2q [in OrienRepr.Quaternion]
quat2aa_aa2quat_id [in OrienRepr.Quaternion]
quat2aa_unit [in OrienRepr.Quaternion]
qunit_qmul_qconj_r [in OrienRepr.Quaternion]
qunit_qmul_qconj_l [in OrienRepr.Quaternion]
qunit_neq0 [in OrienRepr.Quaternion]
qunit_imply_Im [in OrienRepr.Quaternion]
qunit_imply_W [in OrienRepr.Quaternion]
qunit_iff_qlen2_eq1 [in OrienRepr.Quaternion]
q_qunit [in OrienRepr.Quaternion]
q2im_im2q [in OrienRepr.Quaternion]
q2m_m2q_id [in OrienRepr.Quaternion]
q2m_spec [in OrienRepr.Quaternion]
q2m_eq [in OrienRepr.Quaternion]
R
rotaa_form1 [in OrienRepr.AxisAngle]rotaa_spec [in OrienRepr.AxisAngle]
rot_n_eq_n [in OrienRepr.Quaternion]
rot2_neg_eq_trans [in OrienRepr.Orien2D]
rot2_neg_eq_inv [in OrienRepr.Orien2D]
rot2_comm [in OrienRepr.Orien2D]
rot2_eq_add [in OrienRepr.Orien2D]
rot2_trans_mul_rot2 [in OrienRepr.Orien2D]
rot2_mul_rot2_trans [in OrienRepr.Orien2D]
rot2_inv_mul_rot2 [in OrienRepr.Orien2D]
rot2_mul_rot2_inv [in OrienRepr.Orien2D]
rot2_inv_eq_trans [in OrienRepr.Orien2D]
rot2_minvtble [in OrienRepr.Orien2D]
rot2_SOnP [in OrienRepr.Orien2D]
rot2_det1 [in OrienRepr.Orien2D]
rot2_orth [in OrienRepr.Orien2D]
Rx_mul_Rx_neg [in OrienRepr.RotationMatrix3D]
Rx_neg_mul_Rx [in OrienRepr.RotationMatrix3D]
Rx_neg_eq_trans [in OrienRepr.RotationMatrix3D]
Rx_inv_eq_trans [in OrienRepr.RotationMatrix3D]
Rx_SOnP [in OrienRepr.RotationMatrix3D]
Rx_det1 [in OrienRepr.RotationMatrix3D]
Rx_minvtble [in OrienRepr.RotationMatrix3D]
Rx_orth [in OrienRepr.RotationMatrix3D]
Rx_mmulv_eq_mvmul [in OrienRepr.Orien3D]
Rx_trans_spec [in OrienRepr.Orien3D]
Rx_neg_spec [in OrienRepr.Orien3D]
Rx_spec [in OrienRepr.Orien3D]
Ry_mul_Ry_neg [in OrienRepr.RotationMatrix3D]
Ry_neg_mul_Ry [in OrienRepr.RotationMatrix3D]
Ry_neg_eq_trans [in OrienRepr.RotationMatrix3D]
Ry_inv_eq_trans [in OrienRepr.RotationMatrix3D]
Ry_SOnP [in OrienRepr.RotationMatrix3D]
Ry_det1 [in OrienRepr.RotationMatrix3D]
Ry_minvtble [in OrienRepr.RotationMatrix3D]
Ry_orth [in OrienRepr.RotationMatrix3D]
Ry_mmulv_eq_mvmul [in OrienRepr.Orien3D]
Ry_trans_spec [in OrienRepr.Orien3D]
Ry_neg_spec [in OrienRepr.Orien3D]
Ry_spec [in OrienRepr.Orien3D]
Rz_mul_Rz_neg [in OrienRepr.RotationMatrix3D]
Rz_neg_mul_Rz [in OrienRepr.RotationMatrix3D]
Rz_neg_eq_trans [in OrienRepr.RotationMatrix3D]
Rz_inv_eq_trans [in OrienRepr.RotationMatrix3D]
Rz_SOnP [in OrienRepr.RotationMatrix3D]
Rz_det1 [in OrienRepr.RotationMatrix3D]
Rz_minvtble [in OrienRepr.RotationMatrix3D]
Rz_orth [in OrienRepr.RotationMatrix3D]
Rz_mmulv_eq_mvmul [in OrienRepr.Orien3D]
Rz_trans_spec [in OrienRepr.Orien3D]
Rz_neg_spec [in OrienRepr.Orien3D]
Rz_spec [in OrienRepr.Orien3D]
R2Euler_B123.alg2.alg_spec [in OrienRepr.EulerAngle]
R2Euler_B123.alg1.alg_spec [in OrienRepr.EulerAngle]
R2Euler_B123.B123_singularity_ψ [in OrienRepr.EulerAngle]
R2Euler_B123.B123_singularity_ψ_when_θ_eq_pi2_neg [in OrienRepr.EulerAngle]
R2Euler_B123.B123_singularity_ψ_when_θ_eq_pi2 [in OrienRepr.EulerAngle]
R2Euler_B123.B123_singularity_ϕ [in OrienRepr.EulerAngle]
R2Euler_B123.B123_singularity_ϕ_when_θ_eq_pi2_neg [in OrienRepr.EulerAngle]
R2Euler_B123.B123_singularity_ϕ_when_θ_eq_pi2 [in OrienRepr.EulerAngle]
R2Euler_B123.B123_θ_eq_pi2_neg [in OrienRepr.EulerAngle]
R2Euler_B123.B123_θ_eq_pi2 [in OrienRepr.EulerAngle]
R2Euler_S123.alg3.case3_opts_2_eq_mat1 [in OrienRepr.EulerAngle]
R2Euler_S123.alg3.case3_opts_1_eq_mat1 [in OrienRepr.EulerAngle]
R2Euler_S123.alg2.alg_spec [in OrienRepr.EulerAngle]
R2Euler_S123.alg1.alg_spec [in OrienRepr.EulerAngle]
R2Euler_S123.S123_singularity_ψ [in OrienRepr.EulerAngle]
R2Euler_S123.S123_singularity_ψ_when_θ_eq_pi2_neg [in OrienRepr.EulerAngle]
R2Euler_S123.S123_singularity_ψ_when_θ_eq_pi2 [in OrienRepr.EulerAngle]
R2Euler_S123.S123_singularity_ϕ [in OrienRepr.EulerAngle]
R2Euler_S123.S123_singularity_ϕ_when_θ_eq_pi2_neg [in OrienRepr.EulerAngle]
R2Euler_S123.S123_singularity_ϕ_when_θ_eq_pi2 [in OrienRepr.EulerAngle]
R2Euler_S123.S123_θ_eq_pi2_neg [in OrienRepr.EulerAngle]
R2Euler_S123.S123_θ_eq_pi2 [in OrienRepr.EulerAngle]
S
sin_θ2_gt0 [in OrienRepr.Quaternion]si2q_inj [in OrienRepr.Quaternion]
si2q_spec [in OrienRepr.Quaternion]
skewP2_eq [in OrienRepr.Orien2D]
skew2_vex2 [in OrienRepr.Orien2D]
skew2_spec [in OrienRepr.Orien2D]
SOn_keep_vangle2 [in OrienRepr.Orien2D]
SOn_keep_v2cross [in OrienRepr.Orien2D]
sqr_qlen [in OrienRepr.Quaternion]
S121_spec [in OrienRepr.EulerAngle]
S123_spec [in OrienRepr.EulerAngle]
S131_spec [in OrienRepr.EulerAngle]
S132_spec [in OrienRepr.EulerAngle]
s2q_spec [in OrienRepr.Quaternion]
S212_spec [in OrienRepr.EulerAngle]
S213_spec [in OrienRepr.EulerAngle]
S231_spec [in OrienRepr.EulerAngle]
S232_spec [in OrienRepr.EulerAngle]
S312_spec [in OrienRepr.EulerAngle]
S313_spec [in OrienRepr.EulerAngle]
S321_spec [in OrienRepr.EulerAngle]
S323_spec [in OrienRepr.EulerAngle]
V
vangle_vv' [in OrienRepr.Quaternion]vangle_add [in OrienRepr.Quaternion]
vangle_vadd [in OrienRepr.Quaternion]
vex2_skew2 [in OrienRepr.Orien2D]
vlen_vv' [in OrienRepr.Quaternion]
v0_orth_n [in OrienRepr.Quaternion]
v01_eq_q [in OrienRepr.Quaternion]
v02_angle_θ [in OrienRepr.Quaternion]
v1_orth_n [in OrienRepr.Quaternion]
v12_v01_same_angle [in OrienRepr.Quaternion]
v12_v01_keep_vcross [in OrienRepr.Quaternion]
v12_v01_keep_vdot [in OrienRepr.Quaternion]
v12_eq_q [in OrienRepr.Quaternion]
v123_coplanar [in OrienRepr.Quaternion]
v13_angle_θ [in OrienRepr.Quaternion]
v2aa_spec [in OrienRepr.AxisAngle]
v2_orth_n [in OrienRepr.Quaternion]
v2_vunit [in OrienRepr.Quaternion]
v23_v12_same_angle [in OrienRepr.Quaternion]
v23_v12_keep_vcross [in OrienRepr.Quaternion]
v23_v12_keep_vdot [in OrienRepr.Quaternion]
v23_eq_q [in OrienRepr.Quaternion]
v3_orth_n [in OrienRepr.Quaternion]
v3_vunit [in OrienRepr.Quaternion]
W
world4rot_spec [in OrienRepr.Orien2D]world4rot_anyOrder [in OrienRepr.Orien2D]
world4rot_twice [in OrienRepr.Orien2D]
world4rot_neg_eq_body4rot [in OrienRepr.Orien2D]
world4rot_body4rot [in OrienRepr.Orien2D]
X
xyzRPY_eq_zyxEULER.xyzEXTR_eq_zyxINTR [in OrienRepr.OrienRepr]xyzRPY_eq_zyxEULER.zyxINTR_spec [in OrienRepr.OrienRepr]
xyzRPY_eq_zyxEULER.q2_eq [in OrienRepr.OrienRepr]
xyzRPY_eq_zyxEULER.xyzEXTR_spec [in OrienRepr.OrienRepr]
other
θ_eq0_iff_v01_vcross_eq0 [in OrienRepr.Quaternion]θ_eq0_iff_v01_vcross_len0 [in OrienRepr.Quaternion]
θ_neq0_iff_sin_θ2_neq0 [in OrienRepr.Quaternion]
θ_eq0_iff_sin_θ2_eq0 [in OrienRepr.Quaternion]
Axiom Index
Q
qexp [in OrienRepr.QuaternionAdvanced]qexp_qlog [in OrienRepr.QuaternionAdvanced]
qlog [in OrienRepr.QuaternionAdvanced]
Constructor Index
D
Degree [in OrienRepr.MathBase]R
Radian [in OrienRepr.MathBase]Projection Index
A
aaAngle [in OrienRepr.AxisAngle]aaAxis [in OrienRepr.AxisAngle]
angle_degree [in OrienRepr.MathBase]
angle_radian [in OrienRepr.MathBase]
Inductive Index
A
AngleKind [in OrienRepr.MathBase]Section Index
E
EulerAngle24 [in OrienRepr.EulerAngle]EulerAngle24_only_half [in OrienRepr.EulerAngle]
EulerAngle24.LinearizationCondition_at_Zero [in OrienRepr.EulerAngle]
EulerAngle24.verify_orth_keep_cross [in OrienRepr.EulerAngle]
euler2quat [in OrienRepr.Quaternion]
executability_for_symbol_derivation [in OrienRepr.OrienRepr]
Q
qdot [in OrienRepr.QuaternionAdvanced]qexp [in OrienRepr.QuaternionAdvanced]
qlog [in OrienRepr.QuaternionAdvanced]
qpower [in OrienRepr.QuaternionAdvanced]
qrotAxis [in OrienRepr.Quaternion]
qrot_spec_method3 [in OrienRepr.Quaternion]
qslerp [in OrienRepr.QuaternionAdvanced]
quat2euler [in OrienRepr.Quaternion]
R
rotation_derivation.main_theorem_analysis [in OrienRepr.Quaternion]rotation_derivation.about_θ [in OrienRepr.Quaternion]
rotation_derivation [in OrienRepr.Quaternion]
R2Euler_B123.singularity [in OrienRepr.EulerAngle]
R2Euler_S123.alg3.sec [in OrienRepr.EulerAngle]
R2Euler_S123.singularity [in OrienRepr.EulerAngle]
S
spec_OneFrame [in OrienRepr.Orien2D]spec_TwoFrame [in OrienRepr.Orien2D]
T
test [in OrienRepr.MathBase]X
xyzRPY_eq_zyxEULER.zyxINTR_spec [in OrienRepr.OrienRepr]xyzRPY_eq_zyxEULER.xyzEXTR_spec [in OrienRepr.OrienRepr]
Abbreviation Index
C
c1 [in OrienRepr.EulerAngle]c2 [in OrienRepr.EulerAngle]
c3 [in OrienRepr.EulerAngle]
cθ2 [in OrienRepr.Quaternion]
cψ2 [in OrienRepr.Quaternion]
cϕ2 [in OrienRepr.Quaternion]
Q
q0 [in OrienRepr.Quaternion]q1 [in OrienRepr.Quaternion]
q2 [in OrienRepr.Quaternion]
q3 [in OrienRepr.Quaternion]
S
s1 [in OrienRepr.EulerAngle]s2 [in OrienRepr.EulerAngle]
s3 [in OrienRepr.EulerAngle]
sθ2 [in OrienRepr.Quaternion]
sψ2 [in OrienRepr.Quaternion]
sϕ2 [in OrienRepr.Quaternion]
other
θ [in OrienRepr.Quaternion]θ2 [in OrienRepr.Quaternion]
ψ [in OrienRepr.Quaternion]
ψ2 [in OrienRepr.Quaternion]
ϕ [in OrienRepr.Quaternion]
ϕ2 [in OrienRepr.Quaternion]
Definition Index
A
aa2mat [in OrienRepr.AxisAngle]aa2matM [in OrienRepr.AxisAngle]
aa2matM_SO3 [in OrienRepr.AxisAngle]
aa2quat [in OrienRepr.Quaternion]
aa2v [in OrienRepr.AxisAngle]
ab2q [in OrienRepr.Quaternion]
ab2q' [in OrienRepr.Quaternion]
afterRot [in OrienRepr.Orien2D]
AngleKind_sind [in OrienRepr.MathBase]
AngleKind_rec [in OrienRepr.MathBase]
AngleKind_ind [in OrienRepr.MathBase]
AngleKind_rect [in OrienRepr.MathBase]
a2e [in OrienRepr.OrienRepr]
a2m [in OrienRepr.OrienRepr]
a2m' [in OrienRepr.OrienRepr]
a2q [in OrienRepr.OrienRepr]
B
beforeRot [in OrienRepr.Orien2D]body4rot [in OrienRepr.Orien2D]
B121 [in OrienRepr.EulerAngle]
B123 [in OrienRepr.EulerAngle]
B123_Linear [in OrienRepr.EulerAngle]
B131 [in OrienRepr.EulerAngle]
B132 [in OrienRepr.EulerAngle]
B212 [in OrienRepr.EulerAngle]
B213 [in OrienRepr.EulerAngle]
B231 [in OrienRepr.EulerAngle]
B232 [in OrienRepr.EulerAngle]
B312 [in OrienRepr.EulerAngle]
B313 [in OrienRepr.EulerAngle]
B321 [in OrienRepr.EulerAngle]
B323 [in OrienRepr.EulerAngle]
D
deg2rad [in OrienRepr.MathBase]E
euler2quat [in OrienRepr.Quaternion]e2m [in OrienRepr.OrienRepr]
e2q [in OrienRepr.OrienRepr]
I
im2q [in OrienRepr.Quaternion]L
LinearizationCondition [in OrienRepr.EulerAngle]M
mk_angle_rad [in OrienRepr.MathBase]mk_angle_deg [in OrienRepr.MathBase]
m2e [in OrienRepr.OrienRepr]
m2q [in OrienRepr.Quaternion]
Q
qadd [in OrienRepr.Quaternion]qconj [in OrienRepr.Quaternion]
qdiv [in OrienRepr.Quaternion]
qdot [in OrienRepr.QuaternionAdvanced]
qinv [in OrienRepr.Quaternion]
qlen [in OrienRepr.Quaternion]
qlen2 [in OrienRepr.Quaternion]
qmat [in OrienRepr.Quaternion]
qmatL [in OrienRepr.Quaternion]
qmatR [in OrienRepr.Quaternion]
qmul [in OrienRepr.Quaternion]
qmulc [in OrienRepr.Quaternion]
qone [in OrienRepr.Quaternion]
qoneNeg [in OrienRepr.Quaternion]
qopp [in OrienRepr.Quaternion]
qpower [in OrienRepr.QuaternionAdvanced]
qpower' [in OrienRepr.QuaternionAdvanced]
qrot [in OrienRepr.Quaternion]
qrotAxis [in OrienRepr.Quaternion]
qrotv [in OrienRepr.Quaternion]
qrotvAxis [in OrienRepr.Quaternion]
qscal [in OrienRepr.Quaternion]
qslerp [in OrienRepr.QuaternionAdvanced]
qslerp_parameter [in OrienRepr.QuaternionAdvanced]
qslerp_cosOmega [in OrienRepr.QuaternionAdvanced]
qsub [in OrienRepr.Quaternion]
quat [in OrienRepr.Quaternion]
quat2aa [in OrienRepr.Quaternion]
quat2euler [in OrienRepr.Quaternion]
qunit [in OrienRepr.Quaternion]
qzero [in OrienRepr.Quaternion]
q2a [in OrienRepr.OrienRepr]
q2e [in OrienRepr.OrienRepr]
q2im [in OrienRepr.Quaternion]
q2m [in OrienRepr.Quaternion]
R
rad2deg [in OrienRepr.MathBase]rotaa [in OrienRepr.OrienRepr]
rotaa [in OrienRepr.AxisAngle]
rotByM [in OrienRepr.OrienRepr]
rotByQ [in OrienRepr.OrienRepr]
rotx [in OrienRepr.OrienRepr]
roty [in OrienRepr.OrienRepr]
rotz [in OrienRepr.OrienRepr]
rot2 [in OrienRepr.Orien2D]
rot2ByQ [in OrienRepr.OrienRepr]
rot2_SO2 [in OrienRepr.Orien2D]
Rsign [in OrienRepr.Quaternion]
Rx [in OrienRepr.RotationMatrix3D]
Rx_SO3 [in OrienRepr.RotationMatrix3D]
Ry [in OrienRepr.RotationMatrix3D]
Ry_SO3 [in OrienRepr.RotationMatrix3D]
Rz [in OrienRepr.RotationMatrix3D]
Rz_SO3 [in OrienRepr.RotationMatrix3D]
R2Euler_B123.alg2.ψ' [in OrienRepr.EulerAngle]
R2Euler_B123.alg2.θ' [in OrienRepr.EulerAngle]
R2Euler_B123.alg2.ϕ' [in OrienRepr.EulerAngle]
R2Euler_B123.alg1.ψ' [in OrienRepr.EulerAngle]
R2Euler_B123.alg1.θ' [in OrienRepr.EulerAngle]
R2Euler_B123.alg1.ϕ' [in OrienRepr.EulerAngle]
R2Euler_S123.alg3.euler_angles [in OrienRepr.EulerAngle]
R2Euler_S123.alg3.case3_values [in OrienRepr.EulerAngle]
R2Euler_S123.alg3.case3_cond [in OrienRepr.EulerAngle]
R2Euler_S123.alg3.case2_values [in OrienRepr.EulerAngle]
R2Euler_S123.alg3.find_best [in OrienRepr.EulerAngle]
R2Euler_S123.alg3.case2_params [in OrienRepr.EulerAngle]
R2Euler_S123.alg3.case1_values [in OrienRepr.EulerAngle]
R2Euler_S123.alg3.case1_cond [in OrienRepr.EulerAngle]
R2Euler_S123.alg3.Rsign [in OrienRepr.EulerAngle]
R2Euler_S123.alg2.ψ' [in OrienRepr.EulerAngle]
R2Euler_S123.alg2.θ' [in OrienRepr.EulerAngle]
R2Euler_S123.alg2.ϕ' [in OrienRepr.EulerAngle]
R2Euler_S123.alg1.ψ' [in OrienRepr.EulerAngle]
R2Euler_S123.alg1.θ' [in OrienRepr.EulerAngle]
R2Euler_S123.alg1.ϕ' [in OrienRepr.EulerAngle]
S
si2q [in OrienRepr.Quaternion]skew2 [in OrienRepr.Orien2D]
S121 [in OrienRepr.EulerAngle]
S123 [in OrienRepr.EulerAngle]
S131 [in OrienRepr.EulerAngle]
S132 [in OrienRepr.EulerAngle]
s2q [in OrienRepr.Quaternion]
S212 [in OrienRepr.EulerAngle]
S213 [in OrienRepr.EulerAngle]
S231 [in OrienRepr.EulerAngle]
S232 [in OrienRepr.EulerAngle]
S312 [in OrienRepr.EulerAngle]
S313 [in OrienRepr.EulerAngle]
S321 [in OrienRepr.EulerAngle]
S323 [in OrienRepr.EulerAngle]
U
Unnamed_thm [in OrienRepr.OrienRepr]Unnamed_thm [in OrienRepr.MathBase]
V
vex2 [in OrienRepr.Orien2D]v2aa [in OrienRepr.AxisAngle]
W
world4rot [in OrienRepr.Orien2D]X
xyzRPY_eq_zyxEULER.zyxINTR [in OrienRepr.OrienRepr]xyzRPY_eq_zyxEULER.xyzEXTR [in OrienRepr.OrienRepr]
Record Index
A
angle [in OrienRepr.MathBase]AxisAngle [in OrienRepr.AxisAngle]
| Global Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (595 entries) |
| Notation Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (16 entries) |
| Module Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (8 entries) |
| Variable Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (78 entries) |
| Library Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (9 entries) |
| Lemma Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (288 entries) |
| Axiom Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (3 entries) |
| Constructor Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (2 entries) |
| Projection Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (4 entries) |
| Inductive Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (1 entry) |
| Section Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (25 entries) |
| Abbreviation Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (22 entries) |
| Definition Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (137 entries) |
| Record Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (2 entries) |