|
vectors_4D_def : THEORY
BEGIN
IMPORTING vectors_3D_def
Vect4 : TYPE = Vect3 WITH [# t: real #]
mk_vect4(x,y,z,t: real) : MACRO Vect4 = (# x := x, y := y, z := z, t := t #)
CONVERSION mk_vect4
END vectors_4D_def
¤ Dauer der Verarbeitung: 0.1 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.
|
