_______________________________________________________________________________________________________________________________________ /*************************************************************************************************************************************/ /* */ /* D E F I N I T I O N S D E S D O N N E S C O M M U N E S : */ /* */ /* */ /* Dans ce fichier, se trouvent */ /* toutes les donnees communes */ /* utiles aux autres modules. */ /* */ /* */ /* Author of '$ximcf/common$STR' : */ /* */ /* Jean-Francois COLONNA (LACTAMME, 19990628095449). */ /* */ /*************************************************************************************************************************************/ /*===================================================================================================================================*/ /*************************************************************************************************************************************/ /* */ /* D E F I N I T I O N S D E S V E R S I O N S : */ /* */ /*************************************************************************************************************************************/ #ifdef DEFINITION_DES_CORPS_BATIS_A_PARTIR_DES_NOMBRES_REELS_VERSION_01 /* Common,DEFV(Fonction,) : avec 'VERSION_01'. */ DEFV(Common,DEFV(Logical,_____DEFINITION_DES_CORPS_BATIS_A_PARTIR_DES_NOMBRES_REELS_VERSION_01)); #Aifdef DEFINITION_DES_CORPS_BATIS_A_PARTIR_DES_NOMBRES_REELS_VERSION_01 /* Common,DEFV(Fonction,) : avec 'VERSION_01'. */ #Eifdef DEFINITION_DES_CORPS_BATIS_A_PARTIR_DES_NOMBRES_REELS_VERSION_01 /* Common,DEFV(Fonction,) : avec 'VERSION_01'. */ #ifdef DEFINITION_DES_CORPS_BATIS_A_PARTIR_DES_NOMBRES_REELS_VERSION_02 /* Common,DEFV(Fonction,) : avec 'VERSION_02'. */ DEFV(Common,DEFV(Logical,_____DEFINITION_DES_CORPS_BATIS_A_PARTIR_DES_NOMBRES_REELS_VERSION_02)); #Aifdef DEFINITION_DES_CORPS_BATIS_A_PARTIR_DES_NOMBRES_REELS_VERSION_02 /* Common,DEFV(Fonction,) : avec 'VERSION_02'. */ #Eifdef DEFINITION_DES_CORPS_BATIS_A_PARTIR_DES_NOMBRES_REELS_VERSION_02 /* Common,DEFV(Fonction,) : avec 'VERSION_02'. */ _______________________________________________________________________________________________________________________________________ _______________________________________________________________________________________________________________________________________ /*===================================================================================================================================*/ /*************************************************************************************************************************************/ /* */ /* D E F I N I T I O N S G E N E R A L E S D E S T I N E E S */ /* A U X T R A N S F O R M A T I O N S C O N F O R M E S : */ /* */ /*************************************************************************************************************************************/ DEFV(Common,DEFV(Logical,ZINT(TRANSFORMATIONS_CONFORMES_____load_point_valide__plutot_que__load_point_modulo,FAUX))); /* Introduit le 20120604151206 et deplace depuis 'v $xiii/Images$STR' le 20120605140016... */ /* */ /* ATTENTION, a cette date : */ /* */ /* loadRJ_point_valide(...) */ /* loadIJ_point_valide(...) */ /* */ /* n'existent pas, mais on "fait comme si" ('v $ximcf/conformes$FON 20120604154933')... */ DEFV(Common,DEFV(Logical,ZINT(TRANSFORMATIONS_CONFORMES_____store_point_modulo__plutot_que__store_point_valide,FAUX))); /* Introduit le 20120604145812 et deplace depuis 'v $xiii/Images$STR' le 20120605140016... */ /* */ /* ATTENTION, a cette date : */ /* */ /* storeRJ_point_modulo(...) */ /* storeIJ_point_modulo(...) */ /* */ /* n'existent pas, mais on "fait comme si" ('v $ximcf/conformes$FON 20120604154933')... */ DEFV(Common,DEFV(Logical,ZINT(TRANSFORMATIONS_CONFORMES_____editer_les_extrema_des_coordonnees_de_load_et_de_store,FAUX))); /* Introduit le 20120528091836 et deplace depuis 'v $xiii/Images$STR' le 20120605140016... */ DEFV(Common,DEFV(Int,INIT(TRANSFORMATIONS_CONFORMES_____minimum__old_X__de_load_et_de_store,UNDEF))); DEFV(Common,DEFV(Int,INIT(TRANSFORMATIONS_CONFORMES_____maximum__old_X__de_load_et_de_store,UNDEF))); DEFV(Common,DEFV(Int,INIT(TRANSFORMATIONS_CONFORMES_____minimum__old_Y__de_load_et_de_store,UNDEF))); DEFV(Common,DEFV(Int,INIT(TRANSFORMATIONS_CONFORMES_____maximum__old_Y__de_load_et_de_store,UNDEF))); DEFV(Common,DEFV(Int,INIT(TRANSFORMATIONS_CONFORMES_____minimum__new_X__de_load_et_de_store,UNDEF))); DEFV(Common,DEFV(Int,INIT(TRANSFORMATIONS_CONFORMES_____maximum__new_X__de_load_et_de_store,UNDEF))); DEFV(Common,DEFV(Int,INIT(TRANSFORMATIONS_CONFORMES_____minimum__new_Y__de_load_et_de_store,UNDEF))); DEFV(Common,DEFV(Int,INIT(TRANSFORMATIONS_CONFORMES_____maximum__new_Y__de_load_et_de_store,UNDEF))); /* Introduit le 20120529112307 ici et non pas dans 'v $ximcf/conformes$FON' car cela n'y */ /* est pas possible a cause du decoupage en plusieurs blocs de compilation... */ DEFV(Common,DEFV(Logical,ZINT(TRANSFORMATIONS_CONFORMES_____editer_les_coordonnees_de_load_et_de_store,FAUX))); /* Introduit le 20120604114055 pour verifier le bon fonctionnement... */ DEFV(Common,DEFV(Logical,ZINT(TRANSFORMATIONS_CONFORMES_____permuter_les_coordonnees_de_load_et_de_store,FAUX))); /* Introduit le 20120521151900 afin de permettre la permutation de {new_X,new_Y} et de */ /* {X,Y}... */ /* */ /* ATTENTION, on notera que cet indicateur ne peut etre defini dans 'v $ximcf/conformes$FON' */ /* car il est reference dans chacun des blocs de fonctions qu'il contient et ne peut etre */ /* defini qu'une seule fois (dans le premier bloc...). */ DEFV(Common,DEFV(Float,INIT(TRANSFORMATION__Z_HOMOGRAPHIQUE_____exposant_du_numerateur__,FU))); DEFV(Common,DEFV(Float,INIT(TRANSFORMATION__Z_HOMOGRAPHIQUE_____exposant_du_denominateur,FU))); DEFV(Common,DEFV(Float,INIT(TRANSFORMATION__Q_HOMOGRAPHIQUE_____exposant_du_numerateur__,FU))); DEFV(Common,DEFV(Float,INIT(TRANSFORMATION__Q_HOMOGRAPHIQUE_____exposant_du_denominateur,FU))); DEFV(Common,DEFV(Float,INIT(TRANSFORMATION__O_HOMOGRAPHIQUE_____exposant_du_numerateur__,FU))); DEFV(Common,DEFV(Float,INIT(TRANSFORMATION__O_HOMOGRAPHIQUE_____exposant_du_denominateur,FU))); /* Exposants introduits le 20210325103858 pour generaliser les transformations */ /* homographiques... */ _______________________________________________________________________________________________________________________________________ _______________________________________________________________________________________________________________________________________ /*===================================================================================================================================*/ /*************************************************************************************************************************************/ /* */ /* O P T I O N D E C O M P A T I B I L I T E D E S N O M B R E S C O M P L E X E S : */ /* */ /*************************************************************************************************************************************/ DEFV(Common,DEFV(Logical,SINT(FCcosinus_____compatibilite_20230206,VRAI))); /* Permet de controler le cosinus circulaire complexe (introduit le 20230206165628). */ /* */ /* Le 20240626080628, passage de 'FAUX' a 'VRAI' valide par 'v $xcg/z_COSX2_SINX2.01$K'... */ DEFV(Common,DEFV(Logical,SINT(FCcosinus_____compatibilite_20230321,FAUX))); /* Permet de controler le cosinus circulaire complexe (introduit le 20230321184926). */ /* */ /* Le 20230322105156, passage de 'FAUX' a 'VRAI', la definition donnee par ChatGPT etant */ /* apparemment fausse ('v $xcg/z_COSX2_SINX2.01$K' ne donnant pas {1,0})... */ /* */ /* Le 20240626080628, passage de 'VRAI' a 'FAUX' valide par 'v $xcg/z_COSX2_SINX2.01$K'... */ DEFV(Common,DEFV(Logical,SINT(FCsinus_____compatibilite_20230206,VRAI))); /* Permet de controler le sinus circulaire complexe (introduit le 20230206165628). */ /* */ /* Le 20240626080628, passage de 'FAUX' a 'VRAI' valide par 'v $xcg/z_COSX2_SINX2.01$K'... */ DEFV(Common,DEFV(Logical,SINT(FCsinus_____compatibilite_20230321,FAUX))); /* Permet de controler le sinus circulaire complexe (introduit le 20230321184926). */ /* */ /* Le 20230322105156, passage de 'FAUX' a 'VRAI', la definition donnee par ChatGPT etant */ /* apparemment fausse ('v $xcg/z_COSX2_SINX2.01$K' ne donnant pas {1,0})... */ /* */ /* Le 20240626080628, passage de 'VRAI' a 'FAUX' valide par 'v $xcg/z_COSX2_SINX2.01$K'... */ DEFV(Common,DEFV(Logical,SINT(FCcosinus_hyperbolique_____compatibilite_20230206,VRAI))); /* Permet de controler le cosinus hyperbolique complexe (introduit le 20230206165628). */ /* */ /* Le 20240626080628, passage de 'FAUX' a 'VRAI' valide par 'v $xcg/z_COHX2_SIHX2.01$K'... */ DEFV(Common,DEFV(Logical,SINT(FCsinus_hyperbolique_____compatibilite_20230206,VRAI))); /* Permet de controler le sinus hyperbolique complexe (introduit le 20230206165628). */ /* */ /* Le 20240626080628, passage de 'FAUX' a 'VRAI' valide par 'v $xcg/z_COHX2_SIHX2.01$K'... */ _______________________________________________________________________________________________________________________________________ _______________________________________________________________________________________________________________________________________ /*===================================================================================================================================*/ /*************************************************************************************************************************************/ /* */ /* C O N T R O L E D E L ' A R I T H M E T I Q U E E T E N D U E */ /* L O R S D E C A L C U L S S U R L E S N O M B R E S C O M P L E X E S : */ /* */ /*************************************************************************************************************************************/ DEFV(Common,DEFV(Logical,SINS(C_____si_GooF_activable_arithmetique_etendue_au_lieu_arithmetique_de_base ,FAUX ) ) ); DEFV(Common,DEFV(Logical,SINS(FCsomme_____si_GooF_activable_arithmetique_etendue_au_lieu_arithmetique_de_base_dans_C,VRAI))); DEFV(Common,DEFV(Logical,SINS(FCdifference_____si_GooF_activable_arithmetique_etendue_au_lieu_arithmetique_de_base_dans_C,VRAI))); DEFV(Common,DEFV(Logical,SINS(FCproduit_____si_GooF_activable_arithmetique_etendue_au_lieu_arithmetique_de_base_dans_C,VRAI))); DEFV(Common,DEFV(Logical,SINS(FCquotient_____si_GooF_activable_arithmetique_etendue_au_lieu_arithmetique_de_base_dans_C,VRAI))); /* Controle de l'arithmetique etendue pour {FCsomme,FCdifference,FCproduit,FCquotient}. */ /* Ceci fut introduit le 20070129101245... */ /* */ /* Le 20070130085747, un indicateur "global" fut introduit. Cela a conduit a basculer de */ /* 'FAUX' a 'VRAI' les indicateurs de {FCsomme,FCdifference,FCproduit,FCquotient} par */ /* defaut... */ _______________________________________________________________________________________________________________________________________ _______________________________________________________________________________________________________________________________________ /*===================================================================================================================================*/ /*************************************************************************************************************************************/ /* */ /* D E F I N I T I O N D E S S E R I E S T R I G O N O M E T R I Q U E S : */ /* */ /*************************************************************************************************************************************/ DEFV(Common,DEFV(Int,ZINT(CALCUL_TERME_COURANT_SERIE_TRIGONOMETRIQUE_____indice_maximal_d_une_serie_trigonometrique,DIX))); /* Parametre introduit le 20210209123346... */ DEFV(Common,DEFV(Logical,ZINT(CALCUL_TERME_COURANT_SERIE_TRIGONOMETRIQUE_____une_puissance_unite_est_neutre,VRAI))); /* Parametre introduit le 20210218094738... */ _______________________________________________________________________________________________________________________________________ _______________________________________________________________________________________________________________________________________ /*===================================================================================================================================*/ /*************************************************************************************************************************************/ /* */ /* C A L C U L F O L K L O R I Q U E D E ' FgCsomme__(...) ' E T D E ' FgCproduit(...) ' : */ /* */ /*************************************************************************************************************************************/ DEFV(Common,DEFV(Logical,ZINT(FgCsomme_FgCproduit_____autoriser_l_arithmetique_folklorique_dans_C,FAUX))); /* Indicateur introduit le 20181210163550... */ _______________________________________________________________________________________________________________________________________ _______________________________________________________________________________________________________________________________________ /*===================================================================================================================================*/ /*************************************************************************************************************************************/ /* */ /* N O M B R E S C O M P L E X E S E S S E N T I E L S : */ /* */ /*************************************************************************************************************************************/ DEFV(Common,DEFV(complexe,INIS(C_____nombre_complexe__0__0 ,DEFINITION_DE__C_____nombre_complexe__0__0 ) ) ); /* Nombre (+0,+0)=0. */ DEFV(Common,DEFV(complexe,INIS(C_____nombre_complexe_p1__0 ,IstructL02(NEUT(NEUT(R1_Complexe)) ,NEUT(NEUT(I0_Complexe)) ) ) ) ); /* Nombre (+1,+0)=+1. */ DEFV(Common,DEFV(complexe,INIS(C_____nombre_complexe__0_p1 ,IstructL02(NEUT(NEUT(R0_Complexe)) ,NEUT(NEUT(I1_Complexe)) ) ) ) ); /* Nombre (+0,+1)=+i (dit "Imaginaire pur"). */ DEFV(Common,DEFV(complexe,INIS(C_____nombre_complexe_m1__0 ,IstructL02(NEGA(NEUT(R1_Complexe)) ,NEUT(NEUT(I0_Complexe)) ) ) ) ); /* Nombre (-1,+0)=-1. */ DEFV(Common,DEFV(complexe,INIS(C_____nombre_complexe__0_m1 ,IstructL02(NEUT(NEUT(R0_Complexe)) ,NEGA(NEUT(I1_Complexe)) ) ) ) ); /* Nombre (+0,-1)=-i. */ DEFV(Common,DEFV(complexe,INIS(C_____nombre_complexe_p2__0 ,IstructL02(NEUT(DOUB(R1_Complexe)) ,NEUT(NEUT(I0_Complexe)) ) ) ) ); /* Nombre (+2,+0)=+2. */ DEFV(Common,DEFV(complexe,INIS(C_____nombre_complexe__0_p2 ,IstructL02(NEUT(NEUT(R0_Complexe)) ,NEUT(DOUB(I1_Complexe)) ) ) ) ); /* Nombre (+0,+2)=+2i. */ DEFV(Common,DEFV(complexe,INIS(C_____nombre_complexe_m2__0 ,IstructL02(NEGA(DOUB(R1_Complexe)) ,NEUT(NEUT(I0_Complexe)) ) ) ) ); /* Nombre (-2,+0)=-2. */ DEFV(Common,DEFV(complexe,INIS(C_____nombre_complexe__0_m2 ,IstructL02(NEUT(NEUT(R0_Complexe)) ,NEGA(DOUB(I1_Complexe)) ) ) ) ); /* Nombre (+0,-2)=-2i. */ _______________________________________________________________________________________________________________________________________ _______________________________________________________________________________________________________________________________________ /*===================================================================================================================================*/ /*************************************************************************************************************************************/ /* */ /* O P T I O N D E C O M P A T I B I L I T E D E S N O M B R E S H Y P E R - C O M P L E X E S : */ /* */ /*************************************************************************************************************************************/ DEFV(Common,DEFV(Logical,SINT(FHCdefinition_trigonometrique_____compatibilite_20230320,VRAI))); /* Permet de controler definition trigonometrique hyper-complexe (introduit le */ /* 20230320141622). */ /* */ /* Le 20230322121850, passage de 'FAUX' a 'VRAI'... */ DEFV(Common,DEFV(Logical,SINT(FHCexponentielle_____compatibilite_20061206,FAUX))); /* Permet de controler l'exponentielle hyper-complexe (introduit le 20061206223738). */ DEFV(Common,DEFV(Logical,SINT(FHCexponentielle_____compatibilite_20230204,FAUX))); /* Permet de controler l'exponentielle hyper-complexe (introduit le 20230204075351). */ DEFV(Common,DEFV(Logical,SINT(FHClogarithme_____compatibilite_20230204,FAUX))); /* Permet de controler le logarithme hyper-complexe (introduit le 20230204110648). */ DEFV(Common,DEFV(Logical,SINT(FHCcosinus_____compatibilite_20230206,FAUX))); /* Permet de controler le cosinus circulaire hyper-complexe (introduit le 20230206093707). */ DEFV(Common,DEFV(Logical,SINT(FHCcosinus_____compatibilite_20230321,VRAI))); /* Permet de controler le cosinus circulaire hyper-complexe (introduit le 20230321184926). */ /* */ /* Le 20230322105156, passage de 'FAUX' a 'VRAI', la definition donnee par ChatGPT etant */ /* apparemment fausse ('v $xcg/q_COSX2_SINX2.01$K' ne donnant pas {1,0,0,0})... */ DEFV(Common,DEFV(Logical,SINT(FHCsinus_____compatibilite_20230206,FAUX))); /* Permet de controler le sinus circulaire hyper-complexe (introduit le 20230206093707). */ DEFV(Common,DEFV(Logical,SINT(FHCsinus_____compatibilite_20230321,VRAI))); /* Permet de controler le sinus circulaire hyper-complexe (introduit le 20230321184926). */ /* */ /* Le 20230322105156, passage de 'FAUX' a 'VRAI', la definition donnee par ChatGPT etant */ /* apparemment fausse ('v $xcg/q_COSX2_SINX2.01$K' ne donnant pas {1,0,0,0})... */ DEFV(Common,DEFV(Logical,SINT(FHCcosinus_hyperbolique_____compatibilite_20230206,FAUX))); /* Permet de controler le cosinus hyperbolique hyper-complexe (introduit le 20230206093707). */ DEFV(Common,DEFV(Logical,SINT(FHCsinus_hyperbolique_____compatibilite_20230206,FAUX))); /* Permet de controler le sinus hyperbolique hyper-complexe (introduit le 20230206093707). */ _______________________________________________________________________________________________________________________________________ _______________________________________________________________________________________________________________________________________ /*===================================================================================================================================*/ /*************************************************************************************************************************************/ /* */ /* C O N T R O L E D E L ' A R I T H M E T I Q U E E T E N D U E */ /* L O R S D E C A L C U L S S U R L E S N O M B R E S H Y P E R - C O M P L E X E S : */ /* */ /*************************************************************************************************************************************/ DEFV(Common,DEFV(Logical,SINS(HC_____si_GooF_activable_arithmetique_etendue_au_lieu_arithmetique_de_base ,FAUX ) ) ); DEFV(Common,DEFV(Logical,SINS(FHCinitialisation_____si_GooF_activable_arithmetique_etendue_au_lieu_arithmetique_de_base_dans_HC ,FAUX ) ) ); DEFV(Common,DEFV(Logical,SINS(FHCsomme_____si_GooF_activable_arithmetique_etendue_au_lieu_arithmetique_de_base_dans_HC,VRAI))); DEFV(Common,DEFV(Logical,SINS(FHCdifference_____si_GooF_activable_arithmetique_etendue_au_lieu_arithmetique_de_base_dans_HC,VRAI))); DEFV(Common,DEFV(Logical,SINS(FHCproduit_____si_GooF_activable_arithmetique_etendue_au_lieu_arithmetique_de_base_dans_HC,VRAI))); DEFV(Common,DEFV(Logical,SINS(FHCproduit_____si_GooF_activable_et_si_arithmetique_etendue_aller_dans_CxC_au_lieu_de_HC,FAUX))); DEFV(Common,DEFV(Logical,SINS(FHCquotient_____si_GooF_activable_arithmetique_etendue_au_lieu_arithmetique_de_base_dans_HC,VRAI))); /* Controle de l'arithmetique etendue pour {FHCsomme,FHCdifference,FHCproduit,FHCquotient}. */ /* Ceci fut introduit le 20070129101245... */ /* */ /* Le 20070130085747, un indicateur "global" fut introduit. Cela a conduit a basculer de */ /* 'FAUX' a 'VRAI' les indicateurs de {FHCsomme,FHCdifference,FHCproduit,FHCquotient} par */ /* defaut... */ /* */ /* Le 20100521140614, l'indicateur relatif a 'FHCinitialisation(...)' a ete introduite, */ /* sa valeur par defaut ('FAUX') garantissant la compatibilite anterieure... */ /* */ /* Le 20120918141516 fut introduite la possibilite de se placer dans CxC au lieu de HC. */ _______________________________________________________________________________________________________________________________________ _______________________________________________________________________________________________________________________________________ /*===================================================================================================================================*/ /*************************************************************************************************************************************/ /* */ /* C H O I X E N T R E L E " B O N " P R O D U I T E T U N " F A U X " */ /* L O R S D E P R O D U I T S S U R L E S N O M B R E S H Y P E R - C O M P L E X E S : */ /* */ /*************************************************************************************************************************************/ DEFV(Common,DEFV(Logical,SINS(FHCproduit_____utiliser_la_definition_theorique_du_produit,VRAI))); /* Introduit le 20091119083500 afin de pouvoir remplacer a la demande le "bon" produit */ /* par un "faux" produit inspire de ce qu'il se passe dans les complexes en coordonnees */ /* polaires ou les modules sont multiplies et les arguments additionnes ; c'est ce qui */ /* sera alors fait dans les hyper-complexes : les modules seront multiplies et les trois */ /* angles tout simplement additionnes... */ DEFV(Common,DEFV(Float,SINS(FHCproduit_____avec_le_produit_non_theorique__Horner_R2R2,FZERO))); DEFV(Common,DEFV(Float,SINS(FHCproduit_____avec_le_produit_non_theorique__Horner_R2R1,FZERO))); DEFV(Common,DEFV(Float,SINS(FHCproduit_____avec_le_produit_non_theorique__Horner_R2R0,FZERO))); DEFV(Common,DEFV(Float,SINS(FHCproduit_____avec_le_produit_non_theorique__Horner_R1R2,FZERO))); DEFV(Common,DEFV(Float,SINS(FHCproduit_____avec_le_produit_non_theorique__Horner_R1R1,FU))); DEFV(Common,DEFV(Float,SINS(FHCproduit_____avec_le_produit_non_theorique__Horner_R1R0,FZERO))); DEFV(Common,DEFV(Float,SINS(FHCproduit_____avec_le_produit_non_theorique__Horner_R0R2,FZERO))); DEFV(Common,DEFV(Float,SINS(FHCproduit_____avec_le_produit_non_theorique__Horner_R0R1,FZERO))); DEFV(Common,DEFV(Float,SINS(FHCproduit_____avec_le_produit_non_theorique__Horner_R0R0,FZERO))); /* Definition de la combinaison entre les modules 'Rho' (par defaut le produit) */ /* introduite le 20091130105555. */ DEFV(Common,DEFV(Float,SINS(FHCproduit_____avec_le_produit_non_theorique__Horner_T2T2,FZERO))); DEFV(Common,DEFV(Float,SINS(FHCproduit_____avec_le_produit_non_theorique__Horner_T2T1,FZERO))); DEFV(Common,DEFV(Float,SINS(FHCproduit_____avec_le_produit_non_theorique__Horner_T2T0,FZERO))); DEFV(Common,DEFV(Float,SINS(FHCproduit_____avec_le_produit_non_theorique__Horner_T1T2,FZERO))); DEFV(Common,DEFV(Float,SINS(FHCproduit_____avec_le_produit_non_theorique__Horner_T1T1,FZERO))); DEFV(Common,DEFV(Float,SINS(FHCproduit_____avec_le_produit_non_theorique__Horner_T1T0,FU))); DEFV(Common,DEFV(Float,SINS(FHCproduit_____avec_le_produit_non_theorique__Horner_T0T2,FZERO))); DEFV(Common,DEFV(Float,SINS(FHCproduit_____avec_le_produit_non_theorique__Horner_T0T1,FU))); DEFV(Common,DEFV(Float,SINS(FHCproduit_____avec_le_produit_non_theorique__Horner_T0T0,FZERO))); /* Definition de la combinaison entre les arguments 'theta' (par defaut la somme) */ /* introduite le 20091130105555. */ DEFV(Common,DEFV(Float,SINS(FHCproduit_____avec_le_produit_non_theorique__Horner_P2P2,FZERO))); DEFV(Common,DEFV(Float,SINS(FHCproduit_____avec_le_produit_non_theorique__Horner_P2P1,FZERO))); DEFV(Common,DEFV(Float,SINS(FHCproduit_____avec_le_produit_non_theorique__Horner_P2P0,FZERO))); DEFV(Common,DEFV(Float,SINS(FHCproduit_____avec_le_produit_non_theorique__Horner_P1P2,FZERO))); DEFV(Common,DEFV(Float,SINS(FHCproduit_____avec_le_produit_non_theorique__Horner_P1P1,FZERO))); DEFV(Common,DEFV(Float,SINS(FHCproduit_____avec_le_produit_non_theorique__Horner_P1P0,FU))); DEFV(Common,DEFV(Float,SINS(FHCproduit_____avec_le_produit_non_theorique__Horner_P0P2,FZERO))); DEFV(Common,DEFV(Float,SINS(FHCproduit_____avec_le_produit_non_theorique__Horner_P0P1,FU))); DEFV(Common,DEFV(Float,SINS(FHCproduit_____avec_le_produit_non_theorique__Horner_P0P0,FZERO))); /* Definition de la combinaison entre les arguments 'phi' (par defaut la somme) */ /* introduite le 20091130105555. */ DEFV(Common,DEFV(Float,SINS(FHCproduit_____avec_le_produit_non_theorique__Horner_A2A2,FZERO))); DEFV(Common,DEFV(Float,SINS(FHCproduit_____avec_le_produit_non_theorique__Horner_A2A1,FZERO))); DEFV(Common,DEFV(Float,SINS(FHCproduit_____avec_le_produit_non_theorique__Horner_A2A0,FZERO))); DEFV(Common,DEFV(Float,SINS(FHCproduit_____avec_le_produit_non_theorique__Horner_A1A2,FZERO))); DEFV(Common,DEFV(Float,SINS(FHCproduit_____avec_le_produit_non_theorique__Horner_A1A1,FZERO))); DEFV(Common,DEFV(Float,SINS(FHCproduit_____avec_le_produit_non_theorique__Horner_A1A0,FU))); DEFV(Common,DEFV(Float,SINS(FHCproduit_____avec_le_produit_non_theorique__Horner_A0A2,FZERO))); DEFV(Common,DEFV(Float,SINS(FHCproduit_____avec_le_produit_non_theorique__Horner_A0A1,FU))); DEFV(Common,DEFV(Float,SINS(FHCproduit_____avec_le_produit_non_theorique__Horner_A0A0,FZERO))); /* Definition de la combinaison entre les arguments 'alpha' (par defaut la somme) */ /* introduite le 20091130105555. */ DEFV(Common,DEFV(Float,SINS(FHCproduit_____avec_le_produit_non_theorique__ponder1_Rho__,FU))); DEFV(Common,DEFV(Float,SINS(FHCproduit_____avec_le_produit_non_theorique__exposa1_Rho__,FU))); DEFV(Common,DEFV(Float,SINS(FHCproduit_____avec_le_produit_non_theorique__transl1_Rho__,FZERO))); DEFV(Common,DEFV(Logical,SINS(FHCproduit_____avec_le_produit_non_theorique__modulo_Theta_,FAUX))); DEFV(Common,DEFV(Float,SINS(FHCproduit_____avec_le_produit_non_theorique__ponder1_Theta_,FU))); DEFV(Common,DEFV(Float,SINS(FHCproduit_____avec_le_produit_non_theorique__transl1_Theta_,FZERO))); DEFV(Common,DEFV(Logical,SINS(FHCproduit_____avec_le_produit_non_theorique__modulo_Phi__,FAUX))); DEFV(Common,DEFV(Float,SINS(FHCproduit_____avec_le_produit_non_theorique__ponder1_Phi__,FU))); DEFV(Common,DEFV(Float,SINS(FHCproduit_____avec_le_produit_non_theorique__transl1_Phi__,FZERO))); DEFV(Common,DEFV(Logical,SINS(FHCproduit_____avec_le_produit_non_theorique__modulo_Alpha,FAUX))); DEFV(Common,DEFV(Float,SINS(FHCproduit_____avec_le_produit_non_theorique__ponder1_Alpha,FU))); DEFV(Common,DEFV(Float,SINS(FHCproduit_____avec_le_produit_non_theorique__transl1_Alpha,FZERO))); /* Introduit le 20091120104546 afin de pouvoir transformer lineairement {theta,phi,alpha} */ /* lorsque 'IL_NE_FAUT_PAS(FHCproduit_____utiliser_la_definition_theorique_du_produit'... */ /* */ /* Le 20100112154512 fut introduit 'exposa1_Rho__'. */ /* */ /* Le 20100210170005 fut introduit la possibilite de gerer modulo 2.pi {theta,phi,alpha}, */ /* ceci etant inhibe par defaut pour des raisons de compatibilite anterieure... */ DEFV(Common,DEFV(Float,SINS(FHCproduit_____avec_le_produit_non_theorique__ponder2_Theta_Theta_,FU))); DEFV(Common,DEFV(Float,SINS(FHCproduit_____avec_le_produit_non_theorique__ponder2_Theta_Phi__,FZERO))); DEFV(Common,DEFV(Float,SINS(FHCproduit_____avec_le_produit_non_theorique__ponder2_Theta_Alpha,FZERO))); DEFV(Common,DEFV(Float,SINS(FHCproduit_____avec_le_produit_non_theorique__transl2_Theta_,FZERO))); DEFV(Common,DEFV(Float,SINS(FHCproduit_____avec_le_produit_non_theorique__ponder2_Phi__Theta_,FZERO))); DEFV(Common,DEFV(Float,SINS(FHCproduit_____avec_le_produit_non_theorique__ponder2_Phi__Phi__,FU))); DEFV(Common,DEFV(Float,SINS(FHCproduit_____avec_le_produit_non_theorique__ponder2_Phi__Alpha,FZERO))); DEFV(Common,DEFV(Float,SINS(FHCproduit_____avec_le_produit_non_theorique__transl2_Phi__,FZERO))); DEFV(Common,DEFV(Float,SINS(FHCproduit_____avec_le_produit_non_theorique__ponder2_AlphaTheta_,FZERO))); DEFV(Common,DEFV(Float,SINS(FHCproduit_____avec_le_produit_non_theorique__ponder2_AlphaPhi__,FZERO))); DEFV(Common,DEFV(Float,SINS(FHCproduit_____avec_le_produit_non_theorique__ponder2_AlphaAlpha,FU))); DEFV(Common,DEFV(Float,SINS(FHCproduit_____avec_le_produit_non_theorique__transl2_Alpha,FZERO))); /* Introduit le 20091127082232 afin d'assurer la compatibilite avec les resultats publies */ /* par 'v http://www.skytopia.com/project/fractal/mandelbulb.html' (voir a ce propos : */ /* 'v $ximcd/operator$FON 20091127073622'...). Les valeurs par defaut assurent la */ /* compatibilite anterieure. */ _______________________________________________________________________________________________________________________________________ _______________________________________________________________________________________________________________________________________ /*===================================================================================================================================*/ /*************************************************************************************************************************************/ /* */ /* O P T I O N D E C O M P A T I B I L I T E D E S N O M B R E S H Y P E R - H Y P E R - C O M P L E X E S : */ /* */ /*************************************************************************************************************************************/ DEFV(Common,DEFV(Logical,SINT(FHHCdefinition_trigonometrique_____compatibilite_20230320,VRAI))); /* Permet de controler definition trigonometrique hyper-complexe (introduit le */ /* 20230320141622). */ /* */ /* Le 20230322121850, passage de 'FAUX' a 'VRAI'... */ DEFV(Common,DEFV(Logical,SINT(FHHCexponentielle_____compatibilite_20110829,FAUX))); /* Permet de controler l'exponentielle hyper-hyper-complexe (introduit le 20110829144338). */ /* En fait, evidemment, cela ne sert a rien mais est introduit a priori par symetrie avec */ /* 'FHCexponentielle_____compatibilite_20061206' qui elle est utile et utilisee (voir a ce */ /* propos 'v $xrc/racN.41$K FHCexponentielle_____compatibilite_20061206'). */ DEFV(Common,DEFV(Logical,SINT(FHHCexponentielle_____compatibilite_20230204,FAUX))); /* Permet de controler l'exponentielle hyper-hyper-complexe (introduit le 20230204075351). */ DEFV(Common,DEFV(Logical,SINT(FHHClogarithme_____compatibilite_20230204,FAUX))); /* Permet de controler le logarithme hyper-hyper-complexe (introduit le 20230204110648). */ DEFV(Common,DEFV(Logical,SINT(FHHCcosinus_____compatibilite_20230206,FAUX))); /* Permet de controler le cosinus circulaire hyper-hyper-complexe (introduit le */ /* 20230206093707). */ DEFV(Common,DEFV(Logical,SINT(FHHCcosinus_____compatibilite_20230321,VRAI))); /* Permet de controler le cosinus circulaire hyper-hyper-complexe (introduit le */ /* 20230321184926). */ /* */ /* Le 20230322105156, passage de 'FAUX' a 'VRAI', la definition donnee par ChatGPT etant */ /* apparemment fausse ('v $xcg/o_COSX2_SINX2.01$K' ne donnant pas {1,0,0,0,0,0,0,0})... */ DEFV(Common,DEFV(Logical,SINT(FHHCsinus_____compatibilite_20230206,FAUX))); /* Permet de controler le sinus circulaire hyper-hyper-complexe (introduit le */ /* 20230206093707). */ DEFV(Common,DEFV(Logical,SINT(FHHCsinus_____compatibilite_20230321,VRAI))); /* Permet de controler le sinus circulaire hyper-hyper-complexe (introduit le */ /* 20230321184926). */ /* */ /* Le 20230322105156, passage de 'FAUX' a 'VRAI', la definition donnee par ChatGPT etant */ /* apparemment fausse ('v $xcg/o_COSX2_SINX2.01$K' ne donnant pas {1,0,0,0,0,0,0,0})... */ DEFV(Common,DEFV(Logical,SINT(FHHCcosinus_hyperbolique_____compatibilite_20230206,FAUX))); /* Permet de controler le cosinus hyperbolique hyper-hyper-complexe (introduit le */ /* 20230206093707). */ DEFV(Common,DEFV(Logical,SINT(FHHCsinus_hyperbolique_____compatibilite_20230206,FAUX))); /* Permet de controler le sinus hyperbolique hyper-hyper-complexe (introduit le */ /* 20230206093707). */ _______________________________________________________________________________________________________________________________________ _______________________________________________________________________________________________________________________________________ /*===================================================================================================================================*/ /*************************************************************************************************************************************/ /* */ /* C O N T R O L E D E L ' A R I T H M E T I Q U E E T E N D U E */ /* L O R S D E C A L C U L S S U R L E S N O M B R E S H Y P E R - H Y P E R - C O M P L E X E S : */ /* */ /*************************************************************************************************************************************/ DEFV(Common,DEFV(Logical,SINS(HHC_____si_GooF_activable_arithmetique_etendue_au_lieu_arithmetique_de_base ,FAUX ) ) ); DEFV(Common,DEFV(Logical,SINS(FHHCinitialisation_____si_GooF_activable_arithmetique_etendue_au_lieu_arithmetique_de_base_dans_HHC ,FAUX ) ) ); DEFV(Common,DEFV(Logical,SINS(FHHCsomme_____si_GooF_activable_arithmetique_etendue_au_lieu_arithmetique_de_base_dans_HHC,VRAI))); DEFV(Common,DEFV(Logical,SINS(FHHCdifference_____si_GooF_activable_arithmetique_etendue_au_lieu_arithmetique_de_base_dans_HHC,VRAI))); DEFV(Common,DEFV(Logical,SINS(FHHCproduit_____si_GooF_activable_arithmetique_etendue_au_lieu_arithmetique_de_base_dans_HHC,VRAI))); DEFV(Common,DEFV(Logical,SINS(FHHCproduit_____si_GooF_activable_et_si_arithmetique_etendue_aller_dans_CxCxCxC_au_lieu_de_HHC,FAUX))); DEFV(Common,DEFV(Logical,SINS(FHHCquotient_____si_GooF_activable_arithmetique_etendue_au_lieu_arithmetique_de_base_dans_HHC,VRAI))); /* Ceci fut introduit le 20110811152721 afin de controler l'arithmetique etendue pour */ /* {FHHCsomme,FHHCdifference,FHHCproduit,FHHCquotient}. */ /* */ /* Le 20120918141516 fut introduite la possibilite de se placer dans CxCxCxC au lieu de HHC. */ _______________________________________________________________________________________________________________________________________ _______________________________________________________________________________________________________________________________________ /*===================================================================================================================================*/ /*************************************************************************************************************************************/ /* */ /* C H O I X E N T R E L E " B O N " P R O D U I T E T U N " F A U X " */ /* L O R S D E P R O D U I T S S U R L E S N O M B R E S H Y P E R - H Y P E R - C O M P L E X E S : */ /* */ /*************************************************************************************************************************************/ DEFV(Common,DEFV(Logical,SINS(FHHCproduit_____utiliser_la_definition_theorique_du_produit,VRAI))); /* Introduit le 20110811152721 afin de pouvoir remplacer a la demande le "bon" produit */ /* par un "faux" produit inspire de ce qu'il se passe dans les complexes en coordonnees */ /* polaires ou les modules sont multiplies et les arguments additionnes ; c'est ce qui */ /* sera alors fait dans les hyper-complexes : les modules seront multiplies et les trois */ /* angles tout simplement additionnes... */ DEFV(Common,DEFV(Float,SINS(FHHCproduit_____avec_le_produit_non_theorique__Horner_R2R2,FZERO))); DEFV(Common,DEFV(Float,SINS(FHHCproduit_____avec_le_produit_non_theorique__Horner_R2R1,FZERO))); DEFV(Common,DEFV(Float,SINS(FHHCproduit_____avec_le_produit_non_theorique__Horner_R2R0,FZERO))); DEFV(Common,DEFV(Float,SINS(FHHCproduit_____avec_le_produit_non_theorique__Horner_R1R2,FZERO))); DEFV(Common,DEFV(Float,SINS(FHHCproduit_____avec_le_produit_non_theorique__Horner_R1R1,FU))); DEFV(Common,DEFV(Float,SINS(FHHCproduit_____avec_le_produit_non_theorique__Horner_R1R0,FZERO))); DEFV(Common,DEFV(Float,SINS(FHHCproduit_____avec_le_produit_non_theorique__Horner_R0R2,FZERO))); DEFV(Common,DEFV(Float,SINS(FHHCproduit_____avec_le_produit_non_theorique__Horner_R0R1,FZERO))); DEFV(Common,DEFV(Float,SINS(FHHCproduit_____avec_le_produit_non_theorique__Horner_R0R0,FZERO))); /* Definition de la combinaison entre les modules 'Rho' (par defaut le produit). */ DEFV(Common,DEFV(Float,SINS(FHHCproduit_____avec_le_produit_non_theorique__Horner_A12A12,FZERO))); DEFV(Common,DEFV(Float,SINS(FHHCproduit_____avec_le_produit_non_theorique__Horner_A12A11,FZERO))); DEFV(Common,DEFV(Float,SINS(FHHCproduit_____avec_le_produit_non_theorique__Horner_A12A10,FZERO))); DEFV(Common,DEFV(Float,SINS(FHHCproduit_____avec_le_produit_non_theorique__Horner_A11A12,FZERO))); DEFV(Common,DEFV(Float,SINS(FHHCproduit_____avec_le_produit_non_theorique__Horner_A11A11,FZERO))); DEFV(Common,DEFV(Float,SINS(FHHCproduit_____avec_le_produit_non_theorique__Horner_A11A10,FU))); DEFV(Common,DEFV(Float,SINS(FHHCproduit_____avec_le_produit_non_theorique__Horner_A10A12,FZERO))); DEFV(Common,DEFV(Float,SINS(FHHCproduit_____avec_le_produit_non_theorique__Horner_A10A11,FU))); DEFV(Common,DEFV(Float,SINS(FHHCproduit_____avec_le_produit_non_theorique__Horner_A10A10,FZERO))); /* Definition de la combinaison entre les arguments 'Angle1' (par defaut la somme). */ DEFV(Common,DEFV(Float,SINS(FHHCproduit_____avec_le_produit_non_theorique__Horner_A22A22,FZERO))); DEFV(Common,DEFV(Float,SINS(FHHCproduit_____avec_le_produit_non_theorique__Horner_A22A21,FZERO))); DEFV(Common,DEFV(Float,SINS(FHHCproduit_____avec_le_produit_non_theorique__Horner_A22A20,FZERO))); DEFV(Common,DEFV(Float,SINS(FHHCproduit_____avec_le_produit_non_theorique__Horner_A21A22,FZERO))); DEFV(Common,DEFV(Float,SINS(FHHCproduit_____avec_le_produit_non_theorique__Horner_A21A21,FZERO))); DEFV(Common,DEFV(Float,SINS(FHHCproduit_____avec_le_produit_non_theorique__Horner_A21A20,FU))); DEFV(Common,DEFV(Float,SINS(FHHCproduit_____avec_le_produit_non_theorique__Horner_A20A22,FZERO))); DEFV(Common,DEFV(Float,SINS(FHHCproduit_____avec_le_produit_non_theorique__Horner_A20A21,FU))); DEFV(Common,DEFV(Float,SINS(FHHCproduit_____avec_le_produit_non_theorique__Horner_A20A20,FZERO))); /* Definition de la combinaison entre les arguments 'Angle2' (par defaut la somme). */ DEFV(Common,DEFV(Float,SINS(FHHCproduit_____avec_le_produit_non_theorique__Horner_A32A32,FZERO))); DEFV(Common,DEFV(Float,SINS(FHHCproduit_____avec_le_produit_non_theorique__Horner_A32A31,FZERO))); DEFV(Common,DEFV(Float,SINS(FHHCproduit_____avec_le_produit_non_theorique__Horner_A32A30,FZERO))); DEFV(Common,DEFV(Float,SINS(FHHCproduit_____avec_le_produit_non_theorique__Horner_A31A32,FZERO))); DEFV(Common,DEFV(Float,SINS(FHHCproduit_____avec_le_produit_non_theorique__Horner_A31A31,FZERO))); DEFV(Common,DEFV(Float,SINS(FHHCproduit_____avec_le_produit_non_theorique__Horner_A31A30,FU))); DEFV(Common,DEFV(Float,SINS(FHHCproduit_____avec_le_produit_non_theorique__Horner_A30A32,FZERO))); DEFV(Common,DEFV(Float,SINS(FHHCproduit_____avec_le_produit_non_theorique__Horner_A30A31,FU))); DEFV(Common,DEFV(Float,SINS(FHHCproduit_____avec_le_produit_non_theorique__Horner_A30A30,FZERO))); /* Definition de la combinaison entre les arguments 'Angle3' (par defaut la somme). */ DEFV(Common,DEFV(Float,SINS(FHHCproduit_____avec_le_produit_non_theorique__Horner_A42A42,FZERO))); DEFV(Common,DEFV(Float,SINS(FHHCproduit_____avec_le_produit_non_theorique__Horner_A42A41,FZERO))); DEFV(Common,DEFV(Float,SINS(FHHCproduit_____avec_le_produit_non_theorique__Horner_A42A40,FZERO))); DEFV(Common,DEFV(Float,SINS(FHHCproduit_____avec_le_produit_non_theorique__Horner_A41A42,FZERO))); DEFV(Common,DEFV(Float,SINS(FHHCproduit_____avec_le_produit_non_theorique__Horner_A41A41,FZERO))); DEFV(Common,DEFV(Float,SINS(FHHCproduit_____avec_le_produit_non_theorique__Horner_A41A40,FU))); DEFV(Common,DEFV(Float,SINS(FHHCproduit_____avec_le_produit_non_theorique__Horner_A40A42,FZERO))); DEFV(Common,DEFV(Float,SINS(FHHCproduit_____avec_le_produit_non_theorique__Horner_A40A41,FU))); DEFV(Common,DEFV(Float,SINS(FHHCproduit_____avec_le_produit_non_theorique__Horner_A40A40,FZERO))); /* Definition de la combinaison entre les arguments 'Angle4' (par defaut la somme). */ DEFV(Common,DEFV(Float,SINS(FHHCproduit_____avec_le_produit_non_theorique__Horner_A52A52,FZERO))); DEFV(Common,DEFV(Float,SINS(FHHCproduit_____avec_le_produit_non_theorique__Horner_A52A51,FZERO))); DEFV(Common,DEFV(Float,SINS(FHHCproduit_____avec_le_produit_non_theorique__Horner_A52A50,FZERO))); DEFV(Common,DEFV(Float,SINS(FHHCproduit_____avec_le_produit_non_theorique__Horner_A51A52,FZERO))); DEFV(Common,DEFV(Float,SINS(FHHCproduit_____avec_le_produit_non_theorique__Horner_A51A51,FZERO))); DEFV(Common,DEFV(Float,SINS(FHHCproduit_____avec_le_produit_non_theorique__Horner_A51A50,FU))); DEFV(Common,DEFV(Float,SINS(FHHCproduit_____avec_le_produit_non_theorique__Horner_A50A52,FZERO))); DEFV(Common,DEFV(Float,SINS(FHHCproduit_____avec_le_produit_non_theorique__Horner_A50A51,FU))); DEFV(Common,DEFV(Float,SINS(FHHCproduit_____avec_le_produit_non_theorique__Horner_A50A50,FZERO))); /* Definition de la combinaison entre les arguments 'Angle5' (par defaut la somme). */ DEFV(Common,DEFV(Float,SINS(FHHCproduit_____avec_le_produit_non_theorique__Horner_A62A62,FZERO))); DEFV(Common,DEFV(Float,SINS(FHHCproduit_____avec_le_produit_non_theorique__Horner_A62A61,FZERO))); DEFV(Common,DEFV(Float,SINS(FHHCproduit_____avec_le_produit_non_theorique__Horner_A62A60,FZERO))); DEFV(Common,DEFV(Float,SINS(FHHCproduit_____avec_le_produit_non_theorique__Horner_A61A62,FZERO))); DEFV(Common,DEFV(Float,SINS(FHHCproduit_____avec_le_produit_non_theorique__Horner_A61A61,FZERO))); DEFV(Common,DEFV(Float,SINS(FHHCproduit_____avec_le_produit_non_theorique__Horner_A61A60,FU))); DEFV(Common,DEFV(Float,SINS(FHHCproduit_____avec_le_produit_non_theorique__Horner_A60A62,FZERO))); DEFV(Common,DEFV(Float,SINS(FHHCproduit_____avec_le_produit_non_theorique__Horner_A60A61,FU))); DEFV(Common,DEFV(Float,SINS(FHHCproduit_____avec_le_produit_non_theorique__Horner_A60A60,FZERO))); /* Definition de la combinaison entre les arguments 'Angle6' (par defaut la somme). */ DEFV(Common,DEFV(Float,SINS(FHHCproduit_____avec_le_produit_non_theorique__Horner_A72A72,FZERO))); DEFV(Common,DEFV(Float,SINS(FHHCproduit_____avec_le_produit_non_theorique__Horner_A72A71,FZERO))); DEFV(Common,DEFV(Float,SINS(FHHCproduit_____avec_le_produit_non_theorique__Horner_A72A70,FZERO))); DEFV(Common,DEFV(Float,SINS(FHHCproduit_____avec_le_produit_non_theorique__Horner_A71A72,FZERO))); DEFV(Common,DEFV(Float,SINS(FHHCproduit_____avec_le_produit_non_theorique__Horner_A71A71,FZERO))); DEFV(Common,DEFV(Float,SINS(FHHCproduit_____avec_le_produit_non_theorique__Horner_A71A70,FU))); DEFV(Common,DEFV(Float,SINS(FHHCproduit_____avec_le_produit_non_theorique__Horner_A70A72,FZERO))); DEFV(Common,DEFV(Float,SINS(FHHCproduit_____avec_le_produit_non_theorique__Horner_A70A71,FU))); DEFV(Common,DEFV(Float,SINS(FHHCproduit_____avec_le_produit_non_theorique__Horner_A70A70,FZERO))); /* Definition de la combinaison entre les arguments 'Angle7' (par defaut la somme). */ DEFV(Common,DEFV(Float,SINS(FHHCproduit_____avec_le_produit_non_theorique__ponder1_Rho,FU))); DEFV(Common,DEFV(Float,SINS(FHHCproduit_____avec_le_produit_non_theorique__exposa1_Rho,FU))); DEFV(Common,DEFV(Float,SINS(FHHCproduit_____avec_le_produit_non_theorique__transl1_Rho,FZERO))); DEFV(Common,DEFV(Logical,SINS(FHHCproduit_____avec_le_produit_non_theorique__modulo_Angle1,FAUX))); DEFV(Common,DEFV(Float,SINS(FHHCproduit_____avec_le_produit_non_theorique__ponder1_Angle1,FU))); DEFV(Common,DEFV(Float,SINS(FHHCproduit_____avec_le_produit_non_theorique__transl1_Angle1,FZERO))); DEFV(Common,DEFV(Logical,SINS(FHHCproduit_____avec_le_produit_non_theorique__modulo_Angle2,FAUX))); DEFV(Common,DEFV(Float,SINS(FHHCproduit_____avec_le_produit_non_theorique__ponder1_Angle2,FU))); DEFV(Common,DEFV(Float,SINS(FHHCproduit_____avec_le_produit_non_theorique__transl1_Angle2,FZERO))); DEFV(Common,DEFV(Logical,SINS(FHHCproduit_____avec_le_produit_non_theorique__modulo_Angle3,FAUX))); DEFV(Common,DEFV(Float,SINS(FHHCproduit_____avec_le_produit_non_theorique__ponder1_Angle3,FU))); DEFV(Common,DEFV(Float,SINS(FHHCproduit_____avec_le_produit_non_theorique__transl1_Angle3,FZERO))); DEFV(Common,DEFV(Logical,SINS(FHHCproduit_____avec_le_produit_non_theorique__modulo_Angle4,FAUX))); DEFV(Common,DEFV(Float,SINS(FHHCproduit_____avec_le_produit_non_theorique__ponder1_Angle4,FU))); DEFV(Common,DEFV(Float,SINS(FHHCproduit_____avec_le_produit_non_theorique__transl1_Angle4,FZERO))); DEFV(Common,DEFV(Logical,SINS(FHHCproduit_____avec_le_produit_non_theorique__modulo_Angle5,FAUX))); DEFV(Common,DEFV(Float,SINS(FHHCproduit_____avec_le_produit_non_theorique__ponder1_Angle5,FU))); DEFV(Common,DEFV(Float,SINS(FHHCproduit_____avec_le_produit_non_theorique__transl1_Angle5,FZERO))); DEFV(Common,DEFV(Logical,SINS(FHHCproduit_____avec_le_produit_non_theorique__modulo_Angle6,FAUX))); DEFV(Common,DEFV(Float,SINS(FHHCproduit_____avec_le_produit_non_theorique__ponder1_Angle6,FU))); DEFV(Common,DEFV(Float,SINS(FHHCproduit_____avec_le_produit_non_theorique__transl1_Angle6,FZERO))); DEFV(Common,DEFV(Logical,SINS(FHHCproduit_____avec_le_produit_non_theorique__modulo_Angle7,FAUX))); DEFV(Common,DEFV(Float,SINS(FHHCproduit_____avec_le_produit_non_theorique__ponder1_Angle7,FU))); DEFV(Common,DEFV(Float,SINS(FHHCproduit_____avec_le_produit_non_theorique__transl1_Angle7,FZERO))); DEFV(Common,DEFV(Float,SINS(FHHCproduit_____avec_le_produit_non_theorique__ponder2_Angle1Angle1,FU))); DEFV(Common,DEFV(Float,SINS(FHHCproduit_____avec_le_produit_non_theorique__ponder2_Angle1Angle2,FZERO))); DEFV(Common,DEFV(Float,SINS(FHHCproduit_____avec_le_produit_non_theorique__ponder2_Angle1Angle3,FZERO))); DEFV(Common,DEFV(Float,SINS(FHHCproduit_____avec_le_produit_non_theorique__ponder2_Angle1Angle4,FZERO))); DEFV(Common,DEFV(Float,SINS(FHHCproduit_____avec_le_produit_non_theorique__ponder2_Angle1Angle5,FZERO))); DEFV(Common,DEFV(Float,SINS(FHHCproduit_____avec_le_produit_non_theorique__ponder2_Angle1Angle6,FZERO))); DEFV(Common,DEFV(Float,SINS(FHHCproduit_____avec_le_produit_non_theorique__ponder2_Angle1Angle7,FZERO))); DEFV(Common,DEFV(Float,SINS(FHHCproduit_____avec_le_produit_non_theorique__transl2_Angle1,FZERO))); DEFV(Common,DEFV(Float,SINS(FHHCproduit_____avec_le_produit_non_theorique__ponder2_Angle2Angle1,FZERO))); DEFV(Common,DEFV(Float,SINS(FHHCproduit_____avec_le_produit_non_theorique__ponder2_Angle2Angle2,FU))); DEFV(Common,DEFV(Float,SINS(FHHCproduit_____avec_le_produit_non_theorique__ponder2_Angle2Angle3,FZERO))); DEFV(Common,DEFV(Float,SINS(FHHCproduit_____avec_le_produit_non_theorique__ponder2_Angle2Angle4,FZERO))); DEFV(Common,DEFV(Float,SINS(FHHCproduit_____avec_le_produit_non_theorique__ponder2_Angle2Angle5,FZERO))); DEFV(Common,DEFV(Float,SINS(FHHCproduit_____avec_le_produit_non_theorique__ponder2_Angle2Angle6,FZERO))); DEFV(Common,DEFV(Float,SINS(FHHCproduit_____avec_le_produit_non_theorique__ponder2_Angle2Angle7,FZERO))); DEFV(Common,DEFV(Float,SINS(FHHCproduit_____avec_le_produit_non_theorique__transl2_Angle2,FZERO))); DEFV(Common,DEFV(Float,SINS(FHHCproduit_____avec_le_produit_non_theorique__ponder2_Angle3Angle1,FZERO))); DEFV(Common,DEFV(Float,SINS(FHHCproduit_____avec_le_produit_non_theorique__ponder2_Angle3Angle2,FZERO))); DEFV(Common,DEFV(Float,SINS(FHHCproduit_____avec_le_produit_non_theorique__ponder2_Angle3Angle3,FU))); DEFV(Common,DEFV(Float,SINS(FHHCproduit_____avec_le_produit_non_theorique__ponder2_Angle3Angle4,FZERO))); DEFV(Common,DEFV(Float,SINS(FHHCproduit_____avec_le_produit_non_theorique__ponder2_Angle3Angle5,FZERO))); DEFV(Common,DEFV(Float,SINS(FHHCproduit_____avec_le_produit_non_theorique__ponder2_Angle3Angle6,FZERO))); DEFV(Common,DEFV(Float,SINS(FHHCproduit_____avec_le_produit_non_theorique__ponder2_Angle3Angle7,FZERO))); DEFV(Common,DEFV(Float,SINS(FHHCproduit_____avec_le_produit_non_theorique__transl2_Angle3,FZERO))); DEFV(Common,DEFV(Float,SINS(FHHCproduit_____avec_le_produit_non_theorique__ponder2_Angle4Angle1,FZERO))); DEFV(Common,DEFV(Float,SINS(FHHCproduit_____avec_le_produit_non_theorique__ponder2_Angle4Angle2,FZERO))); DEFV(Common,DEFV(Float,SINS(FHHCproduit_____avec_le_produit_non_theorique__ponder2_Angle4Angle3,FZERO))); DEFV(Common,DEFV(Float,SINS(FHHCproduit_____avec_le_produit_non_theorique__ponder2_Angle4Angle4,FU))); DEFV(Common,DEFV(Float,SINS(FHHCproduit_____avec_le_produit_non_theorique__ponder2_Angle4Angle5,FZERO))); DEFV(Common,DEFV(Float,SINS(FHHCproduit_____avec_le_produit_non_theorique__ponder2_Angle4Angle6,FZERO))); DEFV(Common,DEFV(Float,SINS(FHHCproduit_____avec_le_produit_non_theorique__ponder2_Angle4Angle7,FZERO))); DEFV(Common,DEFV(Float,SINS(FHHCproduit_____avec_le_produit_non_theorique__transl2_Angle4,FZERO))); DEFV(Common,DEFV(Float,SINS(FHHCproduit_____avec_le_produit_non_theorique__ponder2_Angle5Angle1,FZERO))); DEFV(Common,DEFV(Float,SINS(FHHCproduit_____avec_le_produit_non_theorique__ponder2_Angle5Angle2,FZERO))); DEFV(Common,DEFV(Float,SINS(FHHCproduit_____avec_le_produit_non_theorique__ponder2_Angle5Angle3,FZERO))); DEFV(Common,DEFV(Float,SINS(FHHCproduit_____avec_le_produit_non_theorique__ponder2_Angle5Angle4,FZERO))); DEFV(Common,DEFV(Float,SINS(FHHCproduit_____avec_le_produit_non_theorique__ponder2_Angle5Angle5,FU))); DEFV(Common,DEFV(Float,SINS(FHHCproduit_____avec_le_produit_non_theorique__ponder2_Angle5Angle6,FZERO))); DEFV(Common,DEFV(Float,SINS(FHHCproduit_____avec_le_produit_non_theorique__ponder2_Angle5Angle7,FZERO))); DEFV(Common,DEFV(Float,SINS(FHHCproduit_____avec_le_produit_non_theorique__transl2_Angle5,FZERO))); DEFV(Common,DEFV(Float,SINS(FHHCproduit_____avec_le_produit_non_theorique__ponder2_Angle6Angle1,FZERO))); DEFV(Common,DEFV(Float,SINS(FHHCproduit_____avec_le_produit_non_theorique__ponder2_Angle6Angle2,FZERO))); DEFV(Common,DEFV(Float,SINS(FHHCproduit_____avec_le_produit_non_theorique__ponder2_Angle6Angle3,FZERO))); DEFV(Common,DEFV(Float,SINS(FHHCproduit_____avec_le_produit_non_theorique__ponder2_Angle6Angle4,FZERO))); DEFV(Common,DEFV(Float,SINS(FHHCproduit_____avec_le_produit_non_theorique__ponder2_Angle6Angle5,FZERO))); DEFV(Common,DEFV(Float,SINS(FHHCproduit_____avec_le_produit_non_theorique__ponder2_Angle6Angle6,FU))); DEFV(Common,DEFV(Float,SINS(FHHCproduit_____avec_le_produit_non_theorique__ponder2_Angle6Angle7,FZERO))); DEFV(Common,DEFV(Float,SINS(FHHCproduit_____avec_le_produit_non_theorique__transl2_Angle6,FZERO))); DEFV(Common,DEFV(Float,SINS(FHHCproduit_____avec_le_produit_non_theorique__ponder2_Angle7Angle1,FZERO))); DEFV(Common,DEFV(Float,SINS(FHHCproduit_____avec_le_produit_non_theorique__ponder2_Angle7Angle2,FZERO))); DEFV(Common,DEFV(Float,SINS(FHHCproduit_____avec_le_produit_non_theorique__ponder2_Angle7Angle3,FZERO))); DEFV(Common,DEFV(Float,SINS(FHHCproduit_____avec_le_produit_non_theorique__ponder2_Angle7Angle4,FZERO))); DEFV(Common,DEFV(Float,SINS(FHHCproduit_____avec_le_produit_non_theorique__ponder2_Angle7Angle5,FZERO))); DEFV(Common,DEFV(Float,SINS(FHHCproduit_____avec_le_produit_non_theorique__ponder2_Angle7Angle6,FZERO))); DEFV(Common,DEFV(Float,SINS(FHHCproduit_____avec_le_produit_non_theorique__ponder2_Angle7Angle7,FU))); DEFV(Common,DEFV(Float,SINS(FHHCproduit_____avec_le_produit_non_theorique__transl2_Angle7,FZERO))); _______________________________________________________________________________________________________________________________________ _______________________________________________________________________________________________________________________________________ /*===================================================================================================================================*/ /*************************************************************************************************************************************/ /* */ /* C O N T R O L E D E C E R T A I N E S E D I T I O N S : */ /* */ /*************************************************************************************************************************************/ DEFV(Common,DEFV(Logical,SINS(FHCpuissance_____editer_Argument_et_resultat,FAUX))); /* Introduit le 20100108213327 afin de pouvoir "expertiser" 'v $xcg/EquaPnThQ.01$K'... */ _______________________________________________________________________________________________________________________________________ _______________________________________________________________________________________________________________________________________ /*===================================================================================================================================*/ /*************************************************************************************************************************************/ /* */ /* N O M B R E S H Y P E R - C O M P L E X E S ( Q U A T E R N I O N S ) E S S E N T I E L S : */ /* */ /*************************************************************************************************************************************/ DEFV(Common,DEFV(hyper_complexe,INIS(HC_____quaternion__0__0__0__0 ,DEFINITION_DE__HC_____quaternion__0__0__0__0 ) ) ); /* Nombre (+0,+0,+0,+0)=0. */ DEFV(Common,DEFV(hyper_complexe,INIS(HC_____quaternion_p1__0__0__0 ,IstructL04(NEUT(NEUT(R1_Quaternion)) ,NEUT(NEUT(I0_Quaternion)) ,NEUT(NEUT(J0_Quaternion)) ,NEUT(NEUT(K0_Quaternion)) ) ) ) ); /* Nombre (+1,+0,+0,+0)=+1. */ DEFV(Common,DEFV(hyper_complexe,INIS(HC_____quaternion__0_p1__0__0 ,IstructL04(NEUT(NEUT(R0_Quaternion)) ,NEUT(NEUT(I1_Quaternion)) ,NEUT(NEUT(J0_Quaternion)) ,NEUT(NEUT(K0_Quaternion)) ) ) ) ); /* Nombre (+0,+1,+0,+0)=+i. */ DEFV(Common,DEFV(hyper_complexe,INIS(HC_____quaternion__0__0_p1__0 ,IstructL04(NEUT(NEUT(R0_Quaternion)) ,NEUT(NEUT(I0_Quaternion)) ,NEUT(NEUT(J1_Quaternion)) ,NEUT(NEUT(K0_Quaternion)) ) ) ) ); /* Nombre (+0,+0,+1,+0)=+j. */ DEFV(Common,DEFV(hyper_complexe,INIS(HC_____quaternion__0__0__0_p1 ,IstructL04(NEUT(NEUT(R0_Quaternion)) ,NEUT(NEUT(I0_Quaternion)) ,NEUT(NEUT(J0_Quaternion)) ,NEUT(NEUT(K1_Quaternion)) ) ) ) ); /* Nombre (+0,+0,+0,+1)=+k. */ DEFV(Common,DEFV(hyper_complexe,INIS(HC_____quaternion__0_p1_p1_p1 ,IstructL04(NEUT(NEUT(R0_Quaternion)) ,NEUT(NEUT(I1_Quaternion)) ,NEUT(NEUT(J1_Quaternion)) ,NEUT(NEUT(K1_Quaternion)) ) ) ) ); /* Nombre (+0,+1,+1,+1)=+I (dit "Imaginaire pur", introduit le 20230320102251). */ DEFV(Common,DEFV(hyper_complexe,INIS(HC_____quaternion_m1__0__0__0 ,IstructL04(NEGA(NEUT(R1_Quaternion)) ,NEUT(NEUT(I0_Quaternion)) ,NEUT(NEUT(J0_Quaternion)) ,NEUT(NEUT(K0_Quaternion)) ) ) ) ); /* Nombre (-1,+0,+0,+0)=-1. */ DEFV(Common,DEFV(hyper_complexe,INIS(HC_____quaternion__0_m1__0__0 ,IstructL04(NEUT(NEUT(R0_Quaternion)) ,NEGA(NEUT(I1_Quaternion)) ,NEUT(NEUT(J0_Quaternion)) ,NEUT(NEUT(K0_Quaternion)) ) ) ) ); /* Nombre (+0,-1,+0,+0)=-i. */ DEFV(Common,DEFV(hyper_complexe,INIS(HC_____quaternion__0__0_m1__0 ,IstructL04(NEUT(NEUT(R0_Quaternion)) ,NEUT(NEUT(I0_Quaternion)) ,NEGA(NEUT(J1_Quaternion)) ,NEUT(NEUT(K0_Quaternion)) ) ) ) ); /* Nombre (+0,+0,-1,+0)=-j. */ DEFV(Common,DEFV(hyper_complexe,INIS(HC_____quaternion__0__0__0_m1 ,IstructL04(NEUT(NEUT(R0_Quaternion)) ,NEUT(NEUT(I0_Quaternion)) ,NEUT(NEUT(J0_Quaternion)) ,NEGA(NEUT(K1_Quaternion)) ) ) ) ); /* Nombre (+0,+0,+0,-1)=-k. */ DEFV(Common,DEFV(hyper_complexe,INIS(HC_____quaternion_p2__0__0__0 ,IstructL04(NEUT(DOUB(R1_Quaternion)) ,NEUT(NEUT(I0_Quaternion)) ,NEUT(NEUT(J0_Quaternion)) ,NEUT(NEUT(K0_Quaternion)) ) ) ) ); /* Nombre (+2,+0,+0,+0)=+2. */ DEFV(Common,DEFV(hyper_complexe,INIS(HC_____quaternion__0_p2__0__0 ,IstructL04(NEUT(NEUT(R0_Quaternion)) ,NEUT(DOUB(I1_Quaternion)) ,NEUT(NEUT(J0_Quaternion)) ,NEUT(NEUT(K0_Quaternion)) ) ) ) ); /* Nombre (+0,+2,+0,+0)=+2i. */ DEFV(Common,DEFV(hyper_complexe,INIS(HC_____quaternion__0__0_p2__0 ,IstructL04(NEUT(NEUT(R0_Quaternion)) ,NEUT(NEUT(I0_Quaternion)) ,NEUT(DOUB(J1_Quaternion)) ,NEUT(NEUT(K0_Quaternion)) ) ) ) ); /* Nombre (+0,+0,+2,+0)=+2j. */ DEFV(Common,DEFV(hyper_complexe,INIS(HC_____quaternion__0__0__0_p2 ,IstructL04(NEUT(NEUT(R0_Quaternion)) ,NEUT(NEUT(I0_Quaternion)) ,NEUT(NEUT(J0_Quaternion)) ,NEUT(DOUB(K1_Quaternion)) ) ) ) ); /* Nombre (+0,+0,+0,+2)=+2k. */ DEFV(Common,DEFV(hyper_complexe,INIS(HC_____quaternion_m2__0__0__0 ,IstructL04(NEGA(DOUB(R1_Quaternion)) ,NEUT(NEUT(I0_Quaternion)) ,NEUT(NEUT(J0_Quaternion)) ,NEUT(NEUT(K0_Quaternion)) ) ) ) ); /* Nombre (-2,+0,+0,+0)=-2. */ DEFV(Common,DEFV(hyper_complexe,INIS(HC_____quaternion__0_m2__0__0 ,IstructL04(NEUT(NEUT(R0_Quaternion)) ,NEGA(DOUB(I1_Quaternion)) ,NEUT(NEUT(J0_Quaternion)) ,NEUT(NEUT(K0_Quaternion)) ) ) ) ); /* Nombre (+0,-2,+0,+0)=-2i. */ DEFV(Common,DEFV(hyper_complexe,INIS(HC_____quaternion__0__0_m2__0 ,IstructL04(NEUT(NEUT(R0_Quaternion)) ,NEUT(NEUT(I0_Quaternion)) ,NEGA(DOUB(J1_Quaternion)) ,NEUT(NEUT(K0_Quaternion)) ) ) ) ); /* Nombre (+0,+0,-2,+0)=-2j. */ DEFV(Common,DEFV(hyper_complexe,INIS(HC_____quaternion__0__0__0_m2 ,IstructL04(NEUT(NEUT(R0_Quaternion)) ,NEUT(NEUT(I0_Quaternion)) ,NEUT(NEUT(J0_Quaternion)) ,NEGA(DOUB(K1_Quaternion)) ) ) ) ); /* Nombre (+0,+0,+0,-2)=-2k. */ _______________________________________________________________________________________________________________________________________ _______________________________________________________________________________________________________________________________________ /*===================================================================================================================================*/ /*************************************************************************************************************************************/ /* */ /* N O M B R E S H Y P E R - H Y P E R - C O M P L E X E S ( O C T O N I O N S ) E S S E N T I E L S : */ /* */ /*************************************************************************************************************************************/ DEFV(Common,DEFV(hyper_hyper_complexe,INIS(HHC_____octonion__0__0__0__0__0__0__0__0 ,DEFINITION_DE__HHC_____octonion__0__0__0__0__0__0__0__0 ) ) ); /* Nombre (+0,+0,+0,+0,+0,+0,+0,+0)=0 (introduit le 20110824071332). */ DEFV(Common,DEFV(hyper_hyper_complexe,INIS(HHC_____octonion_p1__0__0__0__0__0__0__0 ,IstructL08(NEUT(NEUT(R1_Octonion)) ,NEUT(NEUT(I0_Octonion)) ,NEUT(NEUT(J0_Octonion)) ,NEUT(NEUT(K0_Octonion)) ,NEUT(NEUT(S0_Octonion)) ,NEUT(NEUT(T0_Octonion)) ,NEUT(NEUT(U0_Octonion)) ,NEUT(NEUT(V0_Octonion)) ) ) ) ); /* Nombre (+1,+0,+0,+0,+0,+0,+0,+0)=+1. */ DEFV(Common,DEFV(hyper_hyper_complexe,INIS(HHC_____octonion__0_p1__0__0__0__0__0__0 ,IstructL08(NEUT(NEUT(R0_Octonion)) ,NEUT(NEUT(I1_Octonion)) ,NEUT(NEUT(J0_Octonion)) ,NEUT(NEUT(K0_Octonion)) ,NEUT(NEUT(S0_Octonion)) ,NEUT(NEUT(T0_Octonion)) ,NEUT(NEUT(U0_Octonion)) ,NEUT(NEUT(V0_Octonion)) ) ) ) ); /* Nombre (+0,+1,+0,+0,+0,+0,+0,+0)=+i. */ DEFV(Common,DEFV(hyper_hyper_complexe,INIS(HHC_____octonion__0__0_p1__0__0__0__0__0 ,IstructL08(NEUT(NEUT(R0_Octonion)) ,NEUT(NEUT(I0_Octonion)) ,NEUT(NEUT(J1_Octonion)) ,NEUT(NEUT(K0_Octonion)) ,NEUT(NEUT(S0_Octonion)) ,NEUT(NEUT(T0_Octonion)) ,NEUT(NEUT(U0_Octonion)) ,NEUT(NEUT(V0_Octonion)) ) ) ) ); /* Nombre (+0,+0,+1,+0,+0,+0,+0,+0)=+j. */ DEFV(Common,DEFV(hyper_hyper_complexe,INIS(HHC_____octonion__0__0__0_p1__0__0__0__0 ,IstructL08(NEUT(NEUT(R0_Octonion)) ,NEUT(NEUT(I0_Octonion)) ,NEUT(NEUT(J0_Octonion)) ,NEUT(NEUT(K1_Octonion)) ,NEUT(NEUT(S0_Octonion)) ,NEUT(NEUT(T0_Octonion)) ,NEUT(NEUT(U0_Octonion)) ,NEUT(NEUT(V0_Octonion)) ) ) ) ); /* Nombre (+0,+0,+0,+1,+0,+0,+0,+0)=+k. */ DEFV(Common,DEFV(hyper_hyper_complexe,INIS(HHC_____octonion__0__0__0__0_p1__0__0__0 ,IstructL08(NEUT(NEUT(R0_Octonion)) ,NEUT(NEUT(I0_Octonion)) ,NEUT(NEUT(J0_Octonion)) ,NEUT(NEUT(K0_Octonion)) ,NEUT(NEUT(S1_Octonion)) ,NEUT(NEUT(T0_Octonion)) ,NEUT(NEUT(U0_Octonion)) ,NEUT(NEUT(V0_Octonion)) ) ) ) ); /* Nombre (+0,+0,+0,+0,+1,+0,+0,+0)=+s. */ DEFV(Common,DEFV(hyper_hyper_complexe,INIS(HHC_____octonion__0__0__0__0__0_p1__0__0 ,IstructL08(NEUT(NEUT(R0_Octonion)) ,NEUT(NEUT(I0_Octonion)) ,NEUT(NEUT(J0_Octonion)) ,NEUT(NEUT(K0_Octonion)) ,NEUT(NEUT(S0_Octonion)) ,NEUT(NEUT(T1_Octonion)) ,NEUT(NEUT(U0_Octonion)) ,NEUT(NEUT(V0_Octonion)) ) ) ) ); /* Nombre (+0,+0,+0,+0,+0,+1,+0,+0)=+t. */ DEFV(Common,DEFV(hyper_hyper_complexe,INIS(HHC_____octonion__0__0__0__0__0__0_p1__0 ,IstructL08(NEUT(NEUT(R0_Octonion)) ,NEUT(NEUT(I0_Octonion)) ,NEUT(NEUT(J0_Octonion)) ,NEUT(NEUT(K0_Octonion)) ,NEUT(NEUT(S0_Octonion)) ,NEUT(NEUT(T0_Octonion)) ,NEUT(NEUT(U1_Octonion)) ,NEUT(NEUT(V0_Octonion)) ) ) ) ); /* Nombre (+0,+0,+0,+0,+0,+0,+1,+0)=+u. */ DEFV(Common,DEFV(hyper_hyper_complexe,INIS(HHC_____octonion__0__0__0__0__0__0__0_p1 ,IstructL08(NEUT(NEUT(R0_Octonion)) ,NEUT(NEUT(I0_Octonion)) ,NEUT(NEUT(J0_Octonion)) ,NEUT(NEUT(K0_Octonion)) ,NEUT(NEUT(S0_Octonion)) ,NEUT(NEUT(T0_Octonion)) ,NEUT(NEUT(U0_Octonion)) ,NEUT(NEUT(V1_Octonion)) ) ) ) ); /* Nombre (+0,+0,+0,+0,+0,+0,+0,+1)=+v. */ DEFV(Common,DEFV(hyper_hyper_complexe,INIS(HHC_____octonion__0_p1_p1_p1_p1_p1_p1_p1 ,IstructL08(NEUT(NEUT(R0_Octonion)) ,NEUT(NEUT(I1_Octonion)) ,NEUT(NEUT(J1_Octonion)) ,NEUT(NEUT(K1_Octonion)) ,NEUT(NEUT(S1_Octonion)) ,NEUT(NEUT(T1_Octonion)) ,NEUT(NEUT(U1_Octonion)) ,NEUT(NEUT(V1_Octonion)) ) ) ) ); /* Nombre (+0,+1,+1,+1,+1,+1,+1,+1)=+I (dit "Imaginaire pur", introduit le 20230320102251). */ DEFV(Common,DEFV(hyper_hyper_complexe,INIS(HHC_____octonion_m1__0__0__0__0__0__0__0 ,IstructL08(NEGA(NEUT(R1_Octonion)) ,NEUT(NEUT(I0_Octonion)) ,NEUT(NEUT(J0_Octonion)) ,NEUT(NEUT(K0_Octonion)) ,NEUT(NEUT(S0_Octonion)) ,NEUT(NEUT(T0_Octonion)) ,NEUT(NEUT(U0_Octonion)) ,NEUT(NEUT(V0_Octonion)) ) ) ) ); /* Nombre (-1,+0,+0,+0,+0,+0,+0,+0)=-1. */ DEFV(Common,DEFV(hyper_hyper_complexe,INIS(HHC_____octonion__0_m1__0__0__0__0__0__0 ,IstructL08(NEUT(NEUT(R0_Octonion)) ,NEGA(NEUT(I1_Octonion)) ,NEUT(NEUT(J0_Octonion)) ,NEUT(NEUT(K0_Octonion)) ,NEUT(NEUT(S0_Octonion)) ,NEUT(NEUT(T0_Octonion)) ,NEUT(NEUT(U0_Octonion)) ,NEUT(NEUT(V0_Octonion)) ) ) ) ); /* Nombre (+0,-1,+0,+0,+0,+0,+0,+0)=-i. */ DEFV(Common,DEFV(hyper_hyper_complexe,INIS(HHC_____octonion__0__0_m1__0__0__0__0__0 ,IstructL08(NEUT(NEUT(R0_Octonion)) ,NEUT(NEUT(I0_Octonion)) ,NEGA(NEUT(J1_Octonion)) ,NEUT(NEUT(K0_Octonion)) ,NEUT(NEUT(S0_Octonion)) ,NEUT(NEUT(T0_Octonion)) ,NEUT(NEUT(U0_Octonion)) ,NEUT(NEUT(V0_Octonion)) ) ) ) ); /* Nombre (+0,+0,-1,+0,+0,+0,+0,+0)=-j. */ DEFV(Common,DEFV(hyper_hyper_complexe,INIS(HHC_____octonion__0__0__0_m1__0__0__0__0 ,IstructL08(NEUT(NEUT(R0_Octonion)) ,NEUT(NEUT(I0_Octonion)) ,NEUT(NEUT(J0_Octonion)) ,NEGA(NEUT(K1_Octonion)) ,NEUT(NEUT(S0_Octonion)) ,NEUT(NEUT(T0_Octonion)) ,NEUT(NEUT(U0_Octonion)) ,NEUT(NEUT(V0_Octonion)) ) ) ) ); /* Nombre (+0,+0,+0,-1,+0,+0,+0,+0)=-k. */ DEFV(Common,DEFV(hyper_hyper_complexe,INIS(HHC_____octonion__0__0__0__0_m1__0__0__0 ,IstructL08(NEUT(NEUT(R0_Octonion)) ,NEUT(NEUT(I0_Octonion)) ,NEUT(NEUT(J0_Octonion)) ,NEUT(NEUT(K0_Octonion)) ,NEGA(NEUT(S1_Octonion)) ,NEUT(NEUT(T0_Octonion)) ,NEUT(NEUT(U0_Octonion)) ,NEUT(NEUT(V0_Octonion)) ) ) ) ); /* Nombre (+0,+0,+0,+0,+1,+0,+0,+0)=-s. */ DEFV(Common,DEFV(hyper_hyper_complexe,INIS(HHC_____octonion__0__0__0__0__0_m1__0__0 ,IstructL08(NEUT(NEUT(R0_Octonion)) ,NEUT(NEUT(I0_Octonion)) ,NEUT(NEUT(J0_Octonion)) ,NEUT(NEUT(K0_Octonion)) ,NEUT(NEUT(S0_Octonion)) ,NEGA(NEUT(T1_Octonion)) ,NEUT(NEUT(U0_Octonion)) ,NEUT(NEUT(V0_Octonion)) ) ) ) ); /* Nombre (+0,+0,+0,+0,+0,+1,+0,+0)=-t. */ DEFV(Common,DEFV(hyper_hyper_complexe,INIS(HHC_____octonion__0__0__0__0__0__0_m1__0 ,IstructL08(NEUT(NEUT(R0_Octonion)) ,NEUT(NEUT(I0_Octonion)) ,NEUT(NEUT(J0_Octonion)) ,NEUT(NEUT(K0_Octonion)) ,NEUT(NEUT(S0_Octonion)) ,NEUT(NEUT(T0_Octonion)) ,NEGA(NEUT(U1_Octonion)) ,NEUT(NEUT(V0_Octonion)) ) ) ) ); /* Nombre (+0,+0,+0,+0,+0,+0,+1,+0)=-u. */ DEFV(Common,DEFV(hyper_hyper_complexe,INIS(HHC_____octonion__0__0__0__0__0__0__0_m1 ,IstructL08(NEUT(NEUT(R0_Octonion)) ,NEUT(NEUT(I0_Octonion)) ,NEUT(NEUT(J0_Octonion)) ,NEUT(NEUT(K0_Octonion)) ,NEUT(NEUT(S0_Octonion)) ,NEUT(NEUT(T0_Octonion)) ,NEUT(NEUT(U0_Octonion)) ,NEGA(NEUT(V1_Octonion)) ) ) ) ); /* Nombre (+0,+0,+0,+0,+0,+0,+0,+1)=+v. */ DEFV(Common,DEFV(hyper_hyper_complexe,INIS(HHC_____octonion_p2__0__0__0__0__0__0__0 ,IstructL08(NEUT(DOUB(R1_Octonion)) ,NEUT(NEUT(I0_Octonion)) ,NEUT(NEUT(J0_Octonion)) ,NEUT(NEUT(K0_Octonion)) ,NEUT(NEUT(S0_Octonion)) ,NEUT(NEUT(T0_Octonion)) ,NEUT(NEUT(U0_Octonion)) ,NEUT(NEUT(V0_Octonion)) ) ) ) ); /* Nombre (+2,+0,+0,+0,+0,+0,+0,+0)=+2. */ DEFV(Common,DEFV(hyper_hyper_complexe,INIS(HHC_____octonion__0_p2__0__0__0__0__0__0 ,IstructL08(NEUT(NEUT(R0_Octonion)) ,NEUT(DOUB(I1_Octonion)) ,NEUT(NEUT(J0_Octonion)) ,NEUT(NEUT(K0_Octonion)) ,NEUT(NEUT(S0_Octonion)) ,NEUT(NEUT(T0_Octonion)) ,NEUT(NEUT(U0_Octonion)) ,NEUT(NEUT(V0_Octonion)) ) ) ) ); /* Nombre (+0,+2,+0,+0,+0,+0,+0,+0)=+2i. */ DEFV(Common,DEFV(hyper_hyper_complexe,INIS(HHC_____octonion__0__0_p2__0__0__0__0__0 ,IstructL08(NEUT(NEUT(R0_Octonion)) ,NEUT(NEUT(I0_Octonion)) ,NEUT(DOUB(J1_Octonion)) ,NEUT(NEUT(K0_Octonion)) ,NEUT(NEUT(S0_Octonion)) ,NEUT(NEUT(T0_Octonion)) ,NEUT(NEUT(U0_Octonion)) ,NEUT(NEUT(V0_Octonion)) ) ) ) ); /* Nombre (+0,+0,+2,+0,+0,+0,+0,+0)=+2j. */ DEFV(Common,DEFV(hyper_hyper_complexe,INIS(HHC_____octonion__0__0__0_p2__0__0__0__0 ,IstructL08(NEUT(NEUT(R0_Octonion)) ,NEUT(NEUT(I0_Octonion)) ,NEUT(NEUT(J0_Octonion)) ,NEUT(DOUB(K1_Octonion)) ,NEUT(NEUT(S0_Octonion)) ,NEUT(NEUT(T0_Octonion)) ,NEUT(NEUT(U0_Octonion)) ,NEUT(NEUT(V0_Octonion)) ) ) ) ); /* Nombre (+0,+0,+0,+2,+0,+0,+0,+0)=+2k. */ DEFV(Common,DEFV(hyper_hyper_complexe,INIS(HHC_____octonion__0__0__0__0_p2__0__0__0 ,IstructL08(NEUT(NEUT(R0_Octonion)) ,NEUT(NEUT(I0_Octonion)) ,NEUT(NEUT(J0_Octonion)) ,NEUT(NEUT(K0_Octonion)) ,NEUT(DOUB(S1_Octonion)) ,NEUT(NEUT(T0_Octonion)) ,NEUT(NEUT(U0_Octonion)) ,NEUT(NEUT(V0_Octonion)) ) ) ) ); /* Nombre (+0,+0,+0,+0,+2,+0,+0,+0)=+2s. */ DEFV(Common,DEFV(hyper_hyper_complexe,INIS(HHC_____octonion__0__0__0__0__0_p2__0__0 ,IstructL08(NEUT(NEUT(R0_Octonion)) ,NEUT(NEUT(I0_Octonion)) ,NEUT(NEUT(J0_Octonion)) ,NEUT(NEUT(K0_Octonion)) ,NEUT(NEUT(S0_Octonion)) ,NEUT(DOUB(T1_Octonion)) ,NEUT(NEUT(U0_Octonion)) ,NEUT(NEUT(V0_Octonion)) ) ) ) ); /* Nombre (+0,+0,+0,+0,+0,+2,+0,+0)=+2t. */ DEFV(Common,DEFV(hyper_hyper_complexe,INIS(HHC_____octonion__0__0__0__0__0__0_p2__0 ,IstructL08(NEUT(NEUT(R0_Octonion)) ,NEUT(NEUT(I0_Octonion)) ,NEUT(NEUT(J0_Octonion)) ,NEUT(NEUT(K0_Octonion)) ,NEUT(NEUT(S0_Octonion)) ,NEUT(NEUT(T0_Octonion)) ,NEUT(DOUB(U1_Octonion)) ,NEUT(NEUT(V0_Octonion)) ) ) ) ); /* Nombre (+0,+0,+0,+0,+0,+0,+2,+0)=+2u. */ DEFV(Common,DEFV(hyper_hyper_complexe,INIS(HHC_____octonion__0__0__0__0__0__0__0_p2 ,IstructL08(NEUT(NEUT(R0_Octonion)) ,NEUT(NEUT(I0_Octonion)) ,NEUT(NEUT(J0_Octonion)) ,NEUT(NEUT(K0_Octonion)) ,NEUT(NEUT(S0_Octonion)) ,NEUT(NEUT(T0_Octonion)) ,NEUT(NEUT(U0_Octonion)) ,NEUT(DOUB(V1_Octonion)) ) ) ) ); /* Nombre (+0,+0,+0,+0,+0,+0,+0,+2)=+2v. */ DEFV(Common,DEFV(hyper_hyper_complexe,INIS(HHC_____octonion_m2__0__0__0__0__0__0__0 ,IstructL08(NEGA(DOUB(R1_Octonion)) ,NEUT(NEUT(I0_Octonion)) ,NEUT(NEUT(J0_Octonion)) ,NEUT(NEUT(K0_Octonion)) ,NEUT(NEUT(S0_Octonion)) ,NEUT(NEUT(T0_Octonion)) ,NEUT(NEUT(U0_Octonion)) ,NEUT(NEUT(V0_Octonion)) ) ) ) ); /* Nombre (-2,+0,+0,+0,+0,+0,+0,+0)=-2. */ DEFV(Common,DEFV(hyper_hyper_complexe,INIS(HHC_____octonion__0_m2__0__0__0__0__0__0 ,IstructL08(NEUT(NEUT(R0_Octonion)) ,NEGA(DOUB(I1_Octonion)) ,NEUT(NEUT(J0_Octonion)) ,NEUT(NEUT(K0_Octonion)) ,NEUT(NEUT(S0_Octonion)) ,NEUT(NEUT(T0_Octonion)) ,NEUT(NEUT(U0_Octonion)) ,NEUT(NEUT(V0_Octonion)) ) ) ) ); /* Nombre (+0,-2,+0,+0,+0,+0,+0,+0)=-2i. */ DEFV(Common,DEFV(hyper_hyper_complexe,INIS(HHC_____octonion__0__0_m2__0__0__0__0__0 ,IstructL08(NEUT(NEUT(R0_Octonion)) ,NEUT(NEUT(I0_Octonion)) ,NEGA(DOUB(J1_Octonion)) ,NEUT(NEUT(K0_Octonion)) ,NEUT(NEUT(S0_Octonion)) ,NEUT(NEUT(T0_Octonion)) ,NEUT(NEUT(U0_Octonion)) ,NEUT(NEUT(V0_Octonion)) ) ) ) ); /* Nombre (+0,+0,-2,+0,+0,+0,+0,+0)=-2j. */ DEFV(Common,DEFV(hyper_hyper_complexe,INIS(HHC_____octonion__0__0__0_m2__0__0__0__0 ,IstructL08(NEUT(NEUT(R0_Octonion)) ,NEUT(NEUT(I0_Octonion)) ,NEUT(NEUT(J0_Octonion)) ,NEGA(DOUB(K1_Octonion)) ,NEUT(NEUT(S0_Octonion)) ,NEUT(NEUT(T0_Octonion)) ,NEUT(NEUT(U0_Octonion)) ,NEUT(NEUT(V0_Octonion)) ) ) ) ); /* Nombre (+0,+0,+0,-2,+0,+0,+0,+0)=-2k. */ DEFV(Common,DEFV(hyper_hyper_complexe,INIS(HHC_____octonion__0__0__0__0_m2__0__0__0 ,IstructL08(NEUT(NEUT(R0_Octonion)) ,NEUT(NEUT(I0_Octonion)) ,NEUT(NEUT(J0_Octonion)) ,NEUT(NEUT(K0_Octonion)) ,NEGA(DOUB(S1_Octonion)) ,NEUT(NEUT(T0_Octonion)) ,NEUT(NEUT(U0_Octonion)) ,NEUT(NEUT(V0_Octonion)) ) ) ) ); /* Nombre (+0,+0,+0,+0,-2,+0,+0,+0)=-2. */ DEFV(Common,DEFV(hyper_hyper_complexe,INIS(HHC_____octonion__0__0__0__0__0_m2__0__0 ,IstructL08(NEUT(NEUT(R0_Octonion)) ,NEUT(NEUT(I0_Octonion)) ,NEUT(NEUT(J0_Octonion)) ,NEUT(NEUT(K0_Octonion)) ,NEUT(NEUT(S0_Octonion)) ,NEGA(DOUB(T1_Octonion)) ,NEUT(NEUT(U0_Octonion)) ,NEUT(NEUT(V0_Octonion)) ) ) ) ); /* Nombre (+0,+0,+0,+0,+0,-2,+0,+0)=-2i. */ DEFV(Common,DEFV(hyper_hyper_complexe,INIS(HHC_____octonion__0__0__0__0__0__0_m2__0 ,IstructL08(NEUT(NEUT(R0_Octonion)) ,NEUT(NEUT(I0_Octonion)) ,NEUT(NEUT(J0_Octonion)) ,NEUT(NEUT(K0_Octonion)) ,NEUT(NEUT(S0_Octonion)) ,NEUT(NEUT(T0_Octonion)) ,NEGA(DOUB(U1_Octonion)) ,NEUT(NEUT(V0_Octonion)) ) ) ) ); /* Nombre (+0,+0,+0,+0,+0,+0,-2,+0)=-2j. */ DEFV(Common,DEFV(hyper_hyper_complexe,INIS(HHC_____octonion__0__0__0__0__0__0__0_m2 ,IstructL08(NEUT(NEUT(R0_Octonion)) ,NEUT(NEUT(I0_Octonion)) ,NEUT(NEUT(J0_Octonion)) ,NEUT(NEUT(K0_Octonion)) ,NEUT(NEUT(S0_Octonion)) ,NEUT(NEUT(T0_Octonion)) ,NEUT(NEUT(U0_Octonion)) ,NEGA(DOUB(V1_Octonion)) ) ) ) ); /* Nombre (+0,+0,+0,+0,+0,+0,+0,-2)=-2k. */ _______________________________________________________________________________________________________________________________________