float : float;
specialization: __syn_smv___e1_e2_e3_ni_nof_1_0(e1, e2, e3, ni, no = -1.0);
float : float;
specialization: __syn_smv___scalar_noe1_noe2_e1e2_noe3_e1e3_e2e3_noni_e1ni_e2ni_e3ni(1.0, no^e1, no^e2, e1^e2, no^e3, e1^e3, e2^e3, no^ni, e1^ni, e2^ni, e3^ni);
float : float;
specialization: __syn_smv___scalar_noe1_noe2_noe3_noni(1.0, no^e1, no^e2, no^e3, no^ni);
float : float;
specialization: __syn_smv___no_e1_e2_noe1e2_e3_noe1e3_noe2e3_ni_noe1ni_noe2ni_noe3ni(no, e1, e2, no^e1^e2, e3, no^e1^e3, no^e2^e3, ni, no^e1^ni, no^e2^ni, no^e3^ni);
float : float;
specialization: __syn_smv___scalar_noe1_e1e2_e1e3_e1ni(1.0, no^e1, e1^e2, e1^e3, e1^ni);
float : float;
specialization: __syn_smv___no_e1_e2_noe1e2_e3_noe1e3_e1e2e3_ni_noe1ni_e1e2ni_e1e3ni(no, e1, e2, no^e1^e2, e3, no^e1^e3, e1^e2^e3, ni, no^e1^ni, e1^e2^ni, e1^e3^ni);
float : float;
specialization: __syn_smv___scalar_noe2_e1e2_e2e3_e2ni(1.0, no^e2, e1^e2, e2^e3, e2^ni);
float : float;
specialization: __syn_smv___no_e1_e2_noe1e2_e3_noe2e3_e1e2e3_ni_noe2ni_e1e2ni_e2e3ni(no, e1, e2, no^e1^e2, e3, no^e2^e3, e1^e2^e3, ni, no^e2^ni, e1^e2^ni, e2^e3^ni);
float : float;
specialization: __syn_smv___scalar_noe3_e1e3_e2e3_e3ni(1.0, no^e3, e1^e3, e2^e3, e3^ni);
float : float;
specialization: __syn_smv___no_e1_e2_e3_noe1e3_noe2e3_e1e2e3_ni_noe3ni_e1e3ni_e2e3ni(no, e1, e2, e3, no^e1^e3, no^e2^e3, e1^e2^e3, ni, no^e3^ni, e1^e3^ni, e2^e3^ni);
float : float;
specialization: __syn_smv___scalar_noni_e1ni_e2ni_e3ni(1.0, no^ni, e1^ni, e2^ni, e3^ni);
float : float;
specialization: __syn_smv___no_e1_e2_e3_ni_noe1ni_noe2ni_e1e2ni_noe3ni_e1e3ni_e2e3ni(no, e1, e2, e3, ni, no^e1^ni, no^e2^ni, e1^e2^ni, no^e3^ni, e1^e3^ni, e2^e3^ni);
float : float;
specialization: __syn_smv___e1ni_e2ni_e3ni_nonif_1_0(e1^ni, e2^ni, e3^ni, no^ni = -1.0);
float : float;
specialization: __syn_smv___scalarf_1_0(1.0 = -1.0);
float : float;
specialization: __syn_smv___nif_1_0(ni = -1.0);
float : float;
specialization: __syn_smv___nif1_0(ni = 1.0);
float : float;
specialization: __syn_smv___noe1e2ni_noe1e3ni_noe2e3ni_e1e2e3ni_noe1e2e3f1_0(no^e1^e2^ni, no^e1^e3^ni, no^e2^e3^ni, e1^e2^e3^ni, no^e1^e2^e3 = 1.0);
float : float;
specialization: __syn_smv___noe1_noe2_e1e2_noe3_e1e3_e2e3_noe1e2ni_noe1e3ni_noe2e3ni(no^e1, no^e2, e1^e2, no^e3, e1^e3, e2^e3, no^e1^e2^ni, no^e1^e3^ni, no^e2^e3^ni);
float : float;
specialization: __syn_smv___no_e1_e2_noe1e2_e3_noe1e3_noe2e3_e1e2e3_ni_noe1ni_noe2ni_e1e2ni_noe3ni_e1e3ni_e2e3ni_noe1e2e3ni(no, e1, e2, no^e1^e2, e3, no^e1^e3, no^e2^e3, e1^e2^e3, ni, no^e1^ni, no^e2^ni, e1^e2^ni, no^e3^ni, e1^e3^ni, e2^e3^ni, no^e1^e2^e3^ni);
float : float;
specialization: __syn_smv___noni_e2ni_noe1e2ni_e3ni_noe1e3ni_e1e2e3ni(no^ni, e2^ni, no^e1^e2^ni, e3^ni, no^e1^e3^ni, e1^e2^e3^ni);
float : float;
specialization: __syn_smv___e1_e2_e3_e1e2e3_ni_e1e2ni_e1e3ni_e2e3ni(e1, e2, e3, e1^e2^e3, ni, e1^e2^ni, e1^e3^ni, e2^e3^ni);
float : float;
specialization: __syn_smv___noni_e1ni_noe1e2ni_e3ni_noe2e3ni_e1e2e3ni(no^ni, e1^ni, no^e1^e2^ni, e3^ni, no^e2^e3^ni, e1^e2^e3^ni);
float : float;
specialization: __syn_smv___noni_e1ni_e2ni_noe1e3ni_noe2e3ni_e1e2e3ni(no^ni, e1^ni, e2^ni, no^e1^e3^ni, no^e2^e3^ni, e1^e2^e3^ni);
float : float;
specialization: __syn_smv___ni_e1e2ni_e1e3ni_e2e3ni(ni, e1^e2^ni, e1^e3^ni, e2^e3^ni);
float : float;
specialization: __syn_smv___scalarf0_0(1.0 = 0.0);
float : float;
specialization: __syn_smv___noe1_noe2_e1e2_noe3_e1e3_e2e3_noe1e2e3_noe1e2ni_noe1e3ni_noe2e3ni(no^e1, no^e2, e1^e2, no^e3, e1^e3, e2^e3, no^e1^e2^e3, no^e1^e2^ni, no^e1^e3^ni, no^e2^e3^ni);
float : float;
specialization: __syn_smv___noe2_noe3_e2e3_noe1e2e3_noni_e2ni_noe1e2ni_e3ni_noe1e3ni_e1e2e3ni(no^e2, no^e3, e2^e3, no^e1^e2^e3, no^ni, e2^ni, no^e1^e2^ni, e3^ni, no^e1^e3^ni, e1^e2^e3^ni);
float : float;
specialization: __syn_smv___noe1_noe3_e1e3_noe1e2e3_noni_e1ni_noe1e2ni_e3ni_noe2e3ni_e1e2e3ni(no^e1, no^e3, e1^e3, no^e1^e2^e3, no^ni, e1^ni, no^e1^e2^ni, e3^ni, no^e2^e3^ni, e1^e2^e3^ni);
float : float;
specialization: __syn_smv___noe1_noe2_e1e2_noe1e2e3_noni_e1ni_e2ni_noe1e3ni_noe2e3ni_e1e2e3ni(no^e1, no^e2, e1^e2, no^e1^e2^e3, no^ni, e1^ni, e2^ni, no^e1^e3^ni, no^e2^e3^ni, e1^e2^e3^ni);
float : float;
specialization: __syn_smv___e1e2_e1e3_e2e3_e1ni_e2ni_noe1e2ni_e3ni_noe1e3ni_noe2e3ni_e1e2e3ni(e1^e2, e1^e3, e2^e3, e1^ni, e2^ni, no^e1^e2^ni, e3^ni, no^e1^e3^ni, no^e2^e3^ni, e1^e2^e3^ni);
float : float;
specialization: __syn_smv___noe1_noe2_e1e2_noe3_e1e3_e2e3_noni_e1ni_e2ni_noe1e2ni_e3ni_noe1e3ni_noe2e3ni_e1e2e3ni(no^e1, no^e2, e1^e2, no^e3, e1^e3, e2^e3, no^ni, e1^ni, e2^ni, no^e1^e2^ni, e3^ni, no^e1^e3^ni, no^e2^e3^ni, e1^e2^e3^ni);
float : float;
specialization: __syn_smv___scalar_noe1_noe2_e1e2_noe3_e1e3_e2e3_noe1e2e3_noni_noe1e2ni_noe1e3ni_noe2e3ni(1.0, no^e1, no^e2, e1^e2, no^e3, e1^e3, e2^e3, no^e1^e2^e3, no^ni, no^e1^e2^ni, no^e1^e3^ni, no^e2^e3^ni);
float : float;
specialization: __syn_smv___noni_e1ni_e2ni_noe1e2ni_e3ni_noe1e3ni_noe2e3ni_e1e2e3ni(no^ni, e1^ni, e2^ni, no^e1^e2^ni, e3^ni, no^e1^e3^ni, no^e2^e3^ni, e1^e2^e3^ni);
float : float;
specialization: __syn_smv___noe1_noe2_e1e2_noe3_e1e3_e2e3_noe1e2e3_noni_e1ni_e2ni_noe1e2ni_e3ni_noe1e3ni_noe2e3ni_e1e2e3ni(no^e1, no^e2, e1^e2, no^e3, e1^e3, e2^e3, no^e1^e2^e3, no^ni, e1^ni, e2^ni, no^e1^e2^ni, e3^ni, no^e1^e3^ni, no^e2^e3^ni, e1^e2^e3^ni);
float : float;
specialization: __syn_smv___scalar_e1e2_e1e3_e2e3_e1ni_e2ni_e3ni(1.0, e1^e2, e1^e3, e2^e3, e1^ni, e2^ni, e3^ni);
float : float;
specialization: __syn_smv___nof_1_0(no = -1.0);
float : float;
specialization: __syn_smv___e1_e2_e3_e1e2e3(e1, e2, e3, e1^e2^e3);
float : float;
specialization: __syn_smv___e1ni_e2ni_e3ni_e1e2e3ni(e1^ni, e2^ni, e3^ni, e1^e2^e3^ni);
float : float;
specialization: __syn_smv___e1e2_e1e3_e2e3_e1ni_e2ni_e3ni_e1e2e3ni(e1^e2, e1^e3, e2^e3, e1^ni, e2^ni, e3^ni, e1^e2^e3^ni);
float : float;
specialization: __syn_smv___noe1e2_noe1e3_noe2e3_e1e2e3_noe1e2e3ni(no^e1^e2, no^e1^e3, no^e2^e3, e1^e2^e3, no^e1^e2^e3^ni);
float : float;
specialization: __syn_smv___noe2e3_noe2ni_noe3ni_e2e3ni_noe1e2e3ni(no^e2^e3, no^e2^ni, no^e3^ni, e2^e3^ni, no^e1^e2^e3^ni);
float : float;
specialization: __syn_smv___noe1e3_noe1ni_noe3ni_e1e3ni_noe1e2e3ni(no^e1^e3, no^e1^ni, no^e3^ni, e1^e3^ni, no^e1^e2^e3^ni);
float : float;
specialization: __syn_smv___noe1e2_noe1ni_noe2ni_e1e2ni_noe1e2e3ni(no^e1^e2, no^e1^ni, no^e2^ni, e1^e2^ni, no^e1^e2^e3^ni);
float : float;
specialization: __syn_smv___e1e2e3_e1e2ni_e1e3ni_e2e3ni_noe1e2e3ni(e1^e2^e3, e1^e2^ni, e1^e3^ni, e2^e3^ni, no^e1^e2^e3^ni);
float : float;
specialization: __syn_smv___noe1e2e3ni(no^e1^e2^e3^ni);
float : float;
specialization: __syn_smv___e1e2e3_e1e2ni_e1e3ni_e2e3ni(e1^e2^e3, e1^e2^ni, e1^e3^ni, e2^e3^ni);
float : float;
specialization: __syn_smv___e1e2e3(e1^e2^e3);
float : float;
specialization: __syn_smv___e1e3_e2e3(e1^e3, e2^e3);
float : float;
specialization: __syn_smv___scalarf1_0(1.0 = 1.0);
float : float;
specialization: __syn_smv___ni_nof1_0(ni, no = 1.0);
float : float;
specialization: __syn_smv___e1_e2_e3_nof1_0(e1, e2, e3, no = 1.0);
float : float;
specialization: __syn_smv___e1_e2_e3_ni_nof2_0(e1, e2, e3, ni, no = 2.0);
float : float;
specialization: __syn_smv___e1_e2_e3_ni_noe1ni_noe2ni_e1e2ni_noe3ni_e1e3ni_e2e3ni_nof1_0(e1, e2, e3, ni, no^e1^ni, no^e2^ni, e1^e2^ni, no^e3^ni, e1^e3^ni, e2^e3^ni, no = 1.0);
float : float;
specialization: __syn_smv___scalar_e1e2(1.0, e1^e2);
float : float;
specialization: __syn_smv___scalar_e1e3_e2e3(1.0, e1^e3, e2^e3);
float : float;
specialization: __syn_smv___e1e2f1_0(e1^e2 = 1.0);
float : float;
specialization: __syn_smv___e1e2nif1_0(e1^e2^ni = 1.0);
float : float;
specialization: __syn_smv___noe1e2f1_0(no^e1^e2 = 1.0);
float : float;
specialization: __syn_smv___noe1e2f1_0_e1e2nif1_0(no^e1^e2 = 1.0, e1^e2^ni = 1.0);
float : float;
specialization: __syn_smv___e1e2_e1e3_e2e3_noe1e2e3_e1ni_e2ni_noe1e2ni_e3ni_noe1e3ni_noe2e3ni(e1^e2, e1^e3, e2^e3, no^e1^e2^e3, e1^ni, e2^ni, no^e1^e2^ni, e3^ni, no^e1^e3^ni, no^e2^e3^ni);
float : float;
specialization: __syn_smv___noe1_noe2_e1e2_noe3_e1e3_e2e3_noe1e2ni_noe1e3ni_noe2e3ni_e1e2e3ni(no^e1, no^e2, e1^e2, no^e3, e1^e3, e2^e3, no^e1^e2^ni, no^e1^e3^ni, no^e2^e3^ni, e1^e2^e3^ni);
float : float;
specialization: __syn_smv___nof1_0(no = 1.0);
float : float;
specialization: __syn_smv___noe1(no^e1);
float : float;
specialization: __syn_smv___noe2(no^e2);
float : float;
specialization: __syn_smv___noe3(no^e3);
float : float;
specialization: __syn_smv___nonif_1_0(no^ni = -1.0);
float : float;
specialization: __syn_smv___no_e1_e2_noe1e2_e3_noe1e3_noe2e3_e1e2e3_ni_noe1ni_noe2ni_e1e2ni_noe3ni_e1e3ni_e2e3ni(no, e1, e2, no^e1^e2, e3, no^e1^e3, no^e2^e3, e1^e2^e3, ni, no^e1^ni, no^e2^ni, e1^e2^ni, no^e3^ni, e1^e3^ni, e2^e3^ni);
float : float;
specialization: __syn_smv___no_e1_e2_noe1e2_e3_noe1e3_noe2e3_noe1ni_noe2ni_noe3ni(no, e1, e2, no^e1^e2, e3, no^e1^e3, no^e2^e3, no^e1^ni, no^e2^ni, no^e3^ni);
float : float;
specialization: __syn_smv___no_e2_noe1e2_e3_noe1e3_e1e2e3_ni_noe1ni_e1e2ni_e1e3ni(no, e2, no^e1^e2, e3, no^e1^e3, e1^e2^e3, ni, no^e1^ni, e1^e2^ni, e1^e3^ni);
float : float;
specialization: __syn_smv___no_e1_noe1e2_e3_noe2e3_e1e2e3_ni_noe2ni_e1e2ni_e2e3ni(no, e1, no^e1^e2, e3, no^e2^e3, e1^e2^e3, ni, no^e2^ni, e1^e2^ni, e2^e3^ni);
float : float;
specialization: __syn_smv___no_e1_e2_noe1e3_noe2e3_e1e2e3_ni_noe3ni_e1e3ni_e2e3ni(no, e1, e2, no^e1^e3, no^e2^e3, e1^e2^e3, ni, no^e3^ni, e1^e3^ni, e2^e3^ni);
float : float;
specialization: __syn_smv___e1_e2_e3_ni_noe1ni_noe2ni_e1e2ni_noe3ni_e1e3ni_e2e3ni(e1, e2, e3, ni, no^e1^ni, no^e2^ni, e1^e2^ni, no^e3^ni, e1^e3^ni, e2^e3^ni);
float : float;
specialization: __syn_smv___e1_e2_noe1e2_e3_noe1e3_noe2e3_ni_noe1ni_noe2ni_noe3ni(e1, e2, no^e1^e2, e3, no^e1^e3, no^e2^e3, ni, no^e1^ni, no^e2^ni, no^e3^ni);
float : float;
specialization: __syn_smv___no_e1_e2_e3_noe1ni_noe2ni_e1e2ni_noe3ni_e1e3ni_e2e3ni(no, e1, e2, e3, no^e1^ni, no^e2^ni, e1^e2^ni, no^e3^ni, e1^e3^ni, e2^e3^ni);
float : float;
specialization: __syn_smv___scalar_noe1_noe2_noe3_noni_e1ni_e2ni_noe1e2ni_e3ni_noe1e3ni_noe2e3ni(1.0, no^e1, no^e2, no^e3, no^ni, e1^ni, e2^ni, no^e1^e2^ni, e3^ni, no^e1^e3^ni, no^e2^e3^ni);
float : float;
specialization: __syn_smv___scalar_noe1_e1e2_e1e3_noni_e1ni_e2ni_noe1e2ni_e3ni_noe1e3ni_e1e2e3ni(1.0, no^e1, e1^e2, e1^e3, no^ni, e1^ni, e2^ni, no^e1^e2^ni, e3^ni, no^e1^e3^ni, e1^e2^e3^ni);
float : float;
specialization: __syn_smv___scalar_noe2_e1e2_e2e3_noni_e1ni_e2ni_noe1e2ni_e3ni_noe2e3ni_e1e2e3ni(1.0, no^e2, e1^e2, e2^e3, no^ni, e1^ni, e2^ni, no^e1^e2^ni, e3^ni, no^e2^e3^ni, e1^e2^e3^ni);
float : float;
specialization: __syn_smv___scalar_noe3_e1e3_e2e3_noni_e1ni_e2ni_e3ni_noe1e3ni_noe2e3ni_e1e2e3ni(1.0, no^e3, e1^e3, e2^e3, no^ni, e1^ni, e2^ni, e3^ni, no^e1^e3^ni, no^e2^e3^ni, e1^e2^e3^ni);
float : float;
specialization: __syn_smv___scalar_noe1_noe2_e1e2_noe3_e1e3_e2e3_noni_e1ni_e2ni_noe1e2ni_e3ni_noe1e3ni_noe2e3ni_e1e2e3ni(1.0, no^e1, no^e2, e1^e2, no^e3, e1^e3, e2^e3, no^ni, e1^ni, e2^ni, no^e1^e2^ni, e3^ni, no^e1^e3^ni, no^e2^e3^ni, e1^e2^e3^ni);
float : float;
specialization: __syn_smv___e1e2_e1e3_e2e3_noe1e2e3_e1ni_e2ni_noe1e2ni_e3ni_noe1e3ni_noe2e3ni_e1e2e3ni(e1^e2, e1^e3, e2^e3, no^e1^e2^e3, e1^ni, e2^ni, no^e1^e2^ni, e3^ni, no^e1^e3^ni, no^e2^e3^ni, e1^e2^e3^ni);
float : float;
specialization: __syn_smv___e1e2(e1^e2);
float : float;
specialization: __syn_smv___noe2ni_noe3ni_e2e3ni_noe1e2e3ni(no^e2^ni, no^e3^ni, e2^e3^ni, no^e1^e2^e3^ni);
float : float;
specialization: __syn_smv___e1_e2_e3_e1e2e3_ni_e1e2ni_e1e3ni(e1, e2, e3, e1^e2^e3, ni, e1^e2^ni, e1^e3^ni);
float : float;
specialization: __syn_smv___noe1ni_noe3ni_e1e3ni_noe1e2e3ni(no^e1^ni, no^e3^ni, e1^e3^ni, no^e1^e2^e3^ni);
float : float;
specialization: __syn_smv___e1_e2_e3_e1e2e3_ni_e1e2ni_e2e3ni(e1, e2, e3, e1^e2^e3, ni, e1^e2^ni, e2^e3^ni);
float : float;
specialization: __syn_smv___noe1ni_noe2ni_e1e2ni_noe1e2e3ni(no^e1^ni, no^e2^ni, e1^e2^ni, no^e1^e2^e3^ni);
float : float;
specialization: __syn_smv___e1_e2_e3_e1e2e3_ni_e1e3ni_e2e3ni(e1, e2, e3, e1^e2^e3, ni, e1^e3^ni, e2^e3^ni);
float : float;
specialization: __syn_smv___scalar_e1ni_e2ni_e3ni_e1e2e3ni(1.0, e1^ni, e2^ni, e3^ni, e1^e2^e3^ni);
float : float;
specialization: __syn_smv___e1e2_e1e3_e2e3_noni(e1^e2, e1^e3, e2^e3, no^ni);
float : float;
specialization: __syn_smv___e1e2_e1e3_e2e3_noni_e1ni_e2ni_e3ni_e1e2e3ni(e1^e2, e1^e3, e2^e3, no^ni, e1^ni, e2^ni, e3^ni, e1^e2^e3^ni);
float : float;
specialization: __syn_smv___scalar_e1e2_e1e3_e2e3_e1ni_e2ni_noe1e2ni_e3ni_noe1e3ni_noe2e3ni_e1e2e3ni(1.0, e1^e2, e1^e3, e2^e3, e1^ni, e2^ni, no^e1^e2^ni, e3^ni, no^e1^e3^ni, no^e2^e3^ni, e1^e2^e3^ni);
float : float;
specialization: __syn_smv___scalar_e1e2_e1e3_e2e3_noni_e1ni_e2ni_e3ni(1.0, e1^e2, e1^e3, e2^e3, no^ni, e1^ni, e2^ni, e3^ni);
float : float;
specialization: __syn_smv___nof1_0_e2f1_0(no = 1.0, e2 = 1.0);
float : float;
specialization: __syn_smv___nonif1_0_e2nif1_0(no^ni = 1.0, e2^ni = 1.0);
float : float;
specialization: __syn_smv___noe1f1_0_e1e2f_1_0(no^e1 = 1.0, e1^e2 = -1.0);
float : float;
specialization: __syn_smv___noe2e3f1_0_noe3nif_1_0(no^e2^e3 = 1.0, no^e3^ni = -1.0);
float : float;
specialization: __syn_smv___e3ni(e3^ni);
float : float;
specialization: __syn_smv___e1_e2_noe1e2_e3_noe1e3_noe2e3_e1e2e3_ni_noe1ni_noe2ni_e1e2ni_noe3ni_e1e3ni_e2e3ni_noe1e2e3ni(e1, e2, no^e1^e2, e3, no^e1^e3, no^e2^e3, e1^e2^e3, ni, no^e1^ni, no^e2^ni, e1^e2^ni, no^e3^ni, e1^e3^ni, e2^e3^ni, no^e1^e2^e3^ni);
float : float;
specialization: __syn_smv___e1e2e3ni_noe1e2e3f1_0(e1^e2^e3^ni, no^e1^e2^e3 = 1.0);
float : float;
specialization: __syn_smv___e2ni(e2^ni);
float : float;
specialization: __syn_smv___e2ni_e3ni(e2^ni, e3^ni);
float : float;
specialization: __syn_smv___scalar_e3ni(1.0, e3^ni);
usage : mv gpEM(mv x, mv y) : circle , __no_ct__ : 1;
usage : mv op(mv x, mv y) : vectorE3GA , vectorE3GA : 1;
usage : mv lcont(mv x, mv y) : __e2_ct__ , __e3_ct__ : 1;
usage : mv gpEM(mv x, mv y) : no_t , __e1_ct__ : 1;
usage : mv gp(mv x, mv y) : pointPair , __ni_ct__ : 1;
usage : mv gp(mv x, mv y) : __syn_smv___scalar_noe1_e1e2_e1e3_e1ni , point : 1;
usage : mv op(mv x, mv y) : __ni_ct__ , plane : 1;
usage : mv gp(mv x, mv y) : TRversor , __syn_smv___scalar_e1e2_e1e3_e2e3_e1ni_e2ni_e3ni : 1;
usage : mv lcont(mv x, mv y) : __no_ct__ , dualLine : 1;
usage : mv gp(mv x, mv y) : scalar , scalar : 1;
usage : mv gp(mv x, mv y) : dualLine , dualLine : 1;
usage : mv op(mv x, mv y) : scalar , __ni_ct__ : 1;
usage : mv gp(mv x, mv y) : line , line : 1;
usage : mv gp(mv x, mv y) : __syn_smv___no_e1_e2_e3_ni_noe1ni_noe2ni_e1e2ni_noe3ni_e1e3ni_e2e3ni , translator : 1;
usage : mv scp(mv x, mv y) : __ni_ct__ , __syn_smv___no_e1_e2_noe1e2_e3_noe1e3_noe2e3_e1e2e3_ni_noe1ni_noe2ni_e1e2ni_noe3ni_e1e3ni_e2e3ni : 1;
usage : mv gp(mv x, mv y) : scalar , __syn_smv___e1_e2_e3_ni_nof2_0 : 1;
usage : mv gp(mv x, mv y) : __syn_smv___noe1_noe3_e1e3_noe1e2e3_noni_e1ni_noe1e2ni_e3ni_noe2e3ni_e1e2e3ni , circle : 1;
usage : mv gpEM(mv x, mv y) : no_t , __e2_ct__ : 1;
usage : mv gpEM(mv x, mv y) : __syn_smv___scalar_noe3_e1e3_e2e3_e3ni , __syn_smv___e1_e2_e3_ni_nof_1_0 : 1;
usage : scalar norm_e(mv x) : vectorE2GA : 1;
usage : mv gpEM(mv x, mv y) : no_t , __no_ct__ : 1;
usage : mv inverse(mv x) : circle : 1;
usage : mv subtract(mv x, mv y) : __syn_smv___e1ni_e2ni_e3ni_e1e2e3ni , bivectorE3GA : 1;
usage : scalar norm_e(mv x) : TRSversor : 1;
usage : mv add(mv x, mv y) : scalar , TRSversor : 1;
usage : mv gp(mv x, mv y) : __syn_smv___no_e1_e2_noe1e2_e3_noe1e3_noe2e3_e1e2e3_ni_noe1ni_noe2ni_e1e2ni_noe3ni_e1e3ni_e2e3ni_noe1e2e3ni , TRversor : 1;
usage : mv negate(mv x) : point : 1;
usage : mv gp(mv x, mv y) : bivectorE3GA , scalar : 1;
usage : mv add(mv x, mv y) : __syn_smv___e1_e2_e3_nof1_0 , ni_t : 1;
usage : mv scp(mv x, mv y) : plane , plane : 1;
usage : scalar norm_e(mv x) : pointPair : 1;
usage : mv gp(mv x, mv y) : __e3_ct__ , scalar : 1;
usage : mv gp(mv x, mv y) : __syn_smv___e1e2e3_e1e2ni_e1e3ni_e2e3ni_noe1e2e3ni , sphere : 1;
usage : mv gpEM(mv x, mv y) : __syn_smv___e1e2e3_e1e2ni_e1e3ni_e2e3ni_noe1e2e3ni , sphere : 1;
usage : mv gp(mv x, mv y) : freeVector , line : 1;
usage : scalar norm_e(mv x) : __syn_smv___scalarf_1_0 : 1;
usage : mv lcont(mv x, mv y) : __ni_ct__ , __ni_ct__ : 1;
usage : mv lcont(mv x, mv y) : __ni_ct__ , line : 1;
usage : mv gp(mv x, mv y) : point , point : 1;
usage : mv op(mv x, mv y) : vectorE3GA , __ni_ct__ : 1;
usage : scalar norm_e2(mv x) : vectorE3GA : 1;
usage : mv unit_e(mv x) : rotor : 1;
usage : mv gpEM(mv x, mv y) : __syn_smv___scalar_noe1_e1e2_e1e3_noni_e1ni_e2ni_noe1e2ni_e3ni_noe1e3ni_e1e2e3ni , __syn_smv___no_e1_e2_e3_ni_noe1ni_noe2ni_e1e2ni_noe3ni_e1e3ni_e2e3ni : 1;
usage : mv gpEM(mv x, mv y) : pointPair , __e3_ct__ : 1;
usage : mv gp(mv x, mv y) : TRversor , circle : 1;
usage : scalar norm_e2(mv x) : __syn_smv___scalar_e1e2 : 1;
usage : mv gp(mv x, mv y) : line , __e3_ct__ : 1;
usage : mv scp(mv x, mv y) : point , point : 1;
usage : mv lcont(mv x, mv y) : __e3_ct__ , __no_ct__ : 1;
usage : mv inverse(mv x) : pointPair : 1;
usage : mv op(mv x, mv y) : dualPlane , __ni_ct__ : 1;
usage : mv gp(mv x, mv y) : __syn_smv___noni_e2ni_noe1e2ni_e3ni_noe1e3ni_e1e2e3ni , line : 1;
usage : scalar norm_r2(mv x) : __no_ct__ : 1;
usage : mv dual(mv x) : __syn_smv___no_e1_e2_e3_ni_noe1ni_noe2ni_e1e2ni_noe3ni_e1e3ni_e2e3ni : 1;
usage : mv gpEM(mv x, mv y) : point , __no_ct__ : 1;
usage : mv gp(mv x, mv y) : __syn_smv___e1e2f1_0 , scalar : 1;
usage : mv gp(mv x, mv y) : __syn_smv___scalar_noe2_e1e2_e2e3_e2ni , point : 1;
usage : mv gp(mv x, mv y) : scalar , __ni_ct__ : 1;
usage : mv gp(mv x, mv y) : pointPair , dualPlane : 1;
usage : mv gp(mv x, mv y) : normalizedTranslator , normalizedTranslator : 1;
usage : mv add(mv x, mv y) : __syn_smv___noe1e2f1_0 , __syn_smv___e1e2nif1_0 : 1;
usage : mv gpEM(mv x, mv y) : sphere , __no_ct__ : 1;
usage : mv gpEM(mv x, mv y) : __syn_smv___no_e1_e2_e3_ni_noe1ni_noe2ni_e1e2ni_noe3ni_e1e3ni_e2e3ni , __e3_ct__ : 1;
usage : mv scp(mv x, mv y) : __ni_ct__ , __syn_smv___no_e1_e2_noe1e2_e3_noe1e3_noe2e3_e1e2e3_ni_noe1ni_noe2ni_e1e2ni_noe3ni_e1e3ni_e2e3ni_noe1e2e3ni : 1;
usage : mv gp(mv x, mv y) : line , __e2_ct__ : 1;
usage : mv gp(mv x, mv y) : TRversor , TRversor : 1;
usage : mv negate(mv x) : freeTrivector : 1;
usage : mv negate(mv x) : freeVector : 1;
usage : scalar norm_r(mv x) : bivectorE3GA : 1;
usage : mv lcont(mv x, mv y) : __e2_ct__ , __ni_ct__ : 1;
usage : mv lcont(mv x, mv y) : __ni_ct__ , point : 1;
usage : mv unit_e(mv x) : circle : 1;
usage : mv lcont(mv x, mv y) : scalar , circle : 1;
usage : mv gradeInvolution(mv x) : __syn_smv___no_e1_e2_e3_ni_noe1ni_noe2ni_e1e2ni_noe3ni_e1e3ni_e2e3ni : 1;
usage : mv gradeInvolution(mv x) : normalizedPoint : 1;
usage : mv gp(mv x, mv y) : TRSversor , scalor : 1;
usage : mv inverseEM(mv x) : point : 1;
usage : mv gp(mv x, mv y) : plane , plane : 1;
usage : mv gp(mv x, mv y) : __syn_smv___no_e1_e2_e3_ni_noe1ni_noe2ni_e1e2ni_noe3ni_e1e3ni_e2e3ni , scalar : 1;
usage : mv gp(mv x, mv y) : scalar , __e2ni_ct__ : 1;
usage : mv gp(mv x, mv y) : TRversor , scalar : 1;
usage : mv lcont(mv x, mv y) : pointPair , line : 1;
usage : mv lcont(mv x, mv y) : __syn_smv___nof_1_0 , __syn_smv___ni_e1e2ni_e1e3ni_e2e3ni : 1;
usage : mv gpEM(mv x, mv y) : __syn_smv___noe1 , __syn_smv___nof_1_0 : 1;
usage : scalar norm_e(mv x) : __syn_smv___noe1e2e3ni : 1;
usage : mv gp(mv x, mv y) : pointPair , __no_ct__ : 1;
usage : mv gp(mv x, mv y) : TRSversor , sphere : 1;
usage : mv subtract(mv x, mv y) : __no_ct__ , ni_t : 1;
usage : mv gp(mv x, mv y) : __syn_smv___noe1_noe2_e1e2_noe3_e1e3_e2e3_noe1e2e3_noe1e2ni_noe1e3ni_noe2e3ni , circle : 1;
usage : mv gp(mv x, mv y) : plane , __e1_ct__ : 1;
usage : mv gp(mv x, mv y) : __syn_smv___noe1e2_noe1e3_noe2e3_e1e2e3_noe1e2e3ni , plane : 1;
usage : mv gpEM(mv x, mv y) : point , point : 1;
usage : mv op(mv x, mv y) : pointPair , normalizedPoint : 1;
usage : scalar norm_e(mv x) : __syn_smv___e1ni_e2ni_e3ni_nonif_1_0 : 1;
usage : mv lcont(mv x, mv y) : point , plane : 1;
usage : mv gp(mv x, mv y) : sphere , __e2_ct__ : 1;
usage : mv scp(mv x, mv y) : pointPair , pointPair : 1;
usage : mv reverse(mv x) : scalar : 1;
usage : mv inverseEM(mv x) : __syn_smv___no_e1_e2_e3_ni_noe1ni_noe2ni_e1e2ni_noe3ni_e1e3ni_e2e3ni : 1;
usage : mv op(mv x, mv y) : circle , point : 1;
usage : mv gp(mv x, mv y) : TRSversor , translator : 1;
usage : mv gp(mv x, mv y) : TRversor , dualLine : 1;
usage : scalar norm_e(mv x) : translator : 1;
usage : mv gp(mv x, mv y) : sphere , __e3_ct__ : 1;
usage : mv gp(mv x, mv y) : sphere , __no_ct__ : 1;
usage : mv gpEM(mv x, mv y) : __syn_smv___noe2e3_noe2ni_noe3ni_e2e3ni_noe1e2e3ni , sphere : 1;
usage : mv add(mv x, mv y) : vectorE3GA , vectorE3GA : 1;
usage : scalar norm_r2(mv x) : __syn_smv___no_e1_e2_e3_ni_noe1ni_noe2ni_e1e2ni_noe3ni_e1e3ni_e2e3ni : 1;
usage : mv gpEM(mv x, mv y) : pointPair , pointPair : 1;
usage : mv negate(mv x) : freeBivector : 1;
usage : mv gp(mv x, mv y) : circle , __e2_ct__ : 1;
usage : mv gp(mv x, mv y) : __syn_smv___scalar_noni_e1ni_e2ni_e3ni , normalizedTranslator : 1;
usage : mv gp(mv x, mv y) : circle , __no_ct__ : 1;
usage : mv dual(mv x) : line : 1;
usage : mv gp(mv x, mv y) : plane , __ni_ct__ : 1;
usage : mv op(mv x, mv y) : __syn_smv___e1e2f1_0 , __ni_ct__ : 1;
usage : mv op(mv x, mv y) : translator , __ni_ct__ : 1;
usage : mv gp(mv x, mv y) : __syn_smv___no_e1_e2_noe1e2_e3_noe1e3_noe2e3_e1e2e3_ni_noe1ni_noe2ni_e1e2ni_noe3ni_e1e3ni_e2e3ni_noe1e2e3ni , __e2_ct__ : 1;
usage : mv reverse(mv x) : pointPair : 1;
usage : mv reverse(mv x) : freeBivector : 1;
usage : mv gradeInvolution(mv x) : point : 1;
usage : scalar norm_e(mv x) : circle : 1;
usage : mv add(mv x, mv y) : scalar , __syn_smv___e1e3_e2e3 : 1;
usage : mv gp(mv x, mv y) : scalar , __e1_ct__ : 1;
usage : mv op(mv x, mv y) : vectorE2GA , vectorE2GA : 1;
usage : mv inverse(mv x) : normalizedTranslator : 1;
usage : mv add(mv x, mv y) : scalar , TRSversorLog : 1;
usage : mv gp(mv x, mv y) : scalar , __no_ct__ : 1;
usage : mv subtract(mv x, mv y) : scalar , rotor : 1;
usage : mv gp(mv x, mv y) : __syn_smv___noe1e2_noe1ni_noe2ni_e1e2ni_noe1e2e3ni , sphere : 1;
usage : mv gp(mv x, mv y) : __syn_smv___no_e1_e2_noe1e2_e3_noe1e3_noe2e3_e1e2e3_ni_noe1ni_noe2ni_e1e2ni_noe3ni_e1e3ni_e2e3ni_noe1e2e3ni , scalar : 1;
usage : mv gp(mv x, mv y) : rotor , rotor : 1;
usage : mv lcont(mv x, mv y) : __e1_ct__ , __no_ct__ : 1;
usage : mv gpEM(mv x, mv y) : circle , __e3_ct__ : 1;
usage : mv gp(mv x, mv y) : point , line : 1;
usage : mv scp(mv x, mv y) : sphere , sphere : 1;
usage : mv inverse(mv x) : __syn_smv___no_e1_e2_noe1e2_e3_noe1e3_noe2e3_e1e2e3_ni_noe1ni_noe2ni_e1e2ni_noe3ni_e1e3ni_e2e3ni_noe1e2e3ni : 1;
usage : mv lcont(mv x, mv y) : __no_ct__ , freeTrivector : 1;
usage : mv gpEM(mv x, mv y) : pointPair , __e1_ct__ : 1;
usage : mv op(mv x, mv y) : normalizedPoint , normalizedPoint : 1;
usage : mv gp(mv x, mv y) : TRversor , __e2ni_ct__ : 1;
usage : scalar norm_e2(mv x) : TRSversor : 1;
usage : mv op(mv x, mv y) : circle , __ni_ct__ : 1;
usage : mv lcont(mv x, mv y) : __no_ct__ , __e3_ct__ : 1;
usage : mv gpEM(mv x, mv y) : pointPair , __no_ct__ : 1;
usage : mv add(mv x, mv y) : normalizedPoint , normalizedPoint : 1;
usage : mv negate(mv x) : __syn_smv___e1_e2_e3_e1e2e3 : 1;
usage : mv lcont(mv x, mv y) : dualSphere , dualSphere : 1;
usage : mv op(mv x, mv y) : TRversor , __ni_ct__ : 1;
usage : mv gp(mv x, mv y) : TRversor , __e1ni_ct__ : 1;
usage : mv gp(mv x, mv y) : normalizedTranslator , point : 1;
usage : mv gpEM(mv x, mv y) : no_t , __ni_ct__ : 1;
usage : mv lcont(mv x, mv y) : __e2_ct__ , __no_ct__ : 1;
usage : mv op(mv x, mv y) : pointPair , point : 1;
usage : mv unit_e(mv x) : vectorE3GA : 1;
usage : mv reverse(mv x) : rotor : 1;
usage : mv gpEM(mv x, mv y) : __syn_smv___no_e1_e2_e3_ni_noe1ni_noe2ni_e1e2ni_noe3ni_e1e3ni_e2e3ni , __e2_ct__ : 1;
usage : mv gpEM(mv x, mv y) : __syn_smv___scalar_noni_e1ni_e2ni_e3ni , point : 1;
usage : mv inverse(mv x) : scalar : 1;
usage : mv lcont(mv x, mv y) : pointPair , pointPair : 1;
usage : mv subtract(mv x, mv y) : __syn_smv___scalar_e1e2_e1e3_e2e3_e1ni_e2ni_e3ni , __syn_smv___scalar_e1e2_e1e3_e2e3_e1ni_e2ni_e3ni : 1;
usage : mv lcont(mv x, mv y) : __ni_ct__ , __syn_smv___no_e1_e2_e3_ni_noe1ni_noe2ni_e1e2ni_noe3ni_e1e3ni_e2e3ni : 1;
usage : mv gp(mv x, mv y) : __syn_smv___noe1e2_noe1e3_noe2e3_e1e2e3_noe1e2e3ni , sphere : 1;
usage : mv gp(mv x, mv y) : __syn_smv___noe1e3_noe1ni_noe3ni_e1e3ni_noe1e2e3ni , sphere : 1;
usage : scalar norm_r2(mv x) : line : 1;
usage : mv lcont(mv x, mv y) : __no_ct__ , freeVector : 1;
usage : mv inverseEM(mv x) : sphere : 1;
usage : mv gpEM(mv x, mv y) : __syn_smv___scalar_noe1_noe2_noe3_noni , point : 1;
usage : mv scp(mv x, mv y) : line , line : 1;
usage : mv gp(mv x, mv y) : plane , __no_ct__ : 1;
usage : mv op(mv x, mv y) : __ni_ct__ , point : 1;
usage : mv negate(mv x) : ni_t : 1;
usage : mv gradeInvolution(mv x) : line : 1;
usage : mv add(mv x, mv y) : vectorE3GA , __no_ct__ : 1;
usage : mv gp(mv x, mv y) : normalizedTranslator , sphere : 1;
usage : mv gp(mv x, mv y) : pointPair , __e2_ct__ : 1;
usage : mv gp(mv x, mv y) : __syn_smv___noe1ni_noe2ni_e1e2ni_noe1e2e3ni , plane : 1;
usage : mv gpEM(mv x, mv y) : __syn_smv___no_e1_e2_e3_ni_noe1ni_noe2ni_e1e2ni_noe3ni_e1e3ni_e2e3ni , __syn_smv___no_e1_e2_e3_ni_noe1ni_noe2ni_e1e2ni_noe3ni_e1e3ni_e2e3ni : 1;
usage : mv dual(mv x) : point : 1;
usage : scalar norm_r2(mv x) : sphere : 1;
usage : mv lcont(mv x, mv y) : vectorE3GA , bivectorE3GA : 1;
usage : mv gpEM(mv x, mv y) : __syn_smv___nof_1_0 , no_t : 1;
usage : mv gp(mv x, mv y) : dualLine , scalar : 1;
usage : mv gpEM(mv x, mv y) : no_t , __e3_ct__ : 1;
usage : scalar norm_e(mv x) : dualPlane : 1;
usage : mv gpEM(mv x, mv y) : point , __e1_ct__ : 1;
usage : mv gpEM(mv x, mv y) : __syn_smv___noe1e2_noe1ni_noe2ni_e1e2ni_noe1e2e3ni , sphere : 1;
usage : mv negate(mv x) : __syn_smv___e1e2e3_e1e2ni_e1e3ni_e2e3ni : 1;
usage : mv op(mv x, mv y) : sphere , scalar : 1;
usage : mv gp(mv x, mv y) : scalar , __syn_smv___e1e2_e1e3_e2e3_noni_e1ni_e2ni_e3ni_e1e2e3ni : 1;
usage : mv reverse(mv x) : __syn_smv___no_e1_e2_noe1e2_e3_noe1e3_noe2e3_e1e2e3_ni_noe1ni_noe2ni_e1e2ni_noe3ni_e1e3ni_e2e3ni_noe1e2e3ni : 1;
usage : mv subtract(mv x, mv y) : vectorE3GA , e3_t : 1;
usage : mv gpEM(mv x, mv y) : __syn_smv___scalar_noe2_e1e2_e2e3_e2ni , __syn_smv___e1_e2_e3_ni_nof_1_0 : 1;
usage : scalar norm_e(mv x) : __syn_smv___e1e2e3_e1e2ni_e1e3ni_e2e3ni : 1;
usage : mv gp(mv x, mv y) : __syn_smv___no_e1_e2_noe1e2_e3_noe1e3_noe2e3_e1e2e3_ni_noe1ni_noe2ni_e1e2ni_noe3ni_e1e3ni_e2e3ni_noe1e2e3ni , __e1_ct__ : 1;
usage : mv gpEM(mv x, mv y) : no_t , __syn_smv___nof_1_0 : 1;
usage : mv gp(mv x, mv y) : scalar , bivectorE3GA : 1;
usage : mv gp(mv x, mv y) : __syn_smv___e1_e2_e3_e1e2e3 , __ni_ct__ : 1;
usage : mv gp(mv x, mv y) : __syn_smv___no_e1_e2_noe1e2_e3_noe1e3_noe2e3_e1e2e3_ni_noe1ni_noe2ni_e1e2ni_noe3ni_e1e3ni_e2e3ni_noe1e2e3ni , TRSversor : 1;
usage : mv lcont(mv x, mv y) : __ni_ct__ , __syn_smv___e1e2_e1e3_e2e3_noe1e2e3_e1ni_e2ni_noe1e2ni_e3ni_noe1e3ni_noe2e3ni_e1e2e3ni : 1;
usage : mv add(mv x, mv y) : e1_t , e2_t : 1;
usage : mv gp(mv x, mv y) : sphere , sphere : 1;
usage : mv gp(mv x, mv y) : evenVersor , scalar : 1;
usage : scalar norm_r2(mv x) : __syn_smv___no_e1_e2_noe1e2_e3_noe1e3_noe2e3_e1e2e3_ni_noe1ni_noe2ni_e1e2ni_noe3ni_e1e3ni_e2e3ni_noe1e2e3ni : 1;
usage : mv op(mv x, mv y) : __e1_ct__ , __e2_ct__ : 1;
usage : mv add(mv x, mv y) : scalar , scalar : 1;
usage : mv op(mv x, mv y) : dualLine , __ni_ct__ : 1;
usage : mv gp(mv x, mv y) : __syn_smv___e1e2_e1e3_e2e3_noe1e2e3_e1ni_e2ni_noe1e2ni_e3ni_noe1e3ni_noe2e3ni_e1e2e3ni , translator : 1;
usage : mv gpEM(mv x, mv y) : __syn_smv___no_e1_e2_e3_ni_noe1ni_noe2ni_e1e2ni_noe3ni_e1e3ni_e2e3ni , __ni_ct__ : 1;
usage : mv dual(mv x) : __syn_smv___ni_nof1_0 : 1;
usage : scalar norm_r(mv x) : line : 1;
usage : mv gp(mv x, mv y) : point , __no_ct__ : 1;
usage : mv op(mv x, mv y) : point , point : 1;
usage : mv gpEM(mv x, mv y) : __syn_smv___noe1_noe2_e1e2_noe1e2e3_noni_e1ni_e2ni_noe1e3ni_noe2e3ni_e1e2e3ni , circle : 1;
usage : mv gradeInvolution(mv x) : circle : 1;
usage : mv gp(mv x, mv y) : circle , circle : 1;
usage : mv lcont(mv x, mv y) : normalizedPoint , sphere : 1;
usage : scalar norm_r(mv x) : rotor : 1;
usage : mv subtract(mv x, mv y) : vectorE3GA , vectorE3GA : 1;
usage : mv lcont(mv x, mv y) : __ni_ct__ , sphere : 1;
usage : mv lcont(mv x, mv y) : normalizedPoint , plane : 1;
usage : scalar norm_r(mv x) : __syn_smv___e1e2e3 : 1;
usage : mv gp(mv x, mv y) : __syn_smv___e1ni_e2ni_e3ni_e1e2e3ni , rotor : 1;
usage : scalar norm_e(mv x) : TRversor : 1;
usage : mv gpEM(mv x, mv y) : __syn_smv___noe2 , __syn_smv___nof_1_0 : 1;
usage : mv gp(mv x, mv y) : TRSversor , scalar : 1;
usage : mv gp(mv x, mv y) : TRversor , point : 1;
usage : mv lcont(mv x, mv y) : __e2_ct__ , __e1_ct__ : 1;
usage : mv scpEM(mv x, mv y) : point , point : 1;
usage : mv gpEM(mv x, mv y) : __syn_smv___scalar_noni_e1ni_e2ni_e3ni , __syn_smv___e1_e2_e3_ni_nof_1_0 : 1;
usage : mv gp(mv x, mv y) : __syn_smv___noe1_noe2_e1e2_noe3_e1e3_e2e3_noe1e2e3_noni_e1ni_e2ni_noe1e2ni_e3ni_noe1e3ni_noe2e3ni_e1e2e3ni , point : 1;
usage : mv gp(mv x, mv y) : scalar , __syn_smv___e1_e2_e3_e1e2e3 : 1;
usage : mv gp(mv x, mv y) : TRSversor , TRSversor : 1;
usage : mv gp(mv x, mv y) : e2_t , scalar : 1;
usage : mv op(mv x, mv y) : __ni_ct__ , __syn_smv___no_e1_e2_noe1e2_e3_noe1e3_noe2e3_e1e2e3_ni_noe1ni_noe2ni_e1e2ni_noe3ni_e1e3ni_e2e3ni_noe1e2e3ni : 1;
usage : mv gp(mv x, mv y) : __syn_smv___no_e1_e2_e3_ni_noe1ni_noe2ni_e1e2ni_noe3ni_e1e3ni_e2e3ni , __syn_smv___no_e1_e2_e3_ni_noe1ni_noe2ni_e1e2ni_noe3ni_e1e3ni_e2e3ni : 1;
usage : mv gp(mv x, mv y) : __syn_smv___scalar_e1e2_e1e3_e2e3_e1ni_e2ni_noe1e2ni_e3ni_noe1e3ni_noe2e3ni_e1e2e3ni , scalar : 1;
usage : mv negate(mv x) : dualLine : 1;
usage : mv inverse(mv x) : __syn_smv___scalarf_1_0 : 1;
usage : mv gp(mv x, mv y) : e3_t , scalar : 1;
usage : mv lcont(mv x, mv y) : __no_ct__ , translator : 1;
usage : mv gp(mv x, mv y) : normalizedPoint , scalar : 1;
usage : mv subtract(mv x, mv y) : e1_t , e2_t : 1;
usage : mv op(mv x, mv y) : __ni_ct__ , pointPair : 1;
usage : mv gp(mv x, mv y) : scalar , __syn_smv___e2ni_e3ni : 1;
usage : scalar norm_r(mv x) : sphere : 1;
usage : mv dual(mv x) : normalizedPoint : 1;
usage : mv gp(mv x, mv y) : scalar , dualLine : 1;
usage : mv gradeInvolution(mv x) : __syn_smv___no_e1_e2_noe1e2_e3_noe1e3_noe2e3_e1e2e3_ni_noe1ni_noe2ni_e1e2ni_noe3ni_e1e3ni_e2e3ni_noe1e2e3ni : 1;
usage : mv gp(mv x, mv y) : normalizedTranslator , scalor : 1;
usage : mv lcont(mv x, mv y) : __ni_ct__ , pointPair : 1;
usage : mv op(mv x, mv y) : vectorE3GA , bivectorE3GA : 1;
usage : mv reverse(mv x) : scalor : 1;
usage : mv gp(mv x, mv y) : normalizedTranslator , __syn_smv___no_e1_e2_e3_ni_noe1ni_noe2ni_e1e2ni_noe3ni_e1e3ni_e2e3ni : 1;
usage : mv gp(mv x, mv y) : __syn_smv___noni_e1ni_e2ni_noe1e2ni_e3ni_noe1e3ni_noe2e3ni_e1e2e3ni , TRversor : 1;
usage : mv gp(mv x, mv y) : TRversor , __ni_ct__ : 1;
usage : mv op(mv x, mv y) : __ni_ct__ , __syn_smv___no_e1_e2_e3_ni_noe1ni_noe2ni_e1e2ni_noe3ni_e1e3ni_e2e3ni : 1;
usage : mv lcont(mv x, mv y) : normalizedPoint , circle : 1;
usage : mv gpEM(mv x, mv y) : point , __e3_ct__ : 1;
usage : mv gp(mv x, mv y) : __syn_smv___noe1_noe2_e1e2_noe1e2e3_noni_e1ni_e2ni_noe1e3ni_noe2e3ni_e1e2e3ni , circle : 1;
usage : mv scp(mv x, mv y) : dualLine , dualLine : 1;
usage : mv lcont(mv x, mv y) : sphere , __syn_smv___noe1e2e3ni : 1;
usage : mv op(mv x, mv y) : __ni_ct__ , sphere : 1;
usage : mv lcont(mv x, mv y) : __ni_ct__ , __e1_ct__ : 1;
usage : mv subtract(mv x, mv y) : scalar , scalar : 1;
usage : mv lcont(mv x, mv y) : bivectorE3GA , bivectorE3GA : 1;
usage : mv gpEM(mv x, mv y) : __syn_smv___scalar_noe2_e1e2_e2e3_e2ni , point : 1;
usage : mv reverse(mv x) : bivectorE3GA : 1;
usage : mv lcont(mv x, mv y) : __ni_ct__ , circle : 1;
usage : mv gpEM(mv x, mv y) : point , __ni_ct__ : 1;
usage : mv gp(mv x, mv y) : sphere , __ni_ct__ : 1;
usage : scalar norm_r(mv x) : plane : 1;
usage : mv lcont(mv x, mv y) : __e1_ct__ , __ni_ct__ : 1;
usage : mv reverse(mv x) : __syn_smv___ni_e1e2ni_e1e3ni_e2e3ni : 1;
usage : mv op(mv x, mv y) : pointPair , __ni_ct__ : 1;
usage : mv gpEM(mv x, mv y) : noni_t , __syn_smv___nof_1_0 : 1;
usage : mv lcont(mv x, mv y) : scalar , pointPair : 1;
usage : mv lcont(mv x, mv y) : __no_ct__ , __e1_ct__ : 1;
usage : mv lcont(mv x, mv y) : __no_ct__ , freeBivector : 1;
usage : mv subtract(mv x, mv y) : scalar , freeVector : 1;
usage : mv gpEM(mv x, mv y) : circle , __e2_ct__ : 1;
usage : mv gpEM(mv x, mv y) : sphere , sphere : 1;
usage : mv gp(mv x, mv y) : normalizedTranslator , rotor : 1;
usage : mv gpEM(mv x, mv y) : __syn_smv___scalar_noe1_noe2_e1e2_noe3_e1e3_e2e3_noni_e1ni_e2ni_e3ni , __syn_smv___no_e1_e2_e3_ni_noe1ni_noe2ni_e1e2ni_noe3ni_e1e3ni_e2e3ni : 1;
usage : mv add(mv x, mv y) : scalar , bivectorE3GA : 1;
usage : mv negate(mv x) : dualPlane : 1;
usage : mv gpEM(mv x, mv y) : sphere , __e1_ct__ : 1;
usage : mv lcont(mv x, mv y) : __ni_ct__ , plane : 1;
usage : mv gpEM(mv x, mv y) : circle , sphere : 1;
usage : mv gp(mv x, mv y) : normalizedTranslator , circle : 1;
usage : mv lcont(mv x, mv y) : point , sphere : 1;
usage : mv gp(mv x, mv y) : scalar , __e3_ct__ : 1;
usage : mv gpEM(mv x, mv y) : sphere , __e2_ct__ : 1;
usage : mv lcont(mv x, mv y) : pointPair , circle : 1;
usage : scalar norm_e(mv x) : vectorE3GA : 1;
usage : mv op(mv x, mv y) : vectorE3GA , rotor : 1;
usage : mv gp(mv x, mv y) : __syn_smv___noe1_noe2_e1e2_noe3_e1e3_e2e3_noni_e1ni_e2ni_noe1e2ni_e3ni_noe1e3ni_noe2e3ni_e1e2e3ni , point : 1;
usage : mv scpEM(mv x, mv y) : __syn_smv___no_e1_e2_e3_ni_noe1ni_noe2ni_e1e2ni_noe3ni_e1e3ni_e2e3ni , __syn_smv___no_e1_e2_e3_ni_noe1ni_noe2ni_e1e2ni_noe3ni_e1e3ni_e2e3ni : 1;
usage : mv gpEM(mv x, mv y) : pointPair , __ni_ct__ : 1;
usage : mv lcont(mv x, mv y) : __no_ct__ , __no_ct__ : 1;
usage : mv gp(mv x, mv y) : scalar , __syn_smv___e1e2e3 : 1;
usage : mv op(mv x, mv y) : __syn_smv___nof1_0_e2f1_0 , __e1_ct__ : 1;
usage : mv gp(mv x, mv y) : __syn_smv___noe1ni_noe3ni_e1e3ni_noe1e2e3ni , plane : 1;
usage : mv lcont(mv x, mv y) : __no_ct__ , __ni_ct__ : 1;
usage : mv gpEM(mv x, mv y) : __syn_smv___scalar_noe3_e1e3_e2e3_noni_e1ni_e2ni_e3ni_noe1e3ni_noe2e3ni_e1e2e3ni , __syn_smv___no_e1_e2_e3_ni_noe1ni_noe2ni_e1e2ni_noe3ni_e1e3ni_e2e3ni : 1;
usage : mv add(mv x, mv y) : scalar , freeVector : 1;
usage : mv gp(mv x, mv y) : TRSversorLog , TRSversorLog : 1;
usage : mv gp(mv x, mv y) : point , circle : 1;
usage : scalar norm_e(mv x) : rotor : 1;
usage : scalar norm_e(mv x) : freeBivector : 1;
usage : mv op(mv x, mv y) : pointPair , scalar : 1;
usage : mv gpEM(mv x, mv y) : __syn_smv___scalar_noe3_e1e3_e2e3_e3ni , point : 1;
usage : mv gp(mv x, mv y) : TRversor , translator : 1;
usage : mv gp(mv x, mv y) : __syn_smv___no_e1_e2_noe1e2_e3_noe1e3_noe2e3_e1e2e3_ni_noe1ni_noe2ni_e1e2ni_noe3ni_e1e3ni_e2e3ni_noe1e2e3ni , circle : 1;
usage : mv gp(mv x, mv y) : scalar , __syn_smv___e1e3_e2e3 : 1;
usage : mv lcont(mv x, mv y) : __e1_ct__ , __e2_ct__ : 1;
usage : mv lcont(mv x, mv y) : __e3_ct__ , __e3_ct__ : 1;
usage : mv lcont(mv x, mv y) : pointPair , sphere : 1;
usage : mv gp(mv x, mv y) : __syn_smv___no_e1_e2_noe1e2_e3_noe1e3_noe2e3_e1e2e3_ni_noe1ni_noe2ni_e1e2ni_noe3ni_e1e3ni_e2e3ni_noe1e2e3ni , __ni_ct__ : 1;
usage : mv negate(mv x) : scalar : 1;
usage : mv dual(mv x) : sphere : 1;
usage : scalar norm_e(mv x) : flatPoint : 1;
usage : mv op(mv x, mv y) : __syn_smv___nof1_0_e2f1_0 , __ni_ct__ : 1;
usage : mv op(mv x, mv y) : pointPair , pointPair : 1;
usage : mv scp(mv x, mv y) : __no_ct__ , __syn_smv___nof1_0 : 1;
usage : mv op(mv x, mv y) : __syn_smv___scalarf_1_0 , __ni_ct__ : 1;
usage : mv gp(mv x, mv y) : evenVersor , point : 1;
usage : mv gp(mv x, mv y) : freeBivector , plane : 1;
usage : mv gp(mv x, mv y) : __syn_smv___noni_e1ni_e2ni_noe1e3ni_noe2e3ni_e1e2e3ni , line : 1;
usage : mv subtract(mv x, mv y) : pointPair , pointPair : 1;
usage : mv lcont(mv x, mv y) : __no_ct__ , __syn_smv___ni_e1e2ni_e1e3ni_e2e3ni : 1;
usage : mv gpEM(mv x, mv y) : point , __syn_smv___e1_e2_e3_ni_nof_1_0 : 1;
usage : mv gp(mv x, mv y) : line , __e1_ct__ : 1;
usage : mv gp(mv x, mv y) : __syn_smv___scalar_noe1_noe2_e1e2_noe3_e1e3_e2e3_noni_e1ni_e2ni_e3ni , scalar : 1;
usage : scalar norm_e(mv x) : scalar : 1;
usage : mv add(mv x, mv y) : __syn_smv___scalar_e1e2_e1e3_e2e3_noni_e1ni_e2ni_e3ni , __syn_smv___scalar_e1e2_e1e3_e2e3_e1ni_e2ni_noe1e2ni_e3ni_noe1e3ni_noe2e3ni_e1e2e3ni : 1;
usage : mv reverse(mv x) : sphere : 1;
usage : mv subtract(mv x, mv y) : __syn_smv___scalar_noe1_noe2_e1e2_noe3_e1e3_e2e3_noni_e1ni_e2ni_e3ni , __syn_smv___scalar_noe1_noe2_e1e2_noe3_e1e3_e2e3_noni_e1ni_e2ni_e3ni : 1;
usage : mv gp(mv x, mv y) : sphere , __syn_smv___e1e2e3_e1e2ni_e1e3ni_e2e3ni : 1;
usage : mv gp(mv x, mv y) : __syn_smv___scalar_e1e2_e1e3_e2e3_noni_e1ni_e2ni_e3ni , TRSversor : 1;
usage : mv gp(mv x, mv y) : TRversor , __noni_ct__ : 1;
usage : mv add(mv x, mv y) : scalar , __syn_smv___e1e2 : 1;
usage : mv inverse(mv x) : rotor : 1;
usage : scalar norm_e(mv x) : freeVector : 1;
usage : mv gp(mv x, mv y) : point , __e2_ct__ : 1;
usage : mv gp(mv x, mv y) : __syn_smv___e1ni_e2ni_e3ni_e1e2e3ni , TRversor : 1;
usage : mv inverse(mv x) : dualLine : 1;
usage : mv subtract(mv x, mv y) : vectorE2GA , vectorE3GA : 1;
usage : mv lcont(mv x, mv y) : __e3_ct__ , __e2_ct__ : 1;
usage : mv op(mv x, mv y) : bivectorE3GA , vectorE3GA : 1;
usage : mv reverse(mv x) : __no_ct__ : 1;
usage : mv unit_r(mv x) : line : 1;
usage : mv add(mv x, mv y) : freeVector , __syn_smv___e1e2_e1e3_e2e3_noni_e1ni_e2ni_e3ni_e1e2e3ni : 1;
usage : mv dual(mv x) : dualSphere : 1;
usage : mv gp(mv x, mv y) : normalizedTranslator , normalizedPoint : 1;
usage : mv scp(mv x, mv y) : __ni_ct__ , no_t : 1;
usage : scalar norm_e(mv x) : line : 1;
usage : mv lcont(mv x, mv y) : circle , __syn_smv___noe1e2e3ni : 1;
usage : scalar norm_r2(mv x) : pointPair : 1;
usage : mv scp(mv x, mv y) : __syn_smv___no_e1_e2_e3_ni_noe1ni_noe2ni_e1e2ni_noe3ni_e1e3ni_e2e3ni , __syn_smv___no_e1_e2_e3_ni_noe1ni_noe2ni_e1e2ni_noe3ni_e1e3ni_e2e3ni : 1;
usage : mv gpEM(mv x, mv y) : __syn_smv___noe1_noe3_e1e3_noe1e2e3_noni_e1ni_noe1e2ni_e3ni_noe2e3ni_e1e2e3ni , circle : 1;
usage : mv gp(mv x, mv y) : scalar , rotor : 1;
usage : mv gp(mv x, mv y) : __syn_smv___e1e2_e1e3_e2e3_noni_e1ni_e2ni_e3ni_e1e2e3ni , normalizedTranslator : 1;
usage : scalar norm_r(mv x) : pointPair : 1;
usage : mv gp(mv x, mv y) : circle , __e1_ct__ : 1;
usage : mv subtract(mv x, mv y) : scalar , __syn_smv___e1ni_e2ni_e3ni_e1e2e3ni : 1;
usage : mv gpEM(mv x, mv y) : __syn_smv___no_e1_e2_e3_ni_noe1ni_noe2ni_e1e2ni_noe3ni_e1e3ni_e2e3ni , __e1_ct__ : 1;
usage : mv op(mv x, mv y) : __ni_ct__ , circle : 1;
usage : mv gp(mv x, mv y) : rotor , __e3ni_ct__ : 1;
usage : mv lcontEM(mv x, mv y) : dualSphere , bivectorE3GA : 1;
usage : mv add(mv x, mv y) : TRSversor , TRSversor : 1;
usage : scalar norm_e2(mv x) : __syn_smv___scalar_e1e2_e1e3_e2e3_e1ni_e2ni_noe1e2ni_e3ni_noe1e3ni_noe2e3ni_e1e2e3ni : 1;
usage : mv gradeInvolution(mv x) : scalar : 1;
usage : mv lcont(mv x, mv y) : __no_ct__ , __e2_ct__ : 1;
usage : mv lcont(mv x, mv y) : __ni_ct__ , __syn_smv___no_e1_e2_noe1e2_e3_noe1e3_noe2e3_e1e2e3_ni_noe1ni_noe2ni_e1e2ni_noe3ni_e1e3ni_e2e3ni_noe1e2e3ni : 1;
usage : mv gradeInvolution(mv x) : pointPair : 1;
usage : mv gp(mv x, mv y) : __syn_smv___e1e2 , __syn_smv___e1e2 : 1;
usage : mv scp(mv x, mv y) : __ni_ct__ , __syn_smv___no_e1_e2_e3_ni_noe1ni_noe2ni_e1e2ni_noe3ni_e1e3ni_e2e3ni : 1;
usage : mv lcont(mv x, mv y) : __ni_ct__ , __e2_ct__ : 1;
usage : mv gp(mv x, mv y) : scalar , __syn_smv___e1e2_e1e3_e2e3_e1ni_e2ni_e3ni_e1e2e3ni : 1;
usage : mv negate(mv x) : __syn_smv___nif_1_0 : 1;
usage : mv gp(mv x, mv y) : TRSversor , __syn_smv___no_e1_e2_noe1e2_e3_noe1e3_noe2e3_e1e2e3_ni_noe1ni_noe2ni_e1e2ni_noe3ni_e1e3ni_e2e3ni_noe1e2e3ni : 1;
usage : mv gp(mv x, mv y) : no_t , scalar : 1;
usage : mv gp(mv x, mv y) : __syn_smv___noe1_noe2_e1e2_noe3_e1e3_e2e3_noe1e2ni_noe1e3ni_noe2e3ni , line : 1;
usage : mv subtract(mv x, mv y) : vectorE2GA , vectorE2GA : 1;
usage : mv inverse(mv x) : __syn_smv___e1e2e3_e1e2ni_e1e3ni_e2e3ni : 1;
usage : mv scp(mv x, mv y) : dualPlane , dualPlane : 1;
usage : mv gp(mv x, mv y) : scalar , TRSversor : 1;
usage : mv lcont(mv x, mv y) : scalar , sphere : 1;
usage : mv gp(mv x, mv y) : rotor , scalar : 1;
usage : mv lcont(mv x, mv y) : __ni_ct__ , __e3_ct__ : 1;
usage : mv gpEM(mv x, mv y) : circle , circle : 1;
usage : mv gp(mv x, mv y) : plane , __e2_ct__ : 1;
usage : mv lcont(mv x, mv y) : __e1_ct__ , __e3_ct__ : 1;
usage : mv dual(mv x) : __syn_smv___noe1f1_0_e1e2f_1_0 : 1;
usage : mv lcont(mv x, mv y) : normalizedPoint , pointPair : 1;
usage : mv gpEM(mv x, mv y) : sphere , __e3_ct__ : 1;
usage : mv gp(mv x, mv y) : __syn_smv___noe2e3_noe2ni_noe3ni_e2e3ni_noe1e2e3ni , sphere : 1;
usage : mv gpEM(mv x, mv y) : __syn_smv___noe1e3_noe1ni_noe3ni_e1e3ni_noe1e2e3ni , sphere : 1;
usage : mv subtract(mv x, mv y) : scalar , __syn_smv___e3ni : 1;
usage : scalar norm_e(mv x) : dualLine : 1;
usage : mv gp(mv x, mv y) : __syn_smv___scalar_noe1_noe2_noe3_noni , point : 1;
usage : mv gpEM(mv x, mv y) : __syn_smv___scalar_noe1_e1e2_e1e3_e1ni , __syn_smv___e1_e2_e3_ni_nof_1_0 : 1;
usage : mv gpEM(mv x, mv y) : __syn_smv___e1e2_e1e3_e2e3_noe1e2e3_e1ni_e2ni_noe1e2ni_e3ni_noe1e3ni_noe2e3ni , circle : 1;
usage : mv gpEM(mv x, mv y) : __syn_smv___noe2_noe3_e2e3_noe1e2e3_noni_e2ni_noe1e2ni_e3ni_noe1e3ni_e1e2e3ni , circle : 1;
usage : mv gradeInvolution(mv x) : sphere : 1;
usage : mv negate(mv x) : __no_ct__ : 1;
usage : mv gp(mv x, mv y) : TRSversor , normalizedPoint : 1;
usage : mv gp(mv x, mv y) : TRSversor , __ni_ct__ : 1;
usage : mv gp(mv x, mv y) : pointPair , __e1_ct__ : 1;
usage : mv subtract(mv x, mv y) : TRversor , TRversor : 1;
usage : mv lcont(mv x, mv y) : __ni_ct__ , __no_ct__ : 1;
usage : mv add(mv x, mv y) : scalar , dualLine : 1;
usage : mv op(mv x, mv y) : vectorE2GA , __e3_ct__ : 1;
usage : mv op(mv x, mv y) : circle , scalar : 1;
usage : mv gp(mv x, mv y) : point , __e1_ct__ : 1;
usage : scalar norm_r2(mv x) : circle : 1;
usage : mv gp(mv x, mv y) : circle , __ni_ct__ : 1;
usage : mv op(mv x, mv y) : __ni_ct__ , normalizedPoint : 1;
usage : mv gp(mv x, mv y) : __syn_smv___scalar_noni_e1ni_e2ni_e3ni , point : 1;
usage : scalar norm_e2(mv x) : scalar : 1;
usage : mv subtract(mv x, mv y) : normalizedPoint , ni_t : 1;
usage : mv gp(mv x, mv y) : ni_t , scalar : 1;
usage : mv gp(mv x, mv y) : scalar , __noni_ct__ : 1;
usage : mv op(mv x, mv y) : __syn_smv___e1e2e3_e1e2ni_e1e3ni_e2e3ni , __ni_ct__ : 1;
usage : mv unit_e(mv x) : sphere : 1;
usage : mv unit_e(mv x) : __I5_ct__ : 1;
usage : mv gpEM(mv x, mv y) : pointPair , __e2_ct__ : 1;
usage : mv gp(mv x, mv y) : plane , __e3_ct__ : 1;
usage : mv gp(mv x, mv y) : circle , dualLine : 1;
usage : mv inverseEM(mv x) : pointPair : 1;
usage : mv inverse(mv x) : translator : 1;
usage : mv gp(mv x, mv y) : e1_t , scalar : 1;
usage : scalar norm_r2(mv x) : point : 1;
usage : mv gp(mv x, mv y) : __syn_smv___e1e2_e1e3_e2e3_noe1e2e3_e1ni_e2ni_noe1e2ni_e3ni_noe1e3ni_noe2e3ni_e1e2e3ni , __syn_smv___e1e2_e1e3_e2e3_noe1e2e3_e1ni_e2ni_noe1e2ni_e3ni_noe1e3ni_noe2e3ni_e1e2e3ni : 1;
usage : mv op(mv x, mv y) : vectorE3GA , __e3_ct__ : 1;
usage : mv reverse(mv x) : __syn_smv___no_e1_e2_e3_ni_noe1ni_noe2ni_e1e2ni_noe3ni_e1e3ni_e2e3ni : 1;
usage : mv inverseEM(mv x) : circle : 1;
usage : mv gp(mv x, mv y) : __no_ct__ , scalar : 1;
usage : scalar norm_e(mv x) : __syn_smv___scalarf0_0 : 1;
usage : scalar norm_e(mv x) : plane : 1;
usage : mv subtract(mv x, mv y) : circle , circle : 1;
usage : mv gp(mv x, mv y) : __syn_smv___scalar_e1e2_e1e3_e2e3_e1ni_e2ni_noe1e2ni_e3ni_noe1e3ni_noe2e3ni_e1e2e3ni , TRSversorLog : 1;
usage : mv reverse(mv x) : normalizedTranslator : 1;
usage : mv gpEM(mv x, mv y) : __syn_smv___noe3 , __syn_smv___nof_1_0 : 1;
usage : scalar norm_e(mv x) : __syn_smv___nonif_1_0 : 1;
usage : mv op(mv x, mv y) : __syn_smv___e1e2f1_0 , __no_ct__ : 1;
usage : mv gp(mv x, mv y) : __syn_smv___e1_e2_e3_e1e2e3 , bivectorE3GA : 1;
usage : mv lcont(mv x, mv y) : __e3_ct__ , __ni_ct__ : 1;
usage : mv gp(mv x, mv y) : evenVersor , TRSversor : 1;
usage : mv gp(mv x, mv y) : evenVersor , TRversor : 1;
usage : mv gpEM(mv x, mv y) : sphere , __ni_ct__ : 1;
usage : mv gpEM(mv x, mv y) : __syn_smv___no_e1_e2_e3_ni_noe1ni_noe2ni_e1e2ni_noe3ni_e1e3ni_e2e3ni , __no_ct__ : 1;
usage : mv scp(mv x, mv y) : TRversor , TRversor : 1;
usage : mv inverse(mv x) : point : 1;
usage : mv lcont(mv x, mv y) : point , pointPair : 1;
usage : mv gp(mv x, mv y) : scalar , __syn_smv___e1e2 : 1;
usage : mv gp(mv x, mv y) : __syn_smv___e1e2_e1e3_e2e3_noe1e2e3_e1ni_e2ni_noe1e2ni_e3ni_noe1e3ni_noe2e3ni_e1e2e3ni , __syn_smv___e1e2e3_e1e2ni_e1e3ni_e2e3ni : 1;
usage : mv scp(mv x, mv y) : normalizedPoint , normalizedPoint : 1;
usage : scalar norm_e(mv x) : __syn_smv___noni_e1ni_e2ni_noe1e2ni_e3ni_noe1e3ni_noe2e3ni_e1e2e3ni : 1;
usage : mv add(mv x, mv y) : scalar , noni_t : 1;
usage : mv gp(mv x, mv y) : circle , __e3_ct__ : 1;
usage : mv gp(mv x, mv y) : __syn_smv___scalar_e1e2 , rotor : 1;
usage : mv gp(mv x, mv y) : __syn_smv___no_e1_e2_noe1e2_e3_noe1e3_noe2e3_e1e2e3_ni_noe1ni_noe2ni_e1e2ni_noe3ni_e1e3ni_e2e3ni , scalar : 1;
usage : mv reverse(mv x) : __syn_smv___e1e2e3_e1e2ni_e1e3ni_e2e3ni : 1;
usage : mv gpEM(mv x, mv y) : scalar , __syn_smv___nof_1_0 : 1;
usage : mv lcont(mv x, mv y) : __no_ct__ , __syn_smv___e1e2e3_e1e2ni_e1e3ni_e2e3ni : 1;
usage : mv gp(mv x, mv y) : TRSversor , circle : 1;
usage : mv lcont(mv x, mv y) : __e2_ct__ , __e2_ct__ : 1;
usage : mv gp(mv x, mv y) : sphere , __e1_ct__ : 1;
usage : mv scp(mv x, mv y) : __ni_ct__ , point : 1;
usage : mv add(mv x, mv y) : __syn_smv___e3ni , __syn_smv___e2ni : 1;
usage : scalar norm_r2(mv x) : normalizedPoint : 1;
usage : mv gp(mv x, mv y) : TRversor , __e3ni_ct__ : 1;
usage : mv inverse(mv x) : line : 1;
usage : mv gp(mv x, mv y) : __syn_smv___scalar_noe3_e1e3_e2e3_e3ni , point : 1;
usage : mv gp(mv x, mv y) : __syn_smv___e1_e2_e3_ni_noe1ni_noe2ni_e1e2ni_noe3ni_e1e3ni_e2e3ni_nof1_0 , translator : 1;
usage : mv lcont(mv x, mv y) : circle , sphere : 1;
usage : mv gp(mv x, mv y) : __syn_smv___no_e1_e2_noe1e2_e3_noe1e3_noe2e3_e1e2e3_ni_noe1ni_noe2ni_e1e2ni_noe3ni_e1e3ni_e2e3ni_noe1e2e3ni , __no_ct__ : 1;
usage : mv gp(mv x, mv y) : __syn_smv___e1e2e3 , bivectorE3GA : 1;
usage : mv inverseEM(mv x) : normalizedPoint : 1;
usage : mv gp(mv x, mv y) : __syn_smv___scalar_noni_e1ni_e2ni_e3ni , rotor : 1;
usage : mv negate(mv x) : __syn_smv___ni_e1e2ni_e1e3ni_e2e3ni : 1;
usage : mv scpEM(mv x, mv y) : pointPair , pointPair : 1;
usage : mv gp(mv x, mv y) : scalar , TRSversorLog : 1;
usage : mv lcont(mv x, mv y) : sphere , sphere : 1;
usage : mv lcont(mv x, mv y) : circle , circle : 1;
usage : mv add(mv x, mv y) : TRversor , TRversor : 1;
usage : mv gp(mv x, mv y) : vectorE3GA , scalar : 1;
usage : mv gp(mv x, mv y) : scalar , freeVector : 1;
usage : mv gp(mv x, mv y) : point , scalar : 1;
usage : mv gp(mv x, mv y) : pointPair , __e3_ct__ : 1;
usage : mv add(mv x, mv y) : __no_ct__ , __e2_ct__ : 1;
usage : mv gp(mv x, mv y) : scalar , vectorE3GA : 1;
usage : mv gp(mv x, mv y) : scalar , __e3ni_ct__ : 1;
usage : mv lcont(mv x, mv y) : __e1_ct__ , __e1_ct__ : 1;
usage : mv reverse(mv x) : point : 1;
usage : mv gp(mv x, mv y) : point , TRversor : 1;
usage : mv gp(mv x, mv y) : TRSversor , __syn_smv___scalar_e1e2_e1e3_e2e3_noni_e1ni_e2ni_e3ni : 1;
usage : mv gradeInvolution(mv x) : __no_ct__ : 1;
usage : mv gp(mv x, mv y) : __syn_smv___scalar_noe1_noe2_e1e2_noe3_e1e3_e2e3_noe1e2e3_noni_noe1e2ni_noe1e3ni_noe2e3ni , __syn_smv___no_e1_e2_noe1e2_e3_noe1e3_noe2e3_e1e2e3_ni_noe1ni_noe2ni_e1e2ni_noe3ni_e1e3ni_e2e3ni_noe1e2e3ni : 1;
usage : scalar norm_e(mv x) : sphere : 1;
usage : mv scp(mv x, mv y) : circle , circle : 1;
usage : mv gp(mv x, mv y) : TRSversor , TRSversorLog : 1;
usage : mv gradeInvolution(mv x) : __syn_smv___e1e2_e1e3_e2e3_noe1e2e3_e1ni_e2ni_noe1e2ni_e3ni_noe1e3ni_noe2e3ni_e1e2e3ni : 1;
usage : mv inverse(mv x) : sphere : 1;
usage : mv gp(mv x, mv y) : vectorE3GA , __ni_ct__ : 1;
usage : mv gp(mv x, mv y) : __syn_smv___no_e1_e2_noe1e2_e3_noe1e3_noe2e3_e1e2e3_ni_noe1ni_noe2ni_e1e2ni_noe3ni_e1e3ni_e2e3ni_noe1e2e3ni , __e3_ct__ : 1;
usage : mv unit_e(mv x) : bivectorE3GA : 1;
usage : mv gp(mv x, mv y) : TRversor , scalor : 1;
usage : mv reverse(mv x) : plane : 1;
usage : mv gpEM(mv x, mv y) : point , __e2_ct__ : 1;
usage : mv lcont(mv x, mv y) : __ni_ct__ , normalizedPoint : 1;
usage : mv gp(mv x, mv y) : __syn_smv___e1e2 , scalar : 1;
usage : mv reverse(mv x) : normalizedPoint : 1;
usage : mv gp(mv x, mv y) : __syn_smv___noe2_noe3_e2e3_noe1e2e3_noni_e2ni_noe1e2ni_e3ni_noe1e3ni_e1e2e3ni , circle : 1;
usage : mv scp(mv x, mv y) : scalar , scalar : 1;
usage : scalar norm_e2(mv x) : bivectorE3GA : 1;
usage : mv gp(mv x, mv y) : rotor , vectorE3GA : 1;
usage : mv gpEM(mv x, mv y) : __syn_smv___scalar_noe1_noe2_noe3_noni_e1ni_e2ni_noe1e2ni_e3ni_noe1e3ni_noe2e3ni , __syn_smv___no_e1_e2_e3_ni_noe1ni_noe2ni_e1e2ni_noe3ni_e1e3ni_e2e3ni : 1;
usage : mv gpEM(mv x, mv y) : circle , __e1_ct__ : 1;
usage : mv lcontEM(mv x, mv y) : dualSphere , rotor : 1;
usage : mv gpEM(mv x, mv y) : __syn_smv___scalar_noe2_e1e2_e2e3_noni_e1ni_e2ni_noe1e2ni_e3ni_noe2e3ni_e1e2e3ni , __syn_smv___no_e1_e2_e3_ni_noe1ni_noe2ni_e1e2ni_noe3ni_e1e3ni_e2e3ni : 1;
usage : mv gp(mv x, mv y) : __syn_smv___noni_e1ni_noe1e2ni_e3ni_noe2e3ni_e1e2e3ni , line : 1;
usage : mv reverse(mv x) : circle : 1;
usage : mv inverse(mv x) : TRSversor : 1;
usage : mv gp(mv x, mv y) : __syn_smv___e1e3_e2e3 , scalar : 1;
usage : mv inverse(mv x) : plane : 1;
usage : mv scpEM(mv x, mv y) : normalizedPoint , normalizedPoint : 1;
usage : scalar norm_r2(mv x) : plane : 1;
usage : mv lcont(mv x, mv y) : __no_ct__ , TRversor : 1;
usage : mv gp(mv x, mv y) : __syn_smv___e1_e2_e3_e1e2e3 , rotor : 1;
usage : mv gp(mv x, mv y) : point , __ni_ct__ : 1;
usage : mv add(mv x, mv y) : bivectorE3GA , noni_t : 1;
usage : mv inverseEM(mv x) : __no_ct__ : 1;
usage : mv gpEM(mv x, mv y) : __syn_smv___noe1_noe2_e1e2_noe3_e1e3_e2e3_noe1e2ni_noe1e3ni_noe2e3ni_e1e2e3ni , circle : 1;
usage : mv gp(mv x, mv y) : pointPair , pointPair : 1;
usage : mv scpEM(mv x, mv y) : sphere , sphere : 1;
usage : mv gp(mv x, mv y) : __syn_smv___scalar_e1e3_e2e3 , rotor : 1;
usage : scalar norm_e(mv x) : bivectorE3GA : 1;
usage : mv gp(mv x, mv y) : line , __ni_ct__ : 1;
usage : mv subtract(mv x, mv y) : sphere , sphere : 1;
usage : mv gp(mv x, mv y) : point , __e3_ct__ : 1;
usage : mv gp(mv x, mv y) : TRSversor , rotor : 1;
usage : mv op(mv x, mv y) : __ni_ct__ , __no_ct__ : 1;
usage : mv gp(mv x, mv y) : __syn_smv___scalar_noe1_noe2_e1e2_noe3_e1e3_e2e3_noni_e1ni_e2ni_noe1e2ni_e3ni_noe1e3ni_noe2e3ni_e1e2e3ni , scalar : 1;
usage : mv inverse(mv x) : TRversor : 1;
usage : mv lcont(mv x, mv y) : __no_ct__ , __syn_smv___nonif1_0_e2nif1_0 : 1;
usage : mv inverse(mv x) : __syn_smv___no_e1_e2_e3_ni_noe1ni_noe2ni_e1e2ni_noe3ni_e1e3ni_e2e3ni : 1;
usage : mv gp(mv x, mv y) : evenVersor , __syn_smv___no_e1_e2_noe1e2_e3_noe1e3_noe2e3_e1e2e3_ni_noe1ni_noe2ni_e1e2ni_noe3ni_e1e3ni_e2e3ni_noe1e2e3ni : 1;
usage : mv gp(mv x, mv y) : __syn_smv___e1_e2_noe1e2_e3_noe1e3_noe2e3_e1e2e3_ni_noe1ni_noe2ni_e1e2ni_noe3ni_e1e3ni_e2e3ni_noe1e2e3ni , translator : 1;
usage : mv scp(mv x, mv y) : __syn_smv___no_e1_e2_noe1e2_e3_noe1e3_noe2e3_e1e2e3_ni_noe1ni_noe2ni_e1e2ni_noe3ni_e1e3ni_e2e3ni_noe1e2e3ni , __syn_smv___no_e1_e2_noe1e2_e3_noe1e3_noe2e3_e1e2e3_ni_noe1ni_noe2ni_e1e2ni_noe3ni_e1e3ni_e2e3ni_noe1e2e3ni : 1;
usage : mv scp(mv x, mv y) : __syn_smv___e1e2e3_e1e2ni_e1e3ni_e2e3ni , __syn_smv___e1e2e3_e1e2ni_e1e3ni_e2e3ni : 1;
usage : mv add(mv x, mv y) : __syn_smv___scalar_e1e2_e1e3_e2e3_e1ni_e2ni_e3ni , TRversor : 1;
usage : mv add(mv x, mv y) : __syn_smv___e1ni_e2ni_e3ni_e1e2e3ni , __syn_smv___e1ni_e2ni_e3ni_e1e2e3ni : 1;
usage : mv gpEM(mv x, mv y) : __syn_smv___e1_e2_e3_ni_nof_1_0 , point : 1;
usage : mv reverse(mv x) : line : 1;
usage : mv gp(mv x, mv y) : __syn_smv___e1e2_e1e3_e2e3_e1ni_e2ni_noe1e2ni_e3ni_noe1e3ni_noe2e3ni_e1e2e3ni , circle : 1;
usage : mv gradeInvolution(mv x) : plane : 1;
usage : scalar norm_e2(mv x) : TRversor : 1;
usage : mv lcont(mv x, mv y) : normalizedPoint , line : 1;
usage : mv gp(mv x, mv y) : __syn_smv___no_e1_e2_noe1e2_e3_noe1e3_noe2e3_e1e2e3_ni_noe1ni_noe2ni_e1e2ni_noe3ni_e1e3ni_e2e3ni_noe1e2e3ni , __syn_smv___no_e1_e2_noe1e2_e3_noe1e3_noe2e3_e1e2e3_ni_noe1ni_noe2ni_e1e2ni_noe3ni_e1e3ni_e2e3ni_noe1e2e3ni : 1;
usage : mv subtract(mv x, mv y) : evenVersor , evenVersor : 1;
usage : mv gp(mv x, mv y) : line , __no_ct__ : 1;
usage : mv gpEM(mv x, mv y) : __syn_smv___noe1e2_noe1e3_noe2e3_e1e2e3_noe1e2e3ni , sphere : 1;
usage : mv gp(mv x, mv y) : __syn_smv___e1e3_e2e3 , __syn_smv___e1e3_e2e3 : 1;
usage : scalar norm_r(mv x) : circle : 1;
usage : mv gp(mv x, mv y) : __syn_smv___scalar_e3ni , rotor : 1;
usage : scalar norm_r(mv x) : vectorE3GA : 1;
usage : mv lcont(mv x, mv y) : __e3_ct__ , __e1_ct__ : 1;
usage : mv scpEM(mv x, mv y) : circle , circle : 1;
usage : mv gp(mv x, mv y) : __syn_smv___noe2ni_noe3ni_e2e3ni_noe1e2e3ni , plane : 1;
usage : mv gp(mv x, mv y) : normalizedTranslator , __syn_smv___e1e2_e1e3_e2e3_noni : 1;
usage : mv gpEM(mv x, mv y) : __syn_smv___scalar_noe1_noe2_noe3_noni , __syn_smv___e1_e2_e3_ni_nof_1_0 : 1;
usage : mv inverse(mv x) : dualPlane : 1;
usage : mv scpEM(mv x, mv y) : __no_ct__ , __syn_smv___nof1_0 : 1;
usage : mv add(mv x, mv y) : __no_ct__ , ni_t : 1;
usage : mv lcont(mv x, mv y) : circle , plane : 1;
usage : mv gpEM(mv x, mv y) : circle , __ni_ct__ : 1;
usage : mv gp(mv x, mv y) : scalar , __e2_ct__ : 1;
usage : mv gpEM(mv x, mv y) : __syn_smv___scalar_noe1_e1e2_e1e3_e1ni , point : 1;
usage : mv gp(mv x, mv y) : TRSversorLog , scalar : 1;
usage : mv op(mv x, mv y) : __ni_ct__ , line : 1;
usage : __NON_G2__ _circle(mv arg1) : __syn_smv___noe1e2f1_0_e1e2nif1_0 : 1;
usage : __NON_G2__ _flatPoint(mv arg1) : __syn_smv___e1ni_e2ni_e3ni_e1e2e3ni : 1;
usage : __NON_G2__ _vectorE3GA(mv arg1) : __syn_smv___no_e1_e2_e3_ni_noe1ni_noe2ni_e1e2ni_noe3ni_e1e3ni_e2e3ni : 1;
usage : __NON_G2__ _sphere(mv arg1) : __syn_smv___noe1e2ni_noe1e3ni_noe2e3ni_e1e2e3ni_noe1e2e3f1_0 : 1;
usage : __NON_G2__ _circle(mv arg1) : __syn_smv___no_e1_e2_noe1e2_e3_noe1e3_noe2e3_e1e2e3_ni_noe1ni_noe2ni_e1e2ni_noe3ni_e1e3ni_e2e3ni_noe1e2e3ni : 1;
usage : __NON_G2__ _point(mv arg1) : __ni_ct__ : 1;
usage : __NON_G2__ _TRSversorLog(mv arg1) : __syn_smv___e1e2_e1e3_e2e3_noni_e1ni_e2ni_e3ni_e1e2e3ni : 1;
usage : __NON_G2__ _vectorE3GA(mv arg1) : __syn_smv___no_e1_e2_noe1e2_e3_noe1e3_noe2e3_e1e2e3_ni_noe1ni_noe2ni_e1e2ni_noe3ni_e1e3ni_e2e3ni_noe1e2e3ni : 1;
usage : __NON_G2__ _vectorE3GA(mv arg1) : e3_t : 1;
usage : __NON_G2__ _freeVector(mv arg1) : __syn_smv___e3ni : 1;
usage : __NON_G2__ _dualLine(mv arg1) : __syn_smv___e1e2_e1e3_e2e3_e1ni_e2ni_e3ni_e1e2e3ni : 1;
usage : __NON_G2__ _TRversor(mv arg1) : __syn_smv___scalar_e1e2_e1e3_e2e3_e1ni_e2ni_e3ni : 1;
usage : __NON_G2__ _point(mv arg1) : __syn_smv___no_e1_e2_noe1e2_e3_noe1e3_noe2e3_e1e2e3_ni_noe1ni_noe2ni_e1e2ni_noe3ni_e1e3ni_e2e3ni_noe1e2e3ni : 1;
usage : __NON_G2__ _vectorE3GA(mv arg1) : vectorE2GA : 1;
usage : __NON_G2__ _vectorE2GA(mv arg1) : vectorE3GA : 1;
usage : __NON_G2__ _point(mv arg1) : normalizedPoint : 1;
usage : __NON_G2__ _bivectorE3GA(mv arg1) : rotor : 1;
usage : __NON_G2__ _rotor(mv arg1) : bivectorE3GA : 1;
usage : __NON_G2__ _bivectorE3GA(mv arg1) : __syn_smv___e1e2 : 1;
usage : __NON_G2__ _dualSphere(mv arg1) : __syn_smv___ni_nof1_0 : 1;
usage : __NON_G2__ _flatPoint(mv arg1) : __syn_smv___noni_e1ni_e2ni_noe1e2ni_e3ni_noe1e3ni_noe2e3ni_e1e2e3ni : 1;
usage : __NON_G2__ _vectorE3GA(mv arg1) : no_t : 1;
usage : __NON_G2__ _vectorE3GA(mv arg1) : dualSphere : 1;
usage : __NON_G2__ _dualSphere(mv arg1) : vectorE3GA : 1;
usage : __NON_G2__ _normalizedTranslator(mv arg1) : __syn_smv___scalar_e1ni_e2ni_e3ni_e1e2e3ni : 1;
usage : __NON_G2__ _vectorE3GA(mv arg1) : __syn_smv___e1_e2_e3_e1e2e3 : 1;
usage : __NON_G2__ _TRSversor(mv arg1) : TRSversorLog : 1;
usage : __NON_G2__ _freeVector(mv arg1) : __syn_smv___e1ni_e2ni_e3ni_e1e2e3ni : 1;
usage : __NON_G2__ _normalizedPoint(mv arg1) : __no_ct__ : 1;
usage : __NON_G2__ _freeVector(mv arg1) : __syn_smv___e2ni_e3ni : 1;
usage : __NON_G2__ _vectorE3GA(mv arg1) : __syn_smv___no_e1_e2_noe1e2_e3_noe1e3_noe2e3_e1e2e3_ni_noe1ni_noe2ni_e1e2ni_noe3ni_e1e3ni_e2e3ni : 1;
usage : __NON_G2__ _normalizedTranslator(mv arg1) : translator : 1;
usage : __NON_G2__ _vectorE3GA(mv arg1) : normalizedPoint : 1;
usage : __NON_G2__ _TRversor(mv arg1) : TRSversor : 1;
usage : __NON_G2__ _bivectorE3GA(mv arg1) : __syn_smv___e1e3_e2e3 : 1;
usage : __NON_G2__ _translator(mv arg1) : TRSversor : 1;
usage : __NON_G2__ _vectorE3GA(mv arg1) : point : 1;