|
vectors_2D_rew : THEORY
%
% Additional more aggressive rewrites
BEGIN
IMPORTING vectors_2D
u,v,w : VAR Vect2
a,b : VAR real
AUTO_REWRITE+ vx_distr_add
AUTO_REWRITE+ vy_distr_add
AUTO_REWRITE+ vx_distr_sub
AUTO_REWRITE+ vy_distr_sub
AUTO_REWRITE+ vx_scal %% NEW %%
AUTO_REWRITE+ vy_scal %% NEW %%
AUTO_REWRITE+ sqv_scal
AUTO_REWRITE+ norm_scal
AUTO_REWRITE+ neg_distr_sub
AUTO_REWRITE+ neg_distr_add
AUTO_REWRITE+ dot_add_right
AUTO_REWRITE+ dot_add_left
AUTO_REWRITE+ dot_sub_right
AUTO_REWRITE+ dot_sub_left
AUTO_REWRITE+ scal_add_left
AUTO_REWRITE+ scal_sub_left
AUTO_REWRITE+ scal_add_right
AUTO_REWRITE+ scal_sub_right
% AUTO_REWRITE+ sqv_add
% AUTO_REWRITE+ sqv_sub
END vectors_2D_rew
¤ Dauer der Verarbeitung: 0.14 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.
|
