Quellcode-Bibliothek
© Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei:
top.pvs
Sprache: Unknown
|
top: THEORY
BEGIN
IMPORTING
matrices,
matrix_inv,
matrix_det,
query_coeff,
matrix_props,
matrix_diag,
tensor_product,
matrix_upper_triang
END top
[ Dauer der Verarbeitung: 0.0 Sekunden
(vorverarbeitet)
]
|
|
