package patoline

  1. Overview
  2. Docs
package patoline
Legend:
Library
Module
Module type
Parameter
Class
Class type
type giac =
  1. | Symbol of string
  2. | Number of string
  3. | Sum of giac * giac
  4. | Pro of giac * giac
  5. | Opp of giac
  6. | Inv of giac
  7. | Pow of giac * giac
  8. | App of giac * giac list
  9. | Ind of giac * giac list
  10. | Vec of giac list
  11. | Eq of giac * giac
val zero : giac -> giac
val int : int -> giac
type prio =
  1. | PAtm
  2. | PPow
  3. | PPro
  4. | PSum
  5. | Pred
val pTop : prio
val prev : prio -> prio
val giac__set__grammar : (prio -> giac Earley_core.Earley.grammar) -> unit
val prl : out_channel -> giac list -> unit
val print : out_channel -> giac -> unit
val prev_prio : prio -> prio
val idvec : int -> giac list -> bool
val id : 'a -> 'a
val use_times : giac -> bool
val gmathl : giac list -> Typography.Maths.math list
val gmath : giac -> Typography.Maths.math list
val giac_name : string
val inc : in_channel
val ouc : out_channel
val erc : in_channel
val input_all : float -> string * string
val giac_wait : float ref
type t =
  1. | Giac of giac
  2. | Error of string
val parse_string : string -> giac
val lock_fd : Unix.file_descr
val run : ('a, out_channel, unit, t) format4 -> 'a
val eval : giac -> giac