Quellcode-Bibliothek
© Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei:
pvs-attachments
Sprache: Unknown
|
(defattach |ln_exp.ln| (x) "Natural logarithm" (log x))
(defattach |ln_exp.exp| (x) "Exponential" (exp x))
[ Dauer der Verarbeitung: 0.15 Sekunden
(vorverarbeitet)
]
|
|
