products/sources/formale sprachen/PVS/algebra/  image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei: nc106a.cob   Sprache: PVS

Original von: PVS©
%------------------------------------------------------------------------------
% Rings in which the nonzero elements are closed under *, definition file
%
%     Author: David Lester, Manchester University & NIA
%             Rick Butler
%
%     Version 1.0            3/1/02
%     Version 1.1           12/3/03   New library structure
%     Version 1.2            5/5/04   Reworked for definition files DRL
%------------------------------------------------------------------------------

ring_nz_closed_def[T:Type+,+,*:[T,T->T],zero:T]: THEORY

BEGIN

   IMPORTING ring_def[T,+,*,zero], groupoid_def

   S: VAR set[T]

   nz_T: Type = {x:T | x /= zero}

   nz_closed?(S): bool = star_closed?[T,*](remove(zero,S))

   ring_nz_closed?(S):bool = ring?(S) AND nz_closed?(S)

END ring_nz_closed_def

¤ Dauer der Verarbeitung: 0.20 Sekunden  (vorverarbeitet)  ¤



Kontakt
Drucken
Kontakt
sprechenden Kalenders

Eigene Datei ansehen




schauen Sie vor die Tür

Fenster


Die Firma ist wie angegeben erreichbar.

Die farbliche Syntaxdarstellung ist noch experimentell.


Bot Zugriff