module Derivate:sig
..end
This small program shows how differentiation can be seen as a purely formal and automatic procedure.
Program in OCaml v4+ by Lilian Besson (ENS Cachan) for MA 101 at Mahindra École Centrale, (C) 2014.
GPLv3 Licenced.
Author(s): Lilian BESSON
type
funct =
| |
Id of |
| |
Lambda of |
| |
Sin of |
| |
Cos of |
| |
Exp of |
| |
Ln of |
| |
Prod of |
| |
Inv of |
| |
Sum of |
| |
Power of |
| |
Comp of |
| |
Unknown of |
sin
, cos
, exp
and ln
as basic functions.val x : funct
val fsin : funct
val fcos : funct
val fexp : funct
val fln : funct
val y : funct
val fpi : funct
val fpoly1 : funct
val fcossin : funct
val fexpln : funct
val finv : funct
val fsqsq : funct
val fh : funct
exception Not_defined
val canonic : funct -> funct
val print : ('a, Format.formatter, unit) Pervasives.format -> 'a
val sprint : ('a, unit, string) Pervasives.format -> 'a
val fprint : Pervasives.out_channel ->
('a, Pervasives.out_channel, unit) Pervasives.format -> 'a
val string_of_funct_novar : funct -> string
val string_of_funct : funct -> string
val print_funct_novar : funct -> unit
val print_funct : funct -> unit
val print_funct_fancy : string -> string -> funct -> unit
val differentiate_aux : funct -> funct
val differentiate : funct -> funct
f
as much as possible before differentiating.