% two rewrite rules missing in function_image
%
% Author: Alfons Geser ([email protected]), National Institute of Aerospace
% Date: Jan 2005
function_image_extra[D, R: TYPE]: THEORY
BEGIN
f: VAR [D -> R]
x: VAR D
X: VAR set[D]
image_singleton: LEMMA
image(f, singleton(x)) = singleton(f(x))
image_add: LEMMA
image(f, add(x, X)) = add(f(x), image(f, X))
END function_image_extra
¤ Dauer der Verarbeitung: 0.34 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.
|
