FEqn.mli

(* Copyright INRIA and Microsoft Corporation, 2008-2013. *)
(* DDMF is distributed under CeCILL-B license. *)

INCLUDE "preamble.mli"

type arg_type =
  | Diff
  | Param
  | Shift

type eqn_type =
  | DiffEq
  | RecEq

type eqn_type_filter =
  | FDiffEq
  | FRecEq
  | FAny

type t = {
  eqn_type : eqn_type ;
  (* Names of the variables and parameters and their types
     (Diff, Shift, Param). *)
  names_and_types : (name maple * arg_type) list ;
  (* Like "Airy differential equation". *)
  eqn_name : string ;
  (* Equation as Maple expression. *)
  eqn : diffeq maple ;
  (* List of id's which are solution to this equation. *)
  sol_ids : string list ;
}

val var_of_t : t -> name maple
val params_of_t : t -> name maple list

Generated by GNU Enscript 1.6.5.90.