ICorpsCommutatif

Définition...
Opérateurs...
Exemple...
Voir aussi...
Traduction...

/***************************************************************/
Interface ICorpsCommutatif HeriteDe Public : IAlgebreCommutative Defaut Final
/* Objet : Definition des corps commutatif. */
/***************************************************************/
Public :
/*-------------------------------------------------------------*/
/* Heritage des methodes de IAlgebreCommutative. */
/*-------------------------------------------------------------*/
/*-------------------------------------------------------------*/
/* Methodes propres. */
/*-------------------------------------------------------------*/
Fin Interface

L'interface ICorpsCommutatif modélise un espace comportant les opérations standards d'addition, de soustraction, de multiplication et de division. Ce concept est important puisque ses propriétés sont utilisées par l'algorithme de preuve de programme d'Up ! Compiler.

L'interface ICorpsCommutatif ne possède pas de constructeur implicite.

Revenir en haut de la page...

L'interface ICorpsCommutatif possède les opérateurs standards suivants :

Revenir en haut de la page...

Principal
Variable /* 'PrixArticle' est une variable de type réel. */

Debut
...
PrixArticle=PrixArticle+10.5;
/* Addition de deux réels. */
PrixArticle=PrixArticle-10.5;
/* Soustraction de deux réels. */
PrixArticle=PrixArticle*2.5;
/* Multiplication de deux réels. */
PrixArticle=PrixArticle/2.5;
/* Division de deux réels. */
PrixArticle=PrixArticle^1.5;
/* Puissance de deux réels. */
...
Fin Principal

Revenir en haut de la page...

Reel pour connaître le type implémentant cette interface.

Revenir en haut de la page...

IAuswechselbarerKorperICommutativeBodyI可交换的身体ICuerpoComutativo----

Revenir en haut de la page...