|
%------------------------------------------------------------------------------
% Top file for exact_real_arith
%
% Author: David Lester, Manchester University
%
% Version 1.0 18/2/09 Initial Release Version
%------------------------------------------------------------------------------
min: THEORY
BEGIN
IMPORTING cauchy
x,y: VAR real
cx,cy: VAR cauchy_real
p: VAR nat
cauchy_min(cx,cy): cauchy_real = (LAMBDA p: min(cx(p),cy(p)))
min_lemma: LEMMA cauchy_prop(x,cx) AND cauchy_prop(y,cy) =>
cauchy_prop(min(x,y), cauchy_min(cx,cy))
END min
¤ Dauer der Verarbeitung: 0.13 Sekunden
(vorverarbeitet)
¤
|
Haftungshinweis
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.
Bemerkung:
Die farbliche Syntaxdarstellung ist noch experimentell.
|
