| Quellcodebibliothek Statistik Leitseite products/sources/formale Sprachen/PVS/algebra/ (Columbo Version 0.7©) Datei vom 28.9.2014 mit Größe 697 B |
|
Impressum group_test.pvs Sprache: PVS |
|||||||||
|
%------------------------------------------------------------------------------
% Example groups % % 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 %------------------------------------------------------------------------------ group_test: THEORY BEGIN IMPORTING abelian_group integer_plus: abelian_group[int,+,0] = fullset[int] nz_rational_mult: abelian_group[nzrat,*,1] = fullset[nzrat] pos_rational_mult: abelian_group[posrat,*,1] = fullset[posrat] END group_test ¤ Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.0.12Bemerkung: (vorverarbeitet) ¤*Bot Zugriff |
|
